Geometric Models for Quasicrystals II. Local Rules Under Isometries

The atomic structures of quasicrystalline materials exhibit long range order under translations. It is believed that such materials have atomic structures which approximately obey local rules restricting the location of nearby atoms. These local constraints are typically invariant under rotations, and it is of interest to establish conditions under which such local rules can nevertheless enforce order under translations in any structure that satisfies them. A set of local rules in is a finite collection of discrete sets {Y _i } containing 0, each of which is contained in the ball of radius ρ around 0 in . A set X satisfies the local rules under isometries if the ρ -neighborhood of each is isometric to an element of . This paper gives sufficient conditions on a set of local rules such that if X satisfies under isometries, then X has a weak long-range order under translations, in the sense that X is a Delone set of finite type. A set X is a Delone set of finite type if it is a Delone set whose interpoint distance set X-X is a discrete closed set. We show for each minimal Delone set of finite type X that there exists a set of local rules such that X satisfies under isometries and all other Y that satisfy under isometries are Delone sets of finite type. A set of perfect local rules (under isometries or under translations, respectively) is a set of local rules such that all structures X that satisfy are in the same local isomorphism class (under isometries or under translations, respectively). If a Delone set of finite type has a set of perfect local rules under translations, then it has a set of perfect local rules under isometries, and conversely. Received February 14, 1997, and in revised form February 14, 1998, February 19, 1998, and March 5, 1998.     

Bounds on global secure sets in cactus trees

Let G = (V, E) be a graph. A global secure set SD ⊆ V is a dominating set which satisfies the condition: for all X ⊆ SD, |N[X] ∩ SD| ≥ | N[X] − SD|. A global defensive alliance is a set of vertices A that is dominating and satisfies a weakened condition: for all x ∈ A, |N[x] ∩ A| ≥ |N[x] − A|. We give an upper bound on the cardinality of minimum global secure sets in cactus trees. We also present some results for trees, and we relate them to the known bounds on the minimum cardinality of global defensive alliances.     

Substitution Delone Sets

   Abstract. Substitution Delone set families are families of Delone sets X =(X ₁ , . . ., X _n ) which satisfy the inflation functional equation

Uniqueness in Discrete Tomography of Delone Sets with Long-Range Order

We address the problem of determining finite subsets of Delone sets Λ⊂ℝ ^d with long-range order by X-rays in prescribed Λ-directions, i.e., directions parallel to nonzero interpoint vectors of Λ. Here, an X-ray in direction u of a finite set gives the number of points in the set on each line parallel to u. For our main result, we introduce the notion of algebraic Delone sets Λ⊂ℝ² and derive a sufficient condition for the determination of the convex subsets of these sets by X-rays in four prescribed Λ-directions.     

On Locally Finite Modules

This paper is devoted to the study of locally finite modules M, i.e., modules whose finitely generated submodules are finite (as sets). In particular, we study rings which have faithful locally finite modules, for example, the polynomial rings ℤ[x] and F[x], where F is a finite field. Our results generalize the properties of Abelian torsion groups and the ring of integers. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).     

Note on g-Hilbertian fields and nonrational curves¶with the Hilbert property

In a recent paper, Fried and Jarden prove the existence, for all integers g, of non-Hilbertian fields K which cannot be covered by a finite number of sets of the form ϕ (X(K)), where X is a curve of genus ≤g and ϕ is a rational function on X of degree ≥ 2. (If no bound is given on the genus we recover the notion of Hilbertian field.) This generalizes the case g=0, obtained previously by Corvaja and Zannier with a more elementary method. By a suitable modification of that method, we give here a new proof of the result of Fried and Jarden which avoids the use of deep group theoretical results. By a somewhat related construction we give an example of a curve X/Q of any prescribed genus and a Hilbertian field K⊂ˉQ such that X/K has the Hilbert property, i.e. the set of rational points X(K) is not thin. Received: 10 March 1998 / Revised version: 20 April 1998     

Quantitative form of the Luzin <Emphasis Type="Italic">C</Emphasis>-property

We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t ^−a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set E ⊂ X, μE = 0 , for which

The Universal Functorial Equivariant Lefschetz Invariant

