Showing 1–35 of 35 results for author: Moody, V

SYNFAC-EDIT: Synthetic Imitation Edit Feedback for Factual Alignment in Clinical Summarization

Authors: Prakamya Mishra, Zonghai Yao, Parth Vashisht, Feiyun Ouyang, Beining Wang, Vidhi Dhaval Mody, Hong Yu

Abstract: Large Language Models (LLMs) such as GPT & Llama have demonstrated significant achievements in summarization tasks but struggle with factual inaccuracies, a critical issue in clinical NLP applications where errors could lead to serious consequences. To counter the high costs and limited availability of expert-annotated data for factual alignment, this study introduces an innovative pipeline that u… ▽ More Large Language Models (LLMs) such as GPT & Llama have demonstrated significant achievements in summarization tasks but struggle with factual inaccuracies, a critical issue in clinical NLP applications where errors could lead to serious consequences. To counter the high costs and limited availability of expert-annotated data for factual alignment, this study introduces an innovative pipeline that utilizes >100B parameter GPT variants like GPT-3.5 & GPT-4 to act as synthetic experts to generate high-quality synthetics feedback aimed at enhancing factual consistency in clinical note summarization. Our research primarily focuses on edit feedback generated by these synthetic feedback experts without additional human annotations, mirroring and optimizing the practical scenario in which medical professionals refine AI system outputs. Although such 100B+ parameter GPT variants have proven to demonstrate expertise in various clinical NLP tasks, such as the Medical Licensing Examination, there is scant research on their capacity to act as synthetic feedback experts and deliver expert-level edit feedback for improving the generation quality of weaker (<10B parameter) LLMs like GPT-2 (1.5B) & Llama 2 (7B) in clinical domain. So in this work, we leverage 100B+ GPT variants to act as synthetic feedback experts offering expert-level edit feedback, that is used to reduce hallucinations and align weaker (<10B parameter) LLMs with medical facts using two distinct alignment algorithms (DPO & SALT), endeavoring to narrow the divide between AI-generated content and factual accuracy. This highlights the substantial potential of LLM-based synthetic edits in enhancing the alignment of clinical factuality. △ Less

Submitted 2 October, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: Equal contribution for the first two authors; To appear in proceedings of the Main Conference on Empirical Methods in Natural Language Processing (EMNLP) 2024

Brittle AI, Causal Confusion, and Bad Mental Models: Challenges and Successes in the XAI Program

Authors: Jeff Druce, James Niehaus, Vanessa Moody, David Jensen, Michael L. Littman

Abstract: The advances in artificial intelligence enabled by deep learning architectures are undeniable. In several cases, deep neural network driven models have surpassed human level performance in benchmark autonomy tasks. The underlying policies for these agents, however, are not easily interpretable. In fact, given their underlying deep models, it is impossible to directly understand the mapping from ob… ▽ More The advances in artificial intelligence enabled by deep learning architectures are undeniable. In several cases, deep neural network driven models have surpassed human level performance in benchmark autonomy tasks. The underlying policies for these agents, however, are not easily interpretable. In fact, given their underlying deep models, it is impossible to directly understand the mapping from observations to actions for any reasonably complex agent. Producing this supporting technology to "open the black box" of these AI systems, while not sacrificing performance, was the fundamental goal of the DARPA XAI program. In our journey through this program, we have several "big picture" takeaways: 1) Explanations need to be highly tailored to their scenario; 2) many seemingly high performing RL agents are extremely brittle and are not amendable to explanation; 3) causal models allow for rich explanations, but how to present them isn't always straightforward; and 4) human subjects conjure fantastically wrong mental models for AIs, and these models are often hard to break. This paper discusses the origins of these takeaways, provides amplifying information, and suggestions for future work. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Discretization of SU(2) and the Orthogonal Group Using Icosahedral Symmetries and the Golden Numbers

Authors: Robert V. Moody, Jun Morita

