A Note on Projecting the Cubic Lattice

It is shown that, given any (n−1)-dimensional lattice Λ, there is a vector v∈ℤ ⁿ such that the orthogonal projection of ℤ ⁿ onto v ^⊥ is, up to a similarity, arbitrarily close to Λ. The problem arises in attempting to find the largest cylinder anchored at two points of ℤ ⁿ and containing no other points of ℤ ⁿ .     

Limsup results and LIL for partial sum processes of a Gaussian random field

Let {ξ _j ; j ∈ ℤ₊ ^d be a centered stationary Gaussian random field, where ℤ₊ ^d is the d-dimensional lattice of all points in d-dimensional Euclidean space ℝ^d, having nonnegative integer coordinates. For each j = (j ₁ , ..., jd) in ℤ₊ ^d , we denote |j| = j ₁ ... j _d and for m, n ∈ ℤ₊ ^d , define S(m, n] = Σ _m<j≤n ζ _j , σ²(|n−m|) = ES ² (m, n], S _n = S(0, n] and S ₀ = 0. Assume that σ(|n|) can be extended to a continuous function σ(t) of t > 0, which is nondecreasing and regularly varying with exponent α at b ≥ 0 for some 0 < α < 1. Under some additional conditions, we study limsup results for increments of partial sum processes and prove as well the law of the iterated logarithm for such partial sum processes. Research supported by NSERC Canada grants at Carleton University, Ottawa     

Sum Complexes—a New Family of Hypertrees

A k-dimensional hypertree X is a k-dimensional complex on n vertices with a full (k−1)-dimensional skeleton and \binomn-1k\binom{n-1}{k} facets such that H _k (X;ℚ)=0. Here we introduce the following family of simplicial complexes. Let n,k be integers with k+1 and n relatively prime, and let A be a (k+1)-element subset of the cyclic group ℤ _n . The sum complex X _A is the pure k-dimensional complex on the vertex set ℤ _n whose facets are σ⊂ℤ _n such that |σ|=k+1 and ∑ _x∈σ x∈A. It is shown that if n is prime, then the complex X _A is a k-hypertree for every choice of A. On the other hand, for n prime, X _A is k-collapsible iff A is an arithmetic progression in ℤ _n .     

On the existence of automorphisms with simple Lebesgue spectrum

It is shown that ifT is a measure preserving automorphism on a probability space (Ω,B, m) which admits a random variable X₀ with mean zero such that the stochastic sequence X₀ o T_n,n ε ℤ is orthonormal and spans L₀ ²(Ω,B,m), then for any integerk ≠ 0, the random variablesX o T^nk,n ε ℤ generateB modulom.     

Global rigidity results for lattice actions on tori and new examples of volume-preserving actions

Any action of a finite index subgroup in SL(n,ℤ),n≥4 on then-dimensional torus which has a finite orbit and contains an Anosov element which splits as a direct product is smoothly conjugate to an affine action. We also construct first examples of real-analytic volume-preserving actions of SL(n,ℤ) and other higher-rank lattices on compact manifolds which are not conjugate (even topologically) to algebraic models. This work was partially supported by NSF grant DMS9017995.     

The bieri-strebel invariant and homological finiteness conditions for metabelian groups

A group Γ has type F P_n if a trivial ℤΓ-module ℤ has a projective resolution P:…P_n → … → P₁ → P₀ → ℤ in which ℤΓ-module P_n,…P₁, P₀ are finitely generated. Let the finitely generated group Γ be a split extension of the Abelian group M by an Abelian group Q, suppose M is torsion free, and assume Γ∈F P_m, m≥2. Then the invariant ∑ _c ^M is m-tame. Translated fromAlgebra i Logika, Vol. 36, No. 2, pp. 194–218, March–April, 1997.     

{0, 1/2}-Chvátal-Gomory cuts

Given the integer polyhedronP _t := conv{x ∈ℤ ⁿ :Ax⩽b}, whereA ∈ℤ ^{m × n} andb ∈ℤ ^m , aChvátal-Gomory (CG)cut is a valid inequality forP ₁ of the type λτAx⩽⌊λτb⌋ for some λ∈ℝ ₊ ^m such that λτA∈ℤ ⁿ . In this paper we study {0, 1/2}-CG cuts, arising for λ∈{0, 1/2} ^m . We show that the associated separation problem, {0, 1/2}-SEP, is equivalent to finding a minimum-weight member of a binary clutter. This implies that {0, 1/2}-SEP is NP-complete in the general case, but polynomially solvable whenA is related to the edge-path incidence matrix of a tree. We show that {0, 1/2}-SEP can be solved in polynomial time for a convenient relaxation of the systemAx<-b. This leads to an efficient separation algorithm for a subclass of {0, 1/2}-CG cuts, which often contains wide families of strong inequalities forP ₁. Applications to the clique partitioning, asymmetric traveling salesman, plant location, acyclic subgraph and linear ordering polytopes are briefly discussed.     

On a cardinal group invariant related to decompositions of Abelian groups

For each Abelian groupG, a cardinal invariant χ(G) is introduced and its properties are studied. In the special caseG = ℤ ⁿ , the cardinalχ(ℤ ⁿ ) is equal to the minimal cardinality of an essential subset of ℤ ⁿ , i.e., a of a subsetA ⊂ ℤ ⁿ such that, for any coloring of the group ℤ ⁿ inn colors, there exists an infinite one-color subset that is symmetric with respect to some pointα ofA. The estimaten( ^{n +} l)/2 ≤χ(ℤ ⁿ ) < 2n is proved for alln and the relationχ(ℤ ⁿ ) =n(n + 1)/2 forn ≤ 3. The structure of essential subsets of cardinalityχ(ℤ ⁿ ) in ℤ ⁿ is completely described forn ≤ 3. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 341–350, September, 1998.     

Classification of regular embeddings of <Emphasis Type="Italic">n</Emphasis>-dimensional cubes

An orientably-regular map is a 2-cell embedding of a connected graph or multigraph into an orientable surface, such that the group of all orientation-preserving automorphisms of the embedding has a single orbit on the set of all arcs (incident vertex-edge pairs). Such embeddings of the n-dimensional cubes Q _n were classified for all odd n by Du, Kwak and Nedela in 2005, and in 2007, Jing Xu proved that for n=2m where m is odd, they are precisely the embeddings constructed by Kwon in 2004. Here, we give a classification of orientably-regular embeddings of Q _n for all n. In particular, we show that for all even n (=2m), these embeddings are in one-to-one correspondence with elements σ of order 1 or 2 in the symmetric group S _n such that σ fixes n, preserves the set of all pairs B _i ={i,i+m} for 1≤i≤m, and induces the same permutation on this set as the permutation B _i ↦ B _f(i) for some additive bijection f:ℤ _m →ℤ _m . We also give formulae for the numbers of embeddings that are reflexible and chiral, respectively, showing that the ratio of reflexible to chiral embeddings tends to zero for large even n.     

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

The modified complex Busemann-Petty problem on sections of convex bodies

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if n ≤ 3 and negative if n ≥ 4. Since the answer is negative in most dimensions, it is natural to ask what conditions on the (n − 1)-dimensional volumes of the central sections of complex convex bodies with complex hyperplanes allow to compare the n-dimensional volumes. In this article we give necessary conditions on the section function in order to obtain an affirmative answer in all dimensions. The result is the complex analogue of [16].      

Graded Reversibility in Integral Group Rings

We say that an algebra R, graded by a group, is graded reversible if ab=0 implies ba=0 where a,b are homogeneous elements of R. In this note, we study graded reversibility when R=ℤG (viewed as a ℤ-algebra) and the grading group is cyclic of order two. A complete characterization of when this occurs is obtained for some classes of groups (including dihedral groups) assuming a positive answer to an open question concerning group gradings.     

Complexes of graph homomorphisms

Hom(G, H) is a polyhedral complex defined for any two undirected graphsG andH. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that Hom(K _m, K_n) is homotopy equivalent to a wedge of (n−m)-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graphG, and integersm≥2 andk≥−1, we have ϖ ₁ ^k (Hom(K _m, G))≠0, thenχ(G)≥k+m; here ℤ₂-action is induced by the swapping of two vertices inK _m, and ϖ₁ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of Hom(G, H) induces a homotopy equivalence. It then follows that Hom(F, K _n) is homotopy equivalent to a direct product of (n−2)-dimensional spheres, while Hom(F, K _n) is homotopy equivalent to a wedge of spheres, whereF is an arbitrary forest andF is its complement. The second author acknowledges support by the University of Washington, Seattle, the Swiss National Science Foundation Grant PP002-102738/1, the University of Bern, and the Royal Institute of Technology, Stockholm.     

On exactlym times covers

In this paper it is shown that if every integer is covered bya ₁+n ₁ℤ,…,a _k +n _k ℤ exactlym times then for eachn=1,…,m there exist at least ( _n ^m ) subsetsI of {1,…k} such that ∑ _{i ∈ I} 1/n _i equalsn. The bound ( _n ^m ) is best possible. Research supported by the National Nature Science Foundation of P.R. of China.     

On the pontryagin-steenrod-wu theorem

We present a short and direct proof (based on the Pontryagin-Thom construction) of the following Pontryagin-Steenrod-Wu theorem: (a) LetM be a connected orientable closed smooth (n + 1)-manifold,n≥3. Define the degree map deg: π ⁿ (M) →H ⁿ (M; ℤ) by the formula degf =f*[S ⁿ ], where [S ⁿ ] εH ⁿ (M; ℤ) is the fundamental class. The degree map is bijective, if there existsβ εH ₂(M, ℤ/2ℤ) such thatβ ·w ₂(M) ε 0. If suchβ does not exist, then deg is a 2-1 map; and (b) LetM be an orientable closed smooth (n+2)-manifold,n≥3. An elementα lies in the image of the degree map if and only ifρ ₂ α ·w ₂(M)=0, whereρ ₂: ℤ → ℤ/2ℤ is reduction modulo 2.     

Sets of Periods for Expanding Maps on Flat Manifolds

 It is proven that the sets of periods for expanding maps on n-dimensional flat manifolds are uniformly cofinite, i.e. there is a positive integer m ₀, which depends only on n, such that for any integer , for any n-dimensional flat manifold ℳ and for any expanding map F on ℳ, there exists a periodic point of F whose least period is exactly m.     

Sets of Periods for Expanding Maps on Flat Manifolds

 It is proven that the sets of periods for expanding maps on n-dimensional flat manifolds are uniformly cofinite, i.e. there is a positive integer m ₀, which depends only on n, such that for any integer , for any n-dimensional flat manifold ℳ and for any expanding map F on ℳ, there exists a periodic point of F whose least period is exactly m. (Received 10 April 1998; in revised form 20 January 1999)     

The cubic mapping graph for the ring of Gaussian integers modulo <Emphasis Type="Italic">n</Emphasis>

The article studies the cubic mapping graph Γ(n) of ℤ _n [i], the ring of Gaussian integers modulo n. For each positive integer n > 1, the number of fixed points and the in-degree of the elements [`1]\overline 1 and [`0]\overline 0 in Γ(n) are found. Moreover, complete characterizations in terms of n are given in which Γ₂(n) is semiregular, where Γ₂(n) is induced by all the zero-divisors of ℤ _n [i].     

Remarks on the structure of the multiplicative monoid of integers modulom

This note presents some results concerningH-classes, Schützenberger groups, and regular elements in the multiplicative monoid ℤ _m of integers modulom. It also shows that in ℤ _m , the product of twoH-classes is anH-class.     

Geometric approach to stable homotopy groups of spheres. Kervaire invariants. II

We present an approach to the Kervaire-invariant-one problem. The notion of the geometric (ℤ/2 ⨁ ℤ/2)-control of self-intersection of a skew-framed immersion and the notion of the (ℤ/2 ⨁ ℤ/4)-structure on the self-intersection manifold of a D ₄-framed immersion are introduced. It is shown that a skew-framed immersion ↬ℝ ⁿ , 0 < q ≪ n (in the -range), admits a geometric (ℤ/2 ⨁ ℤ/2)-control if the characteristic class of the skew-framing of this immersion admits a retraction of order q, i.e., there exists a mapping such that this composition → ℝP^∞ is the characteristic class of the skew-framing of f. Using the notion of (ℤ/2 ⨁ ℤ/2)-control, we prove that for a sufficiently large n, n = 2 ^l − 2, an arbitrarily immersed D ₄-framed manifold admits in the regular cobordism class (modulo odd torsion) an immersion with a (ℤ/2 ⨁ ℤ/4)-structure. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 17–41, 2007.