We introduce the universal functorial equivariant Lefschetz invariant for endomorphisms of finite proper G-CW-complexes, where G is a discrete group. We use K₀ of the category of “ ϕ -endomorphisms of finitely generated free RΠ(G, X)-modules”. We derive results about fixed points of equivariant endomorphisms of cocompact proper smooth G-manifolds. Received: February 2006     

Dissipative Dynamics for a Class of Nonlinear Pseudo-Differential Equations

We study a class of nonlinear evolutionary equations generated by an elliptic pseudo-differential operator, and with nonlinearity of the form G(u _x ) where cη² ≤ G(η) ≤ Cη² for large |η|. For the evolution in spaces of periodic functions with zero mean we demonstrate existence of a universal absorbing set and compact attractor. Furthermore, we show that the attractor is of a finite Hausdorf dimension. The dissipation mechanism for the class of equations studied in the paper is akin to the nonlinear saturation in the Kuramoto-Sivashinsky equation. A similar generalization of the Kuramoto-Sivashinsky equation was studied by Nicolaenko et al. under the assumption of a purely quadratic nonlinearity and reflection invariance of both: the equation and solutions.      

Polynomial Szemerédi theorems for countable modules over integral domains and finite fields

Given a pair of vector spacesV andW over a countable fieldF and a probability spaceX, one defines apolynomial measure preserving action ofV onX to be a compositionT o ϕ, where ϕ:V→W is a polynomial mapping andT is a measure preserving action ofW onX. We show that the known structure theory of measure preserving group actions extends to polynomial actions and establish a Furstenberg-style multiple recurrence theorem for such actions. Among the combinatorial corollaries of this result are a polynomial Szemerédi theorem for sets of positive density in finite rank modules over integral domains, as well as the following fact:Let be a finite family of polynomials with integer coefficients and zero constant term. For any α>0, there exists N ∈ ℕ such that whenever F is a field with |F|≥N and E ⊆F with |E|/|F|≥α, there exist u∈F, u≠0, and w∈E such that w+ϕ(u)∈E for all ϕ∈ . The first two authros are supported by NSF, grant DMS-0070566 and DMS-0245350. The second author was supported by the A. Sloan Foundation. The third author is supported by NSF, grant DMS-0200700.     

Distance sets of well-distributed planar sets for polygonal norms

LetX be a two-dimensional normed space, and letBX be the unit ball inX. We discuss the question of how large the set of extremal points ofBX may be ifX contains a well-distributed set whose distance set Δ satisfies the estimate |Δ∩[0,N]|≤CN ^3/2-ε. We also give a necessary and sufficient condition for the existence of a well-distributed set with |Δ∩[0,N]|≤CN.     

Un Algorithme pour le Calcul des Syzygies sur V[X] dans le cas où V est un Domaine de Valuation

Soit V un domaine de valuation. Nous donnons un algorithme pour calculer une base du V-saturé d'un sous-module de type fini d'un V-module libre (avec une base éventuellement infinie). Nous l'appliquons pour calculer le V-saturé d'un sous-V[X]-module de type fini de V[X] ⁿ (n ∈ ?*). Ceci permet enfin de calculer un système générateur fini pour les syzygies sur V[X] d'une famille finie de vecteurs de V[X] ^k .

We give an algorithm for computing the V-saturation of any finitely generated submodule of V[X] ⁿ (n ∈ ?*), where V is a valuation domain. This allows us to compute a finite system of generators for the syzygy module of any finitely generated submodule of V[X] ^k .     

Lower bounds for weak epsilon-nets and stair-convexity

A set N ⊂ ℝ ^d is called a weak ɛ-net (with respect to convex sets) for a finite X ⊂ ℝ ^d if N intersects every convex set C with |X ∩ C| ≥ ɛ|X|. For every fixed d ≥ 2 and every r ≥ 1 we construct sets X ⊂ ℝ ^d for which every weak 1/r -net has at least Ω(r log ^d−1 r) points; this is the first superlinear lower bound for weak ɛ-nets in a fixed dimension.     

The Hausdorff Centred measure of the symmetry Cantor sets

