A Constructive Approach to Lattice Rule Canonical Forms

The rank and invariants of a general lattice rule are conventionally defined in terms of the group-theoretic properties of the rule. Here we give a constructive definition of the rank and invariants using integer matrices. This underpins a nonabstract algorithm set in matrix algebra for obtaining the Sylow p-decomposition of a lattice rule. This approach is particularly useful when it is not known whether the form in which the lattice rule is specified is canonical or even repetitive. A new set of necessary and sufficient conditions for recognizing a canonical form is given.     

Determination of the rank of an integration lattice

The continuing and widespread use of lattice rules for high-dimensional numerical quadrature is driving the development of a rich and detailed theory. Part of this theory is devoted to computer searches for rules, appropriate to particular situations. In some applications, one is interested in obtaining the (lattice) rank of a lattice rule Q(Λ) directly from the elements of a generator matrix B (possibly in upper triangular lattice form) of the corresponding dual lattice Λ^⊥. We treat this problem in detail, demonstrating the connections between this (lattice) rank and the conventional matrix rank deficiency of modulo p versions of B. AMS subject classification (2000) 65D30     

Binomial arithmetical rank of lattice ideals

 In this paper, we will show that a lattice ideal is a complete intersection if and only if its binomial arithmetical rank equals its height, if the characteristic of the base field k is zero. And we will give the condition that a binomial ideal equals a lattice ideal up to radical in the case of char k=0. Further, we will study the upper bound of the binomial arithmetical rank of lattice ideals and give a sharp bound for the lattice ideals of codimension two. Received: 12 June 2001 / Revised version: 22 July 2002     

Minimally Supported Frequency Composite Dilation Parseval Frame Wavelets

A composite dilation Parseval frame wavelet is a collection of functions generating a Parseval frame for L ²(ℝ ⁿ ) under the actions of translations from a full rank lattice and dilations by products of elements of groups A and B. A minimally supported frequency composite dilation Parseval frame wavelet has generating functions whose Fourier transforms are characteristic functions of sets contained in a lattice tiling set. Constructive proofs are used to establish the existence of minimally supported frequency composite dilation Parseval frame wavelets in arbitrary dimension using any finite group B, any full rank lattice, and an expanding matrix generating the group A and normalizing the group B. Moreover, every such system is derived from a Parseval frame multiresolution analysis. Multiple examples are provided including examples that capture directional information.      

E -Theoretic Duality for Higher Rank Graph Algebras

We prove that there is a Poincaré type duality in E-theory between higher rank graph algebras associated with a higher rank graph and its opposite correspondent. We obtain an r-duality, that is the fundamental classes are in E^r. The basic tools are a higher rank Fock space and higher rank Toeplitz algebra which has a more interesting ideal structure than in the rank 1 case. The K-homology fundamental class is given by an r-fold exact sequence whereas the K-theory fundamental class is given by a homomorphism. The E-theoretic products are essentially pull-backs so that the computation is done at the level of exact sequences. Mathematics Subject Classification (2000): 46L80.     

The Problem of the Classification of the Nilpotent Class 2 Torsion Free Groups up to Geometric Equivalence

In this article, we consider the problem of classification of the nilpotent class 2 finitely generated torsion free groups up to geometric equivalence. By a very easy technique it is proved that this problem is equivalent to the problem of classification of the complete in the Maltsev sense nilpotent torsion free finite rank groups up to isomorphism. This result leads to better understanding of the complexity of the problem of the classification of the quasi-varieties of the nilpotent class 2 groups. It is well known that the variety of the nilpotent class s groups is Noetherian for every s ∈ ?. So the problem of the classification of the quasi-varieties generated even by a single nilpotent class 2 finitely generated torsion free group is equivalent to the problem of classification of the complete in the Maltsev sense nilpotent torsion free finite rank groups up to isomorphism.     

Connected components of the category of elementary abelian p-subgroups

We determine the maximal number of conjugacy classes of maximal elementary abelian subgroups of rank 2 in a finite p-group G, for an odd prime p. Namely, it is p if G has rank at least 3 and it is p+1 if G has rank 2. More precisely, if G has rank 2, there are exactly 1,2,p+1, or possibly 3 classes for some 3-groups of maximal nilpotency class.     