Abstract: The vertices of the four dimensional $120$-cell form a non-crystallographic root system whose corresponding symmetry group is the Coxeter group $H_{4}$. There are two special coordinate representations of this root system in which they and their corresponding Coxeter groups involve only rational numbers and the golden ratio $τ$. The two are related by the conjugation $τ\mapstoτ' = -1/τ$. This pape… ▽ More The vertices of the four dimensional $120$-cell form a non-crystallographic root system whose corresponding symmetry group is the Coxeter group $H_{4}$. There are two special coordinate representations of this root system in which they and their corresponding Coxeter groups involve only rational numbers and the golden ratio $τ$. The two are related by the conjugation $τ\mapstoτ' = -1/τ$. This paper investigates what happens when the two root systems are combined and the group generated by both versions of $H_{4}$ is allowed to operate on them. The result is a new, but infinite, `root system' $Σ$ which itself turns out to have a natural structure of the unitary group $SU(2,\mathcal R)$ over the ring $\mathcal R = \mathbb Z[\frac{1}{2},τ]$ (called here golden numbers). Acting upon it is the naturally associated infinite reflection group $H^{\infty}$, which we prove is of index $2$ in the orthogonal group $O(4,\mathcal R)$. The paper makes extensive use of the quaternions over $\mathcal R$ and leads to highly structured discretized filtration of $SU(2)$. We use this to offer a simple and effective way to approximate any element of $SU(2)$ to any degree of accuracy required using the repeated actions of just five fixed reflections, a process that may find application in computational methods in quantum mechanics. △ Less

Submitted 23 August, 2017; v1 submitted 13 May, 2017; originally announced May 2017.

Comments: 24 pages and 4 figures

MSC Class: 20F55 81P68

On the Penrose and Taylor-Socolar Hexagonal Tilings

Authors: Jeong-Yup Lee, Robert V. Moody

Abstract: We study the intimate relationship between the Penrose and the Taylor-Socolar tilings, within both the context of double hexagon tiles and the algebraic context of hierarchical inverse sequences of triangular lattices. This unified approach produces both types of tilings together, clarifies their relationship, and offers straightforward proofs of their basic properties. We study the intimate relationship between the Penrose and the Taylor-Socolar tilings, within both the context of double hexagon tiles and the algebraic context of hierarchical inverse sequences of triangular lattices. This unified approach produces both types of tilings together, clarifies their relationship, and offers straightforward proofs of their basic properties. △ Less

Submitted 16 January, 2017; originally announced January 2017.

Comments: 21 figures

MSC Class: 52C23

Diffraction Theory of Point Processes: Systems with Clumping and Repulsion

Authors: Michael Baake, Holger Kösters, Robert V. Moody

Abstract: We discuss several examples of point processes (all taken from Hough, Krishnapur, Peres, Virág (2009)) for which the autocorrelation and diffraction measures can be calculated explicitly. These include certain classes of determinantal and permanental point processes, as well as an isometry-invariant point process that arises as the zero set of a Gaussian random analytic function. We discuss several examples of point processes (all taken from Hough, Krishnapur, Peres, Virág (2009)) for which the autocorrelation and diffraction measures can be calculated explicitly. These include certain classes of determinantal and permanental point processes, as well as an isometry-invariant point process that arises as the zero set of a Gaussian random analytic function. △ Less

Submitted 21 July, 2015; v1 submitted 16 May, 2014; originally announced May 2014.

Comments: 22 pages, 9 figures; revised version with minor changes

MSC Class: 60G55; 42B10; 82B31

Journal ref: J. Stat. Phys. 159 (2015), 915-936

Taylor-Socolar hexagonal tilings as model sets

Authors: Jeong-Yup Lee, Robert V. Moody

Abstract: The Taylor-Socolar tilings are regular hexagonal tilings of the plane but are distinguished in being comprised of hexagons of two colors in an aperiodic way. We place the Taylor-Socolar tilings into an algebraic setting which allows one to see them directly as model sets and to understand the corresponding tiling hull along with its generic and singular parts. Although the tilings were originall… ▽ More The Taylor-Socolar tilings are regular hexagonal tilings of the plane but are distinguished in being comprised of hexagons of two colors in an aperiodic way. We place the Taylor-Socolar tilings into an algebraic setting which allows one to see them directly as model sets and to understand the corresponding tiling hull along with its generic and singular parts. Although the tilings were originally obtained by matching rules and by substitution, our approach sets the tilings into the framework of a cut and project scheme and studies how the tilings relate to the corresponding internal space. The centers of the entire set of tiles of one tiling form a lattice $Q$ in the plane. If $X_Q$ denotes the set of all Taylor-Socolar tilings with centers on $Q$ then $X_Q$ forms a natural hull under the standard local topology of hulls and is a dynamical system for the action of $Q$. The $Q$-adic completion $\bar{Q}$ of $Q$ is a natural factor of $X_Q$ and the natural mapping $X_Q \longrightarrow \bar{Q}$ is bijective except at a dense set of points of measure 0 in $\bar{Q}$. We show that $X_Q$ consists of three LI classes under translation. Two of these LI classes are very small, namely countable $Q$-orbits in $X_Q$. The other is a minimal dynamical system which maps surjectively to $\bar{Q}$ and which is variously $2:1$, $6:1$, and $12:1$ at the singular points. We further develop the formula of Socolar and Taylor (2011) that determines the parity of the tiles of a tiling in terms of the co-ordinates of its tile centers. Finally we show that the hull of the parity tilings can be identified with the hull $X_Q$; more precisely the two hulls are mutually locally derivable. △ Less

Submitted 26 July, 2012; originally announced July 2012.

Comments: 45 pages, 33 figures

MSC Class: 52C23

Gaussian cubature arising from hybrid characters of simple Lie groups

Authors: Robert V. Moody, Lenka Motlochova, Jiri Patera

Abstract: Lie groups with two different root lengths allow two mixed sign homomorphisms on their corresponding Weyl groups, which in turn give rise to two families of hybrid Weyl group orbit functions and characters. In this paper we extend the ideas leading to the Gaussian cubature formulas for families of polynomials arising from the characters of irreducible representations of any simple Lie group, to ne… ▽ More Lie groups with two different root lengths allow two mixed sign homomorphisms on their corresponding Weyl groups, which in turn give rise to two families of hybrid Weyl group orbit functions and characters. In this paper we extend the ideas leading to the Gaussian cubature formulas for families of polynomials arising from the characters of irreducible representations of any simple Lie group, to new cubature formulas based on the corresponding hybrid characters. These formulas are new forms of Gaussian cubature in the short root length case and new forms of Radau cubature in the long root case. The nodes for the cubature arise quite naturally from the (computationally efficient) elements of finite order of the Lie group. △ Less

Submitted 19 February, 2014; v1 submitted 20 February, 2012; originally announced February 2012.

Comments: 23 pages, 3 figures

Journal ref: J. Fourier Anal. Appl. 20 (2014), no. 6, pp 1257-1290

Stationary processes with pure point diffraction

Authors: Daniel Lenz, Robert V. Moody

Abstract: We consider the construction and classification of some new mathematical objects, called ergodic spatial stationary processes, on locally compact Abelian groups, which provide a natural and very general setting for studying diffraction and the famous inverse problems associated with it. In particular we can construct complete families of solutions to the inverse problem from any given pure point m… ▽ More We consider the construction and classification of some new mathematical objects, called ergodic spatial stationary processes, on locally compact Abelian groups, which provide a natural and very general setting for studying diffraction and the famous inverse problems associated with it. In particular we can construct complete families of solutions to the inverse problem from any given pure point measure that is chosen to be the diffraction. In this case these processes can be classified by the dual of the group of relators based on the set of Bragg peaks, and this gives a solution to the homometry problem for pure point diffraction. An ergodic spatial stationary process consists of a measure theoretical dynamical system and a mapping linking it with the ambient space in which diffracting density is supposed to exist. After introducing these processes we study their general properties and link pure point diffraction to almost periodicity. Given a pure point measure we show how to construct from it and a given set of phases a corresponding ergodic spatial stationary process. In fact we do this in two separate ways, each of which sheds its own light on the nature of the problem. The first construction can be seen as an elaboration of the Halmos--von Neumann theorem, lifted from the domain of dynamical systems to that of stationary processes. The second is a Gelfand construction obtained by defining a suitable Banach algebra out of the putative eigenfunctions of the desired dynamics. △ Less

Submitted 15 November, 2011; originally announced November 2011.

Comments: 56 pages, 1 figure

MSC Class: 28D05; 47A35; 11K70

Cubature formulae for orthogonal polynomials in terms of elements of finite order of compact simple Lie groups

Authors: Jiri Patera, Robert V. Moody

Abstract: The paper contains a generalization of known properties of Chebyshev polynomials of the second kind in one variable to polynomials of $n$ variables based on the root lattices of compact simple Lie groups $G$ of any type and of rank $n$. The results, inspired by work of H. Li and Y. Xu where they derived cubature formulae from $A$-type lattices, yield Gaussian cubature formulae for each simple Lie… ▽ More The paper contains a generalization of known properties of Chebyshev polynomials of the second kind in one variable to polynomials of $n$ variables based on the root lattices of compact simple Lie groups $G$ of any type and of rank $n$. The results, inspired by work of H. Li and Y. Xu where they derived cubature formulae from $A$-type lattices, yield Gaussian cubature formulae for each simple Lie group $G$ based on interpolation points that arise from regular elements of finite order in $G$. The polynomials arise from the irreducible characters of $G$ and the interpolation points as common zeros of certain finite subsets of these characters. The consistent use of Lie theoretical methods reveals the central ideas clearly and allows for a simple uniform development of the subject. Furthermore it points to genuine and perhaps far reaching Lie theoretical connections. △ Less

Submitted 16 May, 2010; originally announced May 2010.

Comments: 24 pages, 4 figures

MSC Class: 42B99

Pure Point Dynamical and Diffraction Spectra

Authors: Jeong-Yup Lee, Robert V. Moody, Boris Solomyak

Abstract: We show that for multi-colored Delone point sets with finite local complexity and uniform cluster frequencies the notions of pure point diffraction and pure point dynamical spectrum are equivalent. We show that for multi-colored Delone point sets with finite local complexity and uniform cluster frequencies the notions of pure point diffraction and pure point dynamical spectrum are equivalent. △ Less

Submitted 26 October, 2009; originally announced October 2009.

Comments: 16 pages

MSC Class: 52C23; 37B50; 82D25

Journal ref: Ann. Henri Poincare 3 (2002), no. 5, 1003--1018

Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems

Authors: Jeong-Yup Lee, Robert V. Moody, Boris Solomyak

Abstract: There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings… ▽ More There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings, which are self-replicating under a primitive substitution system of affine mappings with a common expansive map $Q$. Our first result gives a partial answer to a question of Lagarias and Wang: we characterize repetitive substitution Delone multisets that can be represented by substitution tilings using a concept of "legal cluster". This allows us to move freely between both types of objects. Our main result is that for lattice substitution multiset systems (in arbitrary dimensions) being a regular model set is not only sufficient for having pure point spectrum--a known fact--but is also necessary. This completes a circle of equivalences relating pure point dynamical and diffraction spectra, modular coincidence, and model sets for lattice substitution systems begun by the first two authors of this paper. △ Less

Submitted 23 October, 2009; originally announced October 2009.

Comments: 36 pages

MSC Class: 52C23; 37B50

Journal ref: Discrete Comput. Geom. 29 (2003), no. 4, 525--560

Deforming Meyer sets

Authors: Jeong-Yup Lee, Robert V. Moody

Abstract: A linear deformation of a Meyer set $M$ in $\RR^d$ is the image of $M$ under a group homomorphism of the group $[M]$ generated by $M$ into $\RR^d$. We provide a necessary and sufficient condition for such a deformation to be a Meyer set. In the case that the deformation is a Meyer set and the deformation is injective, the deformation is pure point diffractive if the orginal set $M$ is pure point… ▽ More A linear deformation of a Meyer set $M$ in $\RR^d$ is the image of $M$ under a group homomorphism of the group $[M]$ generated by $M$ into $\RR^d$. We provide a necessary and sufficient condition for such a deformation to be a Meyer set. In the case that the deformation is a Meyer set and the deformation is injective, the deformation is pure point diffractive if the orginal set $M$ is pure point diffractive. △ Less

Submitted 23 October, 2009; originally announced October 2009.

Comments: 6 pages

MSC Class: 52C23;37B50

Journal ref: European J. Combin. 29 (2008), no. 8, 1919--1924

Weighted model sets and their higher point-correlations

Authors: Xinghua Deng, Robert V. Moody

Abstract: Examples of distinct weighted model sets with equal 2, 3, 4, 5-point correlations are given. Examples of distinct weighted model sets with equal 2, 3, 4, 5-point correlations are given. △ Less

Submitted 29 April, 2009; originally announced April 2009.

Comments: 10 pages

MSC Class: 78A02; 60G55

Extinctions and Correlations for Uniformly Discrete Point Processes with Pure Point Dynamical Spectra

Authors: Daniel Lenz, Robert V. Moody

Abstract: The paper investigates how correlations can completely specify a uniformly discrete point process. The setting is that of uniformly discrete point sets in real space for which the corresponding dynamical hull is ergodic. The first result is that all of the essential physical information in such a system is derivable from its $n$-point correlations, $n= 2, 3, >...$. If the system is pure point di… ▽ More The paper investigates how correlations can completely specify a uniformly discrete point process. The setting is that of uniformly discrete point sets in real space for which the corresponding dynamical hull is ergodic. The first result is that all of the essential physical information in such a system is derivable from its $n$-point correlations, $n= 2, 3, >...$. If the system is pure point diffractive an upper bound on the number of correlations required can be derived from the cycle structure of a graph formed from the dynamical and Bragg spectra. In particular, if the diffraction has no extinctions, then the 2 and 3 point correlations contain all the relevant information. △ Less

Submitted 3 February, 2009; originally announced February 2009.

Comments: 16 pages

How model sets can be determined by their two-point and three-point correlations

Authors: Xinghua Deng, Robert V. Moody

Abstract: We show that real model sets with real internal spaces are determined, up to translation and changes of density zero by their two- and three-point correlations. We also show that there exist pairs of real (even one dimensional) aperiodic model sets with internal spaces that are products of real spaces and finite cyclic groups whose two- and three-point correlations are identical but which are no… ▽ More We show that real model sets with real internal spaces are determined, up to translation and changes of density zero by their two- and three-point correlations. We also show that there exist pairs of real (even one dimensional) aperiodic model sets with internal spaces that are products of real spaces and finite cyclic groups whose two- and three-point correlations are identical but which are not related by either translation or inversion of their windows. All these examples are pure point diffractive. Placed in the context of ergodic uniformly discrete point processes, the result is that real point processes of model sets based on real internal windows are determined by their second and third moments. △ Less

Submitted 6 May, 2009; v1 submitted 27 January, 2009; originally announced January 2009.

Comments: 19 pages

MSC Class: 78A02; 60G55

Computing with almost periodic functions

Authors: R. V. Moody, M. Nesterenko, J. Patera

Abstract: The paper develops a method for discrete computational Fourier analysis of functions defined on quasicrystals and other almost periodic sets. A key point is to build the analysis around the emerging theory of quasicrystals and diffraction in the setting on local hulls and dynamical systems. Numerically computed approximations arising in this way are built out of the Fourier module of the quasicr… ▽ More The paper develops a method for discrete computational Fourier analysis of functions defined on quasicrystals and other almost periodic sets. A key point is to build the analysis around the emerging theory of quasicrystals and diffraction in the setting on local hulls and dynamical systems. Numerically computed approximations arising in this way are built out of the Fourier module of the quasicrystal in question, and approximate their target functions uniformly on the entire infinite space. The methods are entirely group theoretical, being based on finite groups and their duals, and they are practical and computable. Examples of functions based on the standard Fibonacci quasicrystal serve to illustrate the method (which is applicable to all quasicrystals modeled on the cut and project formalism). △ Less

Submitted 13 August, 2008; originally announced August 2008.

Comments: 23 pages, 17 figures, to appear in Acta Crystallographica A

Diffraction of stochastic point sets: Explicitly computable examples

Authors: Michael Baake, Matthias Birkner, Robert V. Moody

Abstract: Stochastic point processes relevant to the theory of long-range aperiodic order are considered that display diffraction spectra of mixed type, with special emphasis on explicitly computable cases together with a unified approach of reasonable generality. The latter is based on the classical theory of point processes and the Palm distribution. Several pairs of autocorrelation and diffraction meas… ▽ More Stochastic point processes relevant to the theory of long-range aperiodic order are considered that display diffraction spectra of mixed type, with special emphasis on explicitly computable cases together with a unified approach of reasonable generality. The latter is based on the classical theory of point processes and the Palm distribution. Several pairs of autocorrelation and diffraction measures are discussed which show a duality structure analogous to that of the Poisson summation formula for lattice Dirac combs. △ Less

Submitted 10 November, 2009; v1 submitted 8 March, 2008; originally announced March 2008.

Comments: 50 pages, 1 figure; revised and expanded version

MSC Class: 60D05; 60G55; 52C25; 82B44

Journal ref: Commun. Math. Phys. 293 (2010) 611-660

Dworkin's argument revisited: point processes, dynamics, diffraction, and correlations

Authors: Xinghua Deng, Robert V. Moody

Abstract: The paper studies the relationship between diffraction and dynamics for uniformly discrete ergodic point processes in real spaces. This relationship takes the form of an isometric embedding of two L^2 spaces. Diffraction (or equivalently the 2-point correlations) usually cannot determine the dynamics entirely, but we prove that knowledge of all the higher correlations (2-point, 3-point, ...) doe… ▽ More The paper studies the relationship between diffraction and dynamics for uniformly discrete ergodic point processes in real spaces. This relationship takes the form of an isometric embedding of two L^2 spaces. Diffraction (or equivalently the 2-point correlations) usually cannot determine the dynamics entirely, but we prove that knowledge of all the higher correlations (2-point, 3-point, ...) does. A square-mean form of the Bombieri-Taylor conjecture is proved. A quantitative relation between autocorrelation, diffraction, and epsilon dual characters is derived. Most results of the paper are proved in the setting of multi-colour points and assignable scattering strengths. △ Less

Submitted 19 December, 2007; originally announced December 2007.

Comments: 49 pages

MSC Class: 37A50; 37A60; 60G55

Similar sublattices of the root lattice $A_4$

Authors: Michael Baake, Manuela Heuer, Robert V. Moody

Abstract: Similar sublattices of the root lattice $A_4$ are possible, according to a result of Conway, Rains and Sloane, for each index that is the square of a non-zero integer of the form $m^2 + mn - n^2$. Here, we add a constructive approach, based on the arithmetic of the quaternion algebra $\mathbb{H} (\mathbb{Q} (\sqrt{5}))$ and the existence of a particular involution of the second kind, which also… ▽ More Similar sublattices of the root lattice $A_4$ are possible, according to a result of Conway, Rains and Sloane, for each index that is the square of a non-zero integer of the form $m^2 + mn - n^2$. Here, we add a constructive approach, based on the arithmetic of the quaternion algebra $\mathbb{H} (\mathbb{Q} (\sqrt{5}))$ and the existence of a particular involution of the second kind, which also provides the actual sublattices and the number of different solutions for a given index. The corresponding Dirichlet series generating function is closely related to the zeta function of the icosian ring. △ Less

Submitted 5 June, 2008; v1 submitted 15 February, 2007; originally announced February 2007.

Comments: 17 pages, 1 figure; revised version with several additions and improvements

MSC Class: 52C07; 11R52; 05A15

Journal ref: J. Algebra 320 (2008) 1391-1408

Orthogonality within the Families of C-, S-, and E-Functions of Any Compact Semisimple Lie Group

Authors: Robert V. Moody, Jiri Patera

Abstract: The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group $G$. Such functions can always be restricted without loss of information to a fundamental region $\check F$ of the affine Weyl group. The members of each family satisfy basic orthogo… ▽ More The paper is about methods of discrete Fourier analysis in the context of Weyl group symmetry. Three families of class functions are defined on the maximal torus of each compact simply connected semisimple Lie group $G$. Such functions can always be restricted without loss of information to a fundamental region $\check F$ of the affine Weyl group. The members of each family satisfy basic orthogonality relations when integrated over $\check F$ (continuous orthogonality). It is demonstrated that the functions also satisfy discrete orthogonality relations when summed up over a finite grid in $\check F$ (discrete orthogonality), arising as the set of points in $\check F$ representing the conjugacy classes of elements of a finite Abelian subgroup of the maximal torus $\mathbb T$. The characters of the centre $Z$ of the Lie group allow one to split functions $f$ on $\check F$ into a sum $f=f_1+...+f_c$, where $c$ is the order of $Z$, and where the component functions $f_k$ decompose into the series of $C$-, or $S$-, or $E$-functions from one congruence class only. △ Less

Submitted 8 November, 2006; originally announced November 2006.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 2 (2006), 076, 14 pages

Characterizations of model sets by dynamical systems

Authors: Michael Baake, Daniel Lenz, Robert V. Moody

Abstract: It is shown how regular model sets can be characterized in terms of regularity properties of their associated dynamical systems. The proof proceeds in two steps. First, we characterize regular model sets in terms of a certain map $β$ and then relate the properties of $β$ to ones of the underlying dynamical system. As a by-product, we can show that regular model sets are, in a suitable sense, as… ▽ More It is shown how regular model sets can be characterized in terms of regularity properties of their associated dynamical systems. The proof proceeds in two steps. First, we characterize regular model sets in terms of a certain map $β$ and then relate the properties of $β$ to ones of the underlying dynamical system. As a by-product, we can show that regular model sets are, in a suitable sense, as close to periodic sets as possible among repetitive aperiodic sets. △ Less

Submitted 15 February, 2007; v1 submitted 26 November, 2005; originally announced November 2005.

Comments: 41 pages, revised version

Report number: CRC 701 preprint 05-019 MSC Class: 52C23; 37B50; 37A05; 43A25

Journal ref: Ergodic Th. Dynam. Syst. 27 (2007) 341--382

A Characterization of Model Multi-colour Sets

Authors: Jeong-Yup Lee, Robert V. Moody

Abstract: Model sets are always Meyer sets, but not vice-versa. This article is about characterizing model sets (general and regular) amongst the Meyer sets in terms of two associated dynamical systems. These two dynamical systems describe two very different topologies on point sets, one local and one global. In model sets these two are strongly interconnected and this connection is essentially definitive… ▽ More Model sets are always Meyer sets, but not vice-versa. This article is about characterizing model sets (general and regular) amongst the Meyer sets in terms of two associated dynamical systems. These two dynamical systems describe two very different topologies on point sets, one local and one global. In model sets these two are strongly interconnected and this connection is essentially definitive. The paper is set in the context of multi-colour sets, that is to say, point sets in which points come in a finite number of colours, that are loosely coupled together by finite local complexity. △ Less

Submitted 20 October, 2005; originally announced October 2005.

Comments: 23pages; to appear in Annales Henri Poincare

MSC Class: 52C23;37B50

Journal ref: Ann. Henri Poincare 7 (2006), no. 1, 125--143

Which distributions of matter diffract? - Some answers

Authors: M. Baake, R. V. Moody, C. Richard, B. Sing

Abstract: This review revolves around the question which general distribution of scatterers (in a Euclidean space) results in a pure point diffraction spectrum. Firstly, we treat mathematical diffration theory and state conditions under which such a distribution has pure point diffraction. We explain how a cut and project scheme naturally appears in this context and then turn our attention to the special… ▽ More This review revolves around the question which general distribution of scatterers (in a Euclidean space) results in a pure point diffraction spectrum. Firstly, we treat mathematical diffration theory and state conditions under which such a distribution has pure point diffraction. We explain how a cut and project scheme naturally appears in this context and then turn our attention to the special situation of model sets and lattice substitution systems. As an example, we analyse the paperfolding sequence. In the last part, we summarize some aspects of stochastic point sets, with focus both on structure and diffraction. △ Less

Submitted 15 January, 2003; originally announced January 2003.

Comments: 20 pages, 3 figures

Report number: ESI-Preprint No. 1260 MSC Class: 43A25; 52C23; 82B20; 78A45

Journal ref: in: H.-R. Trebin (ed.), Quasicrystals: Structure and Physical Properties, Wiley-VCH, Berlin (2003), pp. 188-207.

What is Aperiodic Order?

Authors: Michael Baake, Uwe Grimm, Robert V. Moody

Abstract: The theory of aperiodic order is concerned with the development of ideas stimulated by the discovery of quasicrystals. We give a gentle introduction to some mathematical aspects of aperiodic order, aimed at a more general audience. The theory of aperiodic order is concerned with the development of ideas stimulated by the discovery of quasicrystals. We give a gentle introduction to some mathematical aspects of aperiodic order, aimed at a more general audience. △ Less

Submitted 24 March, 2002; originally announced March 2002.

Comments: 27 pages, many colour pictures

Journal ref: Based on this manuscript, an article entitled "Die verborgene Ordnung der Quasikristalle" (in German) was published in: Spektrum der Wissenschaft (February 2002) 64-74

Weighted Dirac combs with pure point diffraction

Authors: Michael Baake, Robert V. Moody

Abstract: A class of translation bounded complex measures, which have the form of weighted Dirac combs, on locally compact Abelian groups is investigated. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges as the Fourier transform of the autocorrelation measure. We present a sufficient set of conditions to ensure that the diffraction measure is a pure point measure. Simul… ▽ More A class of translation bounded complex measures, which have the form of weighted Dirac combs, on locally compact Abelian groups is investigated. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges as the Fourier transform of the autocorrelation measure. We present a sufficient set of conditions to ensure that the diffraction measure is a pure point measure. Simultaneously, we establish a natural link to the theory of the cut and project formalism and to the theory of almost periodic measures. Our conditions are general enough to cover the known theory of model sets, but also to include examples such as the visible lattice points. △ Less

Submitted 7 April, 2004; v1 submitted 4 March, 2002; originally announced March 2002.

Comments: 44 pages; several corrections and improvements

MSC Class: 43A25; 52C23; 37A45

Journal ref: J. Reine und Angew. Math. (Crelle) 573 (2004) 61 - 94

Self-Similar Measures for Quasicrystals

Authors: Michael Baake, Robert V. Moody

Abstract: We study self-similar measures of Hutchinson type, defined by compact families of contractions, both in a single and multi-component setting. The results are applied in the context of general model sets to infer, via a generalized version of Weyl's Theorem on uniform distribution, the existence of invariant measures for families of self-similarities of regular model sets. We study self-similar measures of Hutchinson type, defined by compact families of contractions, both in a single and multi-component setting. The results are applied in the context of general model sets to infer, via a generalized version of Weyl's Theorem on uniform distribution, the existence of invariant measures for families of self-similarities of regular model sets. △ Less

Submitted 8 August, 2000; originally announced August 2000.

Comments: 42 pages, several figures

Journal ref: Directions in Mathematical Quasicrystals (eds. M. Baake and R.V. Moody), CRM Monograph Series, vol. 13, AMS, Providence, RI (2000), pp. 1-42

Model sets: a survey

Authors: Robert V. Moody

Abstract: This article surveys the mathematics of the cut and project method as applied to point sets, called here {\em model sets}. It covers the geometric, arithmetic, and analytical sides of this theory as well as diffraction and the connection with dynamical systems. This article surveys the mathematics of the cut and project method as applied to point sets, called here {\em model sets}. It covers the geometric, arithmetic, and analytical sides of this theory as well as diffraction and the connection with dynamical systems. △ Less

Submitted 2 February, 2000; originally announced February 2000.

Comments: 28 pages, 1 figure

MSC Class: 51F99

Lattice Substitution Systems and Model Sets

Authors: Jeong-Yup Lee, Robert V. Moody

Abstract: The paper studies ways in which the sets of a partition of a lattice in $\RR^n$ become regular model sets. The main theorem gives equivalent conditions which assure that a matrix substitution system on a lattice in $\RR^n$ gives rise to regular model sets (based on $p$-adic-like internal spaces), and hence to pure point diffractive sets. The methods developed here are used to show that the $n-$d… ▽ More The paper studies ways in which the sets of a partition of a lattice in $\RR^n$ become regular model sets. The main theorem gives equivalent conditions which assure that a matrix substitution system on a lattice in $\RR^n$ gives rise to regular model sets (based on $p$-adic-like internal spaces), and hence to pure point diffractive sets. The methods developed here are used to show that the $n-$dimensional chair tiling and the sphinx tiling are pure point diffractive. △ Less

Submitted 2 February, 2000; originally announced February 2000.

Comments: 29 pages, 7 figures

MSC Class: 51F99

Diffraction from visible lattice points and k-th power free integers

Authors: Michael Baake, Robert V. Moody, Peter A. B. Pleasants

Abstract: We prove that the set of visible points of any lattice of dimension at least 2 has pure point diffraction spectrum, and we determine the diffraction spectrum explicitly. This settles previous speculation on the exact nature of the diffraction in this situation, see math-ph/9903046 and references therein. Using similar methods we show the same result for the 1-dimensional set of k-th power free i… ▽ More We prove that the set of visible points of any lattice of dimension at least 2 has pure point diffraction spectrum, and we determine the diffraction spectrum explicitly. This settles previous speculation on the exact nature of the diffraction in this situation, see math-ph/9903046 and references therein. Using similar methods we show the same result for the 1-dimensional set of k-th power free integers with k at least 2. Of special interest is the fact that neither of these sets is a Delone set --- each has holes of unbounded inradius. We provide a careful formulation of the mathematical ideas underlying the study of diffraction from infinite point sets. △ Less

Submitted 14 January, 2000; v1 submitted 19 June, 1999; originally announced June 1999.

Comments: 45 pages, with minor corrections and improvements; dedicated to Ludwig Danzer on the occasion of his 70th birthday

Journal ref: Discr. Math. 221 (2000) 3-42

Similarity submodules and root systems in four dimensions

Authors: Michael Baake, Robert V. Moody

Abstract: Lattices and Z-modules in Euclidean space possess an infinitude of subsets that are images of the original set under similarity transformation. We classify such self-similar images according to their indices for certain 4D examples that are related to 4D root systems, both crystallographic and non-crystallographic. We encapsulate their statistics in terms of Dirichlet series generating functions… ▽ More Lattices and Z-modules in Euclidean space possess an infinitude of subsets that are images of the original set under similarity transformation. We classify such self-similar images according to their indices for certain 4D examples that are related to 4D root systems, both crystallographic and non-crystallographic. We encapsulate their statistics in terms of Dirichlet series generating functions and derive some of their asymptotic properties. △ Less

Submitted 7 April, 1999; originally announced April 1999.

Comments: 24 pages; written for a special issue of Can. J. Math. in honour of H.S.M. Coxeter

Journal ref: Can. J. Math. 51 (1999) 1258-1276

Limit-(quasi)periodic point sets as quasicrystals with p-adic internal spaces

Authors: Michael Baake, Robert V. Moody, Martin Schlottmann

Abstract: Model sets (or cut and project sets) provide a familiar and commonly used method of constructing and studying nonperiodic point sets. Here we extend this method to situations where the internal spaces are no longer Euclidean, but instead spaces with p-adic topologies or even with mixed Euclidean/p-adic topologies. We show that a number of well known tilings precisely fit this form, including t… ▽ More Model sets (or cut and project sets) provide a familiar and commonly used method of constructing and studying nonperiodic point sets. Here we extend this method to situations where the internal spaces are no longer Euclidean, but instead spaces with p-adic topologies or even with mixed Euclidean/p-adic topologies. We show that a number of well known tilings precisely fit this form, including the chair tiling and the Robinson square tilings. Thus the scope of the cut and project formalism is considerably larger than is usually supposed. Applying the powerful consequences of model sets we derive the diffractive nature of these tilings. △ Less

Submitted 17 January, 1999; originally announced January 1999.

Comments: 11 pages, 2 figures; dedicated to Peter Kramer on the occasion of his 65th birthday

Journal ref: J. Phys. A: Math. Gen. 31 (1998) 5755-5765

Invariant Submodules and Semigroups of Self-Similarities for Fibonacci Modules

Authors: Michael Baake, Robert V. Moody

Abstract: The problem of invariance and self-similarity in Z-modules is investigated. For a selection of examples relevant to quasicrystals, especially Fibonacci modules, we determine the semigroup of self-similarities and encapsulate the number of similarity submodules in terms of Dirichlet series generating functions. The problem of invariance and self-similarity in Z-modules is investigated. For a selection of examples relevant to quasicrystals, especially Fibonacci modules, we determine the semigroup of self-similarities and encapsulate the number of similarity submodules in terms of Dirichlet series generating functions. △ Less

Submitted 4 September, 1998; originally announced September 1998.

Comments: 7 pages; to appear in: Aperiodic 97, eds. M. de Boissieu, J. L. Verger-Gaugry and R. Currat, World Scientific, Singapore (1998), in press

Journal ref: Aperiodic 97, eds. M. de Boissieu et al., World Scientific, Singapore (1998), pp. 21-27.

Self-Similarities and Invariant Densities for Model Sets

Authors: Michael Baake, Robert V. Moody

Abstract: Model sets (also called cut and project sets) are generalizations of lattices. Here we show how the self-similarities of model sets are a natural replacement for the group of translations of a lattice. This leads us to the concept of averaging operators and invariant densities on model sets. We prove that invariant densities exist and that they produce absolutely continuous invariant measures in… ▽ More Model sets (also called cut and project sets) are generalizations of lattices. Here we show how the self-similarities of model sets are a natural replacement for the group of translations of a lattice. This leads us to the concept of averaging operators and invariant densities on model sets. We prove that invariant densities exist and that they produce absolutely continuous invariant measures in internal space. We study the invariant densities and their relationships to diffraction, continuous refinement operators, and Hutchinson measures. △ Less

Submitted 3 September, 1998; originally announced September 1998.

Comments: 15 pages, 2 figures, to appear in: Algebraic Methods and Theoretical Physics (ed. Y. St. Aubin)

Journal ref: Algebraic Methods in Physics (eds. Y. Saint-Aubin and L. Vinet), Springer, New York (2001), pp. 1-15

Multi-Component Model Sets and Invariant Densities

Authors: Michael Baake, Robert V. Moody

Abstract: Model sets (also called cut and project sets) are generalizations of lattices, and multi-component model sets are generalizations of lattices with colourings. In this paper, we study self-similarities of multi-component model sets. The main point may be simply summarized: whenever there is a self-similarity, there are also naturally related density functions. As in the case of ordinary model set… ▽ More Model sets (also called cut and project sets) are generalizations of lattices, and multi-component model sets are generalizations of lattices with colourings. In this paper, we study self-similarities of multi-component model sets. The main point may be simply summarized: whenever there is a self-similarity, there are also naturally related density functions. As in the case of ordinary model sets, we show that invariant densities exist and that they produce absolutely continuous invariant measures in internal space, these features now appearing in matrix form. We establish a close connection between the theory of invariant densities and the spectral theory of matrix continuous refinement operators. △ Less

Submitted 3 September, 1998; originally announced September 1998.

Comments: 12 pages, 2 figures, to appear in: Aperiodic 97

Journal ref: Aperiodic 97, eds. M. de Boissieu et al., World Scientific, Singapore (1998), pp. 9-20.

Diffractive point sets with entropy

Authors: M. Baake, R. V. Moody

Abstract: After a brief historical survey, the paper introduces the notion of entropic model sets (cut and project sets), and, more generally, the notion of diffractive point sets with entropy. Such sets may be thought of as generalizations of lattice gases. We show that taking the site occupation of a model set stochastically results, with probabilistic certainty, in well-defined diffractive properties a… ▽ More After a brief historical survey, the paper introduces the notion of entropic model sets (cut and project sets), and, more generally, the notion of diffractive point sets with entropy. Such sets may be thought of as generalizations of lattice gases. We show that taking the site occupation of a model set stochastically results, with probabilistic certainty, in well-defined diffractive properties augmented by a constant diffuse background. We discuss both the case of independent, but identically distributed (i.i.d.) random variables and that of independent, but different (i.e., site dependent) random variables. Several examples are shown. △ Less

Submitted 7 January, 1999; v1 submitted 1 September, 1998; originally announced September 1998.

Comments: 25 pages; dedicated to Hans-Ude Nissen on the occasion of his 65th birthday; final version, some minor additions

Journal ref: J. Phys. A 31: Math. Gen. (1998) 9023 - 9039