Let 0＜λ≤1/3,K (λ) be the attractor of an iterated function system { ψ1,ψ2 } on the line, where ψ1 (x ) =λx, ψ2(x)=1-λ+λx, x∈ [0,1]. We call K (λ) the symmetry Cantor sets. In this paper, we obtained the exact Hausdorff Centred measure of K (λ).     

The density of rational points on non-singular hypersurfaces

LetF(x) =F[x₁,…,x_n]∈ℤ[x₁,…,x_n] be a non-singular form of degree d≥2, and letN(F, X)=#{xεℤ ⁿ ;F(x)=0, |x|⩽X}, where . It was shown by Fujiwara [4] [Upper bounds for the number of lattice points on hypersurfaces,Number theory and combinatorics, Japan, 1984, (World Scientific Publishing Co., Singapore, 1985)] thatN(F, X)≪X ^n−2+2/n for any fixed formF. It is shown here that the exponent may be reduced ton - 2 + 2/(n + 1), forn ≥ 4, and ton - 3 + 15/(n + 5) forn ≥ 8 andd ≥ 3. It is conjectured that the exponentn - 2 + ε is admissable as soon asn ≥ 3. Thus the conjecture is established forn ≥ 10. The proof uses Deligne’s bounds for exponential sums and for the number of points on hypersurfaces over finite fields. However a composite modulus is used so that one can apply the ‘q-analogue’ of van der Corput’s AB process. Dedicated to the memory of Professor K G Ramanathan     

Groups with All Subgroups Pronormal-by-Finite

A subgroup X of a group G is called pronormal-by-finite if there exists a pronormal subgroup Y of G such that Y ≤ X and |X : Y| is finite. The structure of (generalized) soluble groups in which all subgroups are pronormal-by-finite is investigated. Among other results, it is proved in particular that a finitely generated soluble group with such property is central-by-finite, provided that it has no infinite dihedral sections.     

On processes which cannot be distinguished by finite observation

A function J defined on a family C of stationary processes is finitely observable if there is a sequence of functions s _n such that s _n (x ₁,…, x _n ) → J(X) in probability for every process X=(x _n ) ∈ C. Recently, Ornstein and Weiss proved the striking result that if C is the class of aperiodic ergodic finite valued processes, then the only finitely observable isomorphism invariant defined on C is entropy [8]. We sharpen this in several ways. Our main result is that if X → Y is a zero-entropy extension of finite entropy ergodic systems and C is the family of processes arising from generating partitions of X and Y, then every finitely observable function on C is constant. This implies Ornstein and Weiss’ result, and extends it to many other families of processes, e.g., it follows that there are no nontrivial finitely observable isomorphism invariants for processes arising from the class of Kronecker systems, the class of mild mixing zero entropy systems, or the class of strong mixing zero entropy systems. It also follows that for the class of processes arising from irrational rotations, every finitely observable isomorphism invariant must be constant for rotations belonging to a set of full Lebesgue measure. This research was supported by the Israel Science Foundation (grant No. 1333/04)     

On tense modules for extended algebras over rational fields

Let k(x) be the field of fractions of the polynomial algebra k[x] over the field k. We prove that, for an arbitrary finite dimensional k-algebra Λ, any finitely generated Λ ⊗_k k(x)-module M such that its minimal projective presentation admits no non-trivial selfextension is of the form M ≅ N^k(x), for some finitely generated Λ-module N. Some consequences are derived for tilting modules over the rational algebra Λ ⊗_k k(x) and for some generic modules for Λ. Received: 24 November 2003; revised: 11 February 2005     

Optimization of convex functions on w*-compact sets

We give a direct, self-contained, and iterative proof that for any convex, Lipschitz andw ^*-lower semicontinuous function ϕ defined on aw ^*-compact convex setC in a dual Banach spaceX ^* and for any ε>0 there is anx∈X, with ‖x‖≤ε, such that ϕ+x attains its supremum at an extreme point ofC. This result is implicitly contained in the work of Lindenstrauss [9] and the work of Ghoussoub and Maurey on strongw ^*−H _σ sets [8]. In addition, we discuss the applications of this result to the geometry of convex sets. Research supported in part by the NSERC of Canada under grant OGP41983 for the first author and grant OGP7926 for the second author.