Symmetry Classification for Jackson Integrals Associated with Irreducible Reduced Root Systems

We state certain product formulae for Jackson integrals associated with irreducible reduced root systems. The Jackson integral is defined here as a sum over any full-rank sublattice of the coweight lattice for the root system. In particular, a Weyl group symmetry classification of the Jackson integrals is done when they have an expression of a product of the Jacobi elliptic theta functions. Most of the product formulae investigated by Aomoto, Macdonald and Gustafson appear in the list of classifications. A new product formula for an F ₄ root system is included in it.     

Weakly Hyperbolic Actions of Kazhdan Groups on Tori

We study the ergodic and rigidity properties of weakly hyperbolic actions. First, we establish ergodicity for C² volume preserving weakly hyperbolic group actions on closed manifolds. For the integral action generated by a single Anosov diffeomorphism this theorem is classical and originally due to Anosov. Motivated by the Franks/Manning classification of Anosov diffeomorphisms on tori, we restrict our attention to weakly hyperbolic actions on the torus. When the acting group is a lattice subgroup of a semisimple Lie group with no compact factors and all (almost) simple factors of real rank at least two, we show that weak hyperbolicity in the original action implies weak hyperbolicity for the induced action on the fundamental group. As a corollary, we obtain that any such action on the torus is continuously semiconjugate to the affine action coming from the fundamental group via a map unique in the homotopy class of the identity. Under the additional assumption that some partially hyperbolic group element has quasi-isometrically embedded lifts of unstable leaves to the universal cover, we obtain a conjugacy, resulting in a continuous classification for these actions. Partially funded by VIGRE grant DMS-9977371 Received: January 2005 Revision: August 2005 Accepted: September 2005     

Lattice triangulations of $\mathbb{E}^3 $ and of the 3-torus

This paper gives answers to a few questions concerning tilings of Euclidean spaces where the tiles are topological simplices with curvilinear edges. We investigate lattice triangulations of Euclidean 3-space in the sense that the vertices form a lattice of rank 3 and such that the triangulation is invariant under all translations of that lattice. This is the dual concept of a primitive lattice tiling where the tiles are not assumed to be Euclidean polyhedra but only topological polyhedra. In 3-space there is a unique standard lattice triangulation by Euclidean tetrahedra (and with straight edges) but there are infinitely many non-standard lattice triangulations where the tetrahedra necessarily have certain curvilinear edges. From the view-point of Discrete Differential Geometry this tells us that there are such triangulations of 3-space which do not carry any flat discrete metric which is equivariant under the lattice. Furthermore, we investigate lattice triangulations of the 3-dimensional torus as quotients by a sublattice. The standard triangulation admits such quotients with any number n ≥ 15 of vertices. The unique one with 15 vertices is neighborly, i.e., any two vertices are joined by an edge. It turns out that for any odd n ≥ 17 there is an n-vertex neighborly triangulation of the 3-torus as a quotient of a certain non-standard lattice triangulation. Combinatorially, one can obtain these neighborly 3-tori as slight modifications of the boundary complexes of the cyclic 4-polytopes. As a kind of combinatorial surgery, this is an interesting construction by itself.     

P-Geometries of Rank 3

Under minor extra assumptions, we classify P-geometries of rank 3. Previously, a classification was known only for flag-transitive P-geometries.     

Minimally Supported Frequency Composite Dilation Wavelets

A composite dilation wavelet is a collection of functions generating an orthonormal basis for L ²(ℝ ⁿ ) under the actions of translations from a full rank lattice and dilations by products of elements of non-commuting groups A and B. A minimally supported frequency composite dilation wavelet has generating functions whose Fourier transforms are characteristic functions of a lattice tiling set. In this paper, we study the case where A is the group of integer powers of some expanding matrix while B is a finite subgroup of the invertible n×n matrices. This paper establishes that with any finite group B together with almost any full rank lattice, one can generate a minimally supported frequency composite dilation wavelet system. The paper proceeds by demonstrating the ability to find such minimally supported frequency composite dilation wavelets with a single generator.     

Markov Chains on Graded Posets

We consider two types of discrete-time Markov chains where the state space is a graded poset and the transitions are taken along the covering relations in the poset. The first type of Markov chain goes only in one direction, either up or down in the poset (an up chain or down chain). The second type toggles between two adjacent rank levels (an up-and-down chain). We introduce two compatibility concepts between the up-directed transition probabilities (an up rule) and the down-directed (a down rule), and we relate these to compatibility between up-and-down chains. This framework is used to prove a conjecture about a limit shape for a process on Young’s lattice. Finally, we settle the questions whether the reverse of an up chain is a down chain for some down rule and whether there exists an up or down chain at all if the rank function is not bounded.     

Periodization strategy may fail in high dimensions

We discuss periodization of smooth functions f of d variables for approximation of multivariate integrals. The benefit of periodization is that we may use lattice rules, which have recently seen significant progress. In particular, we know how to construct effectively a generator of the rank-1 lattice rule with n points whose worst case error enjoys a nearly optimal bound C _d,p n ^−p . Here C _d,p is independent of d or depends at most polynomially on d, and p can be arbitrarily close to the smoothness of functions belonging to a weighted Sobolev space with an appropriate condition on the weights. If F denotes the periodization for f then the error of the lattice rule for a periodized function F is bounded by C _d,p n ^−p ∣∣F∣∣ with the norm of F given in the same Sobolev space. For small or moderate d, the norm of F is not much larger than the norm of f. This means that for small or moderate d, periodization is successful and allows us to use optimal properties of lattice rules also for non-periodic functions. The situation is quite different if d is large since the norm of F can be exponentially larger than the norm of f. This can already be seen for f = 1. Hence, the upper bound of the worst case error of the lattice rule for periodized functions is quite bad for large d. We conjecture not only that this upper bound is bad, but also that all lattice rules fail for large d. That is, if we fix the number of points n and let d go to infinity then the worst case error of any lattice rule is bounded from below by a positive constant independent of n. We present a number of cases suggesting that this conjecture is indeed true, but the most interesting case, when the sum of the weights of the corresponding Sobolev space is bounded in d, remains open.      

Rank 4 vector bundles on the quintic threefold

By the results of the author and Chiantini in [3], on a general quintic threefold X⊂P ⁴ the minimum integer p for which there exists a positive dimensional family of irreducible rank p vector bundles on X without intermediate cohomology is at least three. In this paper we show that p≤4, by constructing series of positive dimensional families of rank 4 vector bundles on X without intermediate cohomology. The general member of such family is an indecomposable bundle from the extension class Ext ¹ (E, F), for a suitable choice of the rank 2 ACM bundles E and F on X. The existence of such bundles of rank p=3 remains under question.     

Orthogonal splitting and class numbers of quadratic forms

Orthogonal splitting for lattices on quadratic spaces over algebraic number fields is studied. It is seen that if the rank of a lattice is sufficiently large, then its spinor genus must contain a decomposable lattice. Also, splitting theory is used to obtain a lower bound for the class number of a lattice (in the definite case) in terms of its rank, via the partition function.     

Non-Transitive Generalizations of Subdirect Products of Linearly Ordered Rings

Weakly associative lattice rings (wal-rings) are non-transitive generalizations of lattice ordered rings (l-rings). As is known, the class of l-rings which are subdirect products of linearly ordered rings (i.e. the class of f-rings) plays an important role in the theory of l-rings. In the paper, the classes of wal-rings representable as subdirect products of to-rings and ao-rings (both being non-transitive generalizations of the class of f-rings) are characterized and the class of wal-rings having lattice ordered positive cones is described. Moreover, lexicographic products of weakly associative lattice groups are also studied here.     

Spectral Properties of Four-Dimensional Compact Flat Manifolds

We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on p-forms, we determine all p-isospectral and L-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on p-forms for all values of p are equivalent to each other. The list shows for any p, 1 ≤ p ≤ 3, many p-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, p-isospectral for all p and not length isospectral. Mathematics Subject Classifications (2000): 58J53, 58C22, 20H15.     

Finite Free Resolutions and 1-Skeletons of Simplicial Complexes

A technique of minimal free resolutions of Stanley—Reisner rings enables us to show the following two results: (1) The 1-skeleton of a simplicial (d–1)-sphere is d-connected, which was first proved by Barnette; (2) The comparability graph of a non-planar distributive lattice of rank d–1 is d-connected.