Showing 1–50 of 53 results for author: Kellendonk, J

On non-tameness of the Ellis semigroup

Authors: Johannes Kellendonk

Abstract: The Ellis semigroup of a dynamical system $(X,T)$ is tame if every element is the limit of a sequence (as opposed to a net) of homeomorphisms coming from the $T$ action. This topological property is related to the cardinality of the semigroup. Non-tame Ellis semigroups have a cardinality which is that of the power set of the continuum $2^{\mathfrak c}$.The semigroup admits a minimal bilateral idea… ▽ More The Ellis semigroup of a dynamical system $(X,T)$ is tame if every element is the limit of a sequence (as opposed to a net) of homeomorphisms coming from the $T$ action. This topological property is related to the cardinality of the semigroup. Non-tame Ellis semigroups have a cardinality which is that of the power set of the continuum $2^{\mathfrak c}$.The semigroup admits a minimal bilateral ideal and this ideal is a union of isomorphic copies of a group $\mathcal H$, the so-called structure group of $(X,T)$. For almost automorphic systems the cardinality of $\mathcal H$ is at most $\mathfrak c$, that of the continuum. We show a partial converse for minimal $(X,T)$ with abelian $T$, namely that the cardinality of the structure group is $2^{\mathfrak c}$ if the proximal relation is not transitive and the subgroup generated by differences of singular points in the maximal equicontinuous factor is not open.This refines the above statement about non-tame Ellis semigroups, as it locates a particular algebraic component of the latter which has such a large cardinality. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Almost automorphic and bijective factors of substitution shifts

Authors: Alvaro Bustos-Gajardo, Johannes Kellendonk, Reem Yassawi

Abstract: In this article we completely characterise constant length substitution shifts which have an almost automorphic factor, or which have a bijective substitution factor. Our approach is algebraic: we study these dynamical properties in terms of a finite semigroup defined by the substitution. We characterise the existence of almost automorphic factors in terms of Green's R-relation, and the existence… ▽ More In this article we completely characterise constant length substitution shifts which have an almost automorphic factor, or which have a bijective substitution factor. Our approach is algebraic: we study these dynamical properties in terms of a finite semigroup defined by the substitution. We characterise the existence of almost automorphic factors in terms of Green's R-relation, and the existence of bijective factors in terms of Green's L-relation. Our results are constructive. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 36 pages

MSC Class: 37B02; 37B10; 37B52; 20M10; 20M35

Bragg spectrum, K-theory and Gap Labelling of aperiodic solids

Authors: Johannes Kellendonk

Abstract: The diffraction spectrum of an aperiodic solid is related to the group of eigenvalues of the dynamical system associated with the solid. Those eigenvalues with continuous eigenfunctions constitute the topological Bragg spectrum. We relate the topological Bragg spectrum to the topological invariants (Chern numbers) of the solid and to the gap-labelling group, which is the group of possible gap labe… ▽ More The diffraction spectrum of an aperiodic solid is related to the group of eigenvalues of the dynamical system associated with the solid. Those eigenvalues with continuous eigenfunctions constitute the topological Bragg spectrum. We relate the topological Bragg spectrum to the topological invariants (Chern numbers) of the solid and to the gap-labelling group, which is the group of possible gap labels for the spectrum of a Schrödinger operator describing the electronic motion in the solid. △ Less

Submitted 28 October, 2022; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: This version is largely expanded. It goes beyond the gap-labelling including a map to higher dimensional Chern numbers of the solid

MSC Class: 46L80; 52C23

Tame or wild Toeplitz shifts

Authors: Gabriel Fuhrmann, Johannes Kellendonk, Reem Yassawi

Abstract: We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular fibres over the maximal equicontinuous factor. The ideas are illustrated using the class of substitution subshifts. A body of elaborate examples shows that the assu… ▽ More We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular fibres over the maximal equicontinuous factor. The ideas are illustrated using the class of substitution subshifts. A body of elaborate examples shows that the assumptions of our results cannot be relaxed. △ Less

Submitted 12 November, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 30 pages, 3 figures. Minor revisions of the first version

MSC Class: 37B10; 54H15; 20M20

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 1379-1417

Complete regularity of Ellis semigroups of $\mathbb Z$-actions

Authors: Marcy Barge, Johannes Kellendonk

Abstract: It is shown that the Ellis semigroup of a $\mathbb Z$-action on a compact totally disconnected space is completely regular if and only if forward proximality coincides with forward asymptoticity and backward proximality coincides with backward asymptoticity. Furthermore, the Ellis semigroup of a $\mathbb Z$- or $\mathbb R$-action for which forward proximality and backward proximality are transitiv… ▽ More It is shown that the Ellis semigroup of a $\mathbb Z$-action on a compact totally disconnected space is completely regular if and only if forward proximality coincides with forward asymptoticity and backward proximality coincides with backward asymptoticity. Furthermore, the Ellis semigroup of a $\mathbb Z$- or $\mathbb R$-action for which forward proximality and backward proximality are transitive relations is shown to have at most two left minimal ideals. Finally, the notion of near simplicity of the Ellis semigroup is introduced and related to the above. △ Less

Submitted 13 November, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: Some statements added, some results simplified

MSC Class: 54H20; 37B10; 20M17

Journal ref: BARGE, M., & KELLENDONK, J. (2020). Complete regularity of Ellis semigroups of Z-actions. Ergodic Theory and Dynamical Systems, 1-17

The Cayley transform in complex, real and graded $K$-theory

Authors: Chris Bourne, Johannes Kellendonk, Adam Rennie

Abstract: We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geomet… ▽ More We use the Cayley transform to provide an explicit isomorphism at the level of cycles from van Daele $K$-theory to $KK$-theory for graded $C^*$-algebras with a real structure. Isomorphisms between $KK$-theory and complex or real $K$-theory for ungraded $C^*$-algebras are a special case of this map. In all cases our map is compatible with the computational techniques required in physical and geometrical applications, in particular index pairings and Kasparov products. We provide applications to real $K$-theory and topological phases of matter. △ Less

Submitted 21 May, 2020; v1 submitted 15 December, 2019; originally announced December 2019.

Comments: v2: 43 pages, minor revisions. To appear in Internat. J. Math

Report number: RIKEN-iTHEMS-Report-19

The Ellis semigroup of bijective substitutions

Authors: Johannes Kellendonk, Reem Yassawi

Abstract: For topological dynamical systems $(X,T,σ)$ with abelian group $T$ which admit an equicontinuous factor $π:(X,T,σ)\to (Y,T,δ)$ the Ellis semigroup $E(X)$ is an extension of $Y$ by its subsemigroup $E^{fib}(X)$ of elements which preserve the fibres of $π$. We establish methods to compute $E^{fib}(X)$ and use them to determine the Ellis semigroup of dynamical systems arising from primitive aperiodic… ▽ More For topological dynamical systems $(X,T,σ)$ with abelian group $T$ which admit an equicontinuous factor $π:(X,T,σ)\to (Y,T,δ)$ the Ellis semigroup $E(X)$ is an extension of $Y$ by its subsemigroup $E^{fib}(X)$ of elements which preserve the fibres of $π$. We establish methods to compute $E^{fib}(X)$ and use them to determine the Ellis semigroup of dynamical systems arising from primitive aperiodic bijective substitutions. As an application we show that for these substitution shifts, the virtual automorphism group is isomorphic to the classical automorphism group. △ Less

Submitted 27 November, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: In this version we improve substantially the description of the full Ellis semigroup $E(X)$. For primitive aperiodic bijective substitutions whose classical height coincides with its generalised height we show that $E(X)$ isomorphic to a semi-direct product of $E^{fib}(X)$ by $Y$

MSC Class: 37B15; 54H20; 20M10

Bulk-boundary correspondance for Sturmian Kohmoto like models

Authors: Johannes Kellendonk, Emil Prodan

Abstract: We consider one dimensional tight binding models on $\ell^2(\mathbb Z)$ whose spatial structure is encoded by a Sturmian sequence $(ξ_n)_n\in \{a,b\}^\mathbb Z$. An example is the Kohmoto Hamiltonian, which is given by the discrete Laplacian plus an onsite potential $v_n$ taking value $0$ or $1$ according to whether $ξ_n$ is $a$ or $b$. The only non-trivial topological invariants of such a model a… ▽ More We consider one dimensional tight binding models on $\ell^2(\mathbb Z)$ whose spatial structure is encoded by a Sturmian sequence $(ξ_n)_n\in \{a,b\}^\mathbb Z$. An example is the Kohmoto Hamiltonian, which is given by the discrete Laplacian plus an onsite potential $v_n$ taking value $0$ or $1$ according to whether $ξ_n$ is $a$ or $b$. The only non-trivial topological invariants of such a model are its gap-labels. The bulk-boundary correspondence we establish here states that there is a correspondence between the gap label and a winding number associated to the edge states, which arises if the system is augmented and compressed onto half space $\ell^2(\mathbb N)$. This has been experimentally observed with polaritonic waveguides. A correct theoretical explanation requires, however, first a smoothing out of the atomic motion via phason flips. With such an interpretation at hand, the winding number corresponds to the mechanical work through a cycle which the atomic motion exhibits on the edge states. △ Less

Submitted 20 October, 2017; originally announced October 2017.

Comments: 37 pages, 7 figures

MSC Class: 81-XX

Journal ref: Annals of Henri Poincare 20, 2039-2070 (2019)

Cyclic cohomology for graded $C^{*,r}$-algebras and its pairings with van Daele $K$-theory

Authors: Johannes Kellendonk

Abstract: We consider cycles for graded $C^{*,r}$-algebras (Real $C^{*}$-algebras) which are compatible with the $*$-structure and the real structure. Their characters are cyclic cocycles. We define a Connes type pairing between such characters and elements of the van Daele $K$-groups of the $C^{*,r}$-algebra and its real subalgebra. This pairing vanishes on elements of finite order. We define a second type… ▽ More We consider cycles for graded $C^{*,r}$-algebras (Real $C^{*}$-algebras) which are compatible with the $*$-structure and the real structure. Their characters are cyclic cocycles. We define a Connes type pairing between such characters and elements of the van Daele $K$-groups of the $C^{*,r}$-algebra and its real subalgebra. This pairing vanishes on elements of finite order. We define a second type of pairing between characters and $K$-group elements which is derived from a unital inclusion of $C^{*}$-algebras. It is potentially non-trivial on elements of order two and torsion valued. Such torsion valued pairings yield topological invariants for insulators. The two-dimensional Kane-Mele and the three-dimensional Fu-Kane-Mele strong invariant are special cases of torsion valued pairings. We compute the pairings for a simple class of periodic models and establish structural results for two dimensional aperiodic models with odd time reversal invariance. △ Less

Submitted 12 February, 2019; v1 submitted 28 July, 2016; originally announced July 2016.

Comments: 57 pages

MSC Class: 46L80

The $K$-theoretic bulk-edge correspondence for topological insulators

Authors: Chris Bourne, Johannes Kellendonk, Adam Rennie

Abstract: We study the application of Kasparov theory to topological insulator systems and the bulk-edge correspondence. We consider observable algebras as modelled by crossed products, where bulk and edge systems may be linked by a short exact sequence. We construct unbounded Kasparov modules encoding the dynamics of the crossed product. We then link bulk and edge Kasparov modules using the Kasparov produc… ▽ More We study the application of Kasparov theory to topological insulator systems and the bulk-edge correspondence. We consider observable algebras as modelled by crossed products, where bulk and edge systems may be linked by a short exact sequence. We construct unbounded Kasparov modules encoding the dynamics of the crossed product. We then link bulk and edge Kasparov modules using the Kasparov product. Because of the anti-linear symmetries that occur in topological insulator models, real $C^*$-algebras and $KKO$-theory must be used. △ Less

Submitted 15 December, 2016; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: Minor corrections, to appear in Annales Henri Poincaré

On the C*-algebraic approach to topological phases for insulators

Authors: Johannes Kellendonk

Abstract: The notion of a topological phase of an insulator is based on the concept of homotopy between Hamiltonians. It therefore depends on the choice of a topological space to which the Hamiltonians belong. We advocate that this space should be the $C^*$-algebra of observables. We relate the symmetries of insulators to graded real structures on the observable algebra and classify the topological phases u… ▽ More The notion of a topological phase of an insulator is based on the concept of homotopy between Hamiltonians. It therefore depends on the choice of a topological space to which the Hamiltonians belong. We advocate that this space should be the $C^*$-algebra of observables. We relate the symmetries of insulators to graded real structures on the observable algebra and classify the topological phases using van Daele's formulation of $K$-theory. This is related but not identical to Thiang's recent approach to classify topological phases by $K$-groups in Karoubi's formulation. △ Less

Submitted 17 February, 2017; v1 submitted 21 September, 2015; originally announced September 2015.

Comments: Version 2 accidentally merged with version 1. Major generalisation of discussion of real structures. Version 4: Revision and errors corrected

MSC Class: 19K99

On the noncommutative geometry of tilings

Authors: Antoine Julien, Johannes Kellendonk, Jean Savinien

Abstract: This is a chapter in an incoming book on aperiodic order. We review results about the topology, the dynamics, and the combinatorics of aperiodically ordered tilings obtained with the tools of noncommutative geometry. This is a chapter in an incoming book on aperiodic order. We review results about the topology, the dynamics, and the combinatorics of aperiodically ordered tilings obtained with the tools of noncommutative geometry. △ Less

Submitted 17 December, 2014; originally announced December 2014.

Equicontinuous factors, proximality and Ellis semigroup for Delone sets

Authors: Jean-baptiste Aujogue, Marcy Barge, Johannes Kellendonk, Daniel Lenz

Abstract: We discuss the application of various concepts from the theory of topological dynamical systems to Delone sets and tilings. We consider in particular, the maximal equicontinuous factor of a Delone dynamical system, the proximality relation and the envelo** semigroup of such systems. We discuss the application of various concepts from the theory of topological dynamical systems to Delone sets and tilings. We consider in particular, the maximal equicontinuous factor of a Delone dynamical system, the proximality relation and the envelo** semigroup of such systems. △ Less

Submitted 7 July, 2014; originally announced July 2014.

Comments: 65 pages

MSC Class: 37B50; 52C22

Conjugacies of model sets

Authors: Johannes Kellendonk, Lorenzo Sadun

Abstract: Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity (FLC) that is topologically conjugate to $M$ is mutually locally derivable (MLD) to a model set $M'$ that has the same internal group and window as $M$, but has… ▽ More Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity (FLC) that is topologically conjugate to $M$ is mutually locally derivable (MLD) to a model set $M'$ that has the same internal group and window as $M$, but has a different projection from $H \times R^d$ to $R^d$. In cohomological terms, this means that the group $H^1_{an}(M,R)$ of asymptotically negligible classes has dimension $n$. We also exhibit a counterexample when the second hypothesis is removed, constructing two topologically conjugate FLC Delone sets, one a model set and the other not even a Meyer set. △ Less

Submitted 6 July, 2018; v1 submitted 15 June, 2014; originally announced June 2014.

Comments: Updated to the published version

MSC Class: 37B50

Journal ref: Discrete and Continuous Dynamical Systems 37 (2017) 3805-3830

Topological Bragg Peaks And How They Characterise Point Sets

Authors: Johannes Kellendonk

Abstract: Bragg peaks in point set diffraction show up as eigenvalues of a dynamical system. Topological Bragg peaks arrise from topological eigenvalues and determine the torus parametrisation of the point set. We will discuss how qualitative properties of the torus parametrisation characterise the point set. Bragg peaks in point set diffraction show up as eigenvalues of a dynamical system. Topological Bragg peaks arrise from topological eigenvalues and determine the torus parametrisation of the point set. We will discuss how qualitative properties of the torus parametrisation characterise the point set. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: Article for the Proceedings of the ICQ12

Meyer sets, topological eigenvalues, and Cantor fiber bundles

Authors: Johannes Kellendonk, Lorenzo Sadun

Abstract: We introduce two new characterizations of Meyer sets. A repetitive Delone set in $\R^d$ with finite local complexity is topologically conjugate to a Meyer set if and only if it has $d$ linearly independent topological eigenvalues, which is if and only if it is topologically conjugate to a bundle over a $d$-torus with totally disconnected compact fiber and expansive canonical action. "Conjugate to"… ▽ More We introduce two new characterizations of Meyer sets. A repetitive Delone set in $\R^d$ with finite local complexity is topologically conjugate to a Meyer set if and only if it has $d$ linearly independent topological eigenvalues, which is if and only if it is topologically conjugate to a bundle over a $d$-torus with totally disconnected compact fiber and expansive canonical action. "Conjugate to" is a non-trivial condition, as we show that there exist sets that are topologically conjugate to Meyer sets but are not themselves Meyer. We also exhibit a diffractive set that is not Meyer, answering in the negative a question posed by Lagarias, and exhibit a Meyer set for which the measurable and topological eigenvalues are different. △ Less

Submitted 29 July, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: minor errors corrected, references added. To appear in the Journal of the LMS

MSC Class: 37B50

Spectral triples from stationary Bratteli diagrams

Authors: Johannes Kellendonk, Jean Savinien

Abstract: We construct spectral triples for path spaces of stationary Bratteli diagrams and study their associated mathematical objects, in particular their zeta function, their heat kernel expansion and their Dirichlet forms. One of the main difficulties to properly define a Dirichlet form concerns its domain. We address this question in particular in the context of Pisot substitution tiling spaces for whi… ▽ More We construct spectral triples for path spaces of stationary Bratteli diagrams and study their associated mathematical objects, in particular their zeta function, their heat kernel expansion and their Dirichlet forms. One of the main difficulties to properly define a Dirichlet form concerns its domain. We address this question in particular in the context of Pisot substitution tiling spaces for which we find two types of Dirichlet forms: one of transversal type, and one of longitudinal type. Here the eigenfunctions under the translation action can serve as a good core for a non-trivial Dirichlet form. We find that the infinitesimal generators can be interpreted as elliptic differential operators on the maximal equicontinuous factor of the tiling dynamical system. △ Less

Submitted 22 January, 2015; v1 submitted 27 October, 2012; originally announced October 2012.

Comments: Version 2, 49 pages

MSC Class: 58B34; 37B50; 52C23

Maximal equicontinuous factors and cohomology for tiling spaces

Authors: Marcy Barge, Johannes Kellendonk, Scott Schmieding

Abstract: We study the homomorphism induced on cohomology by the maximal equicontinuous factor map of a tiling space. We will see that this map is injective in degree one and has torsion free cokernel. We show by example, however, that the cohomology of the maximal equicontinuous factor may not be a direct summand of the tiling cohomology. We study the homomorphism induced on cohomology by the maximal equicontinuous factor map of a tiling space. We will see that this map is injective in degree one and has torsion free cokernel. We show by example, however, that the cohomology of the maximal equicontinuous factor may not be a direct summand of the tiling cohomology. △ Less

Submitted 6 April, 2012; originally announced April 2012.

Journal ref: Fundamenta Mathematicae 218, 3 (2012) 242 -267

Integral cohomology of rational projection method patterns

Authors: Franz Gaehler, John Hunton, Johannes Kellendonk

Abstract: We study the cohomology and hence $K$-theory of the aperiodic tilings formed by the so called 'cut and project' method, i.e., patterns in $d$ dimensional Euclidean space which arise as sections of higher dimensional, periodic structures. They form one of the key families of patterns used in quasicrystal physics, where their topological invariants carry quantum mechanical information. Our work deve… ▽ More We study the cohomology and hence $K$-theory of the aperiodic tilings formed by the so called 'cut and project' method, i.e., patterns in $d$ dimensional Euclidean space which arise as sections of higher dimensional, periodic structures. They form one of the key families of patterns used in quasicrystal physics, where their topological invariants carry quantum mechanical information. Our work develops both a theoretical framework and a practical toolkit for the discussion and calculation of their integral cohomology, and extends previous work that only successfully addressed rational cohomological invariants. Our framework unifies the several previous methods used to study the cohomology of these patterns. We discuss explicit calculations for the main examples of icosahedral patterns in $R^3$ -- the Danzer tiling, the Ammann-Kramer tiling and the Canonical and Dual Canonical $D_6$ tilings, including complete computations for the first of these, as well as results for many of the better known 2 dimensional examples. △ Less

Submitted 26 October, 2012; v1 submitted 10 February, 2012; originally announced February 2012.

Comments: Extends, corrects and replaces 2005 preprint math-ph/0505048 'Torsion in Tiling Homology and Cohomology'. V2 corrects some calculations in math.KT/1202.2240v1

MSC Class: 52C23; 52C22; 55R20

Journal ref: Algebr. Geom. Topol. 13 (2013) 1661-1708

A characterization of subshifts with bounded powers

Authors: Johannes Kellendonk, Daniel Lenz, Jean Savinien

Abstract: We consider minimal, aperiodic symbolic subshifts and show how to characterize the combinatorial property of bounded powers by means of a metric property. For this purpose we construct a family of graphs which all approximate the subshift space, and define a metric on each graph which extends to a metric on the subshift space. The characterization of bounded powers is then given by the Lipschitz e… ▽ More We consider minimal, aperiodic symbolic subshifts and show how to characterize the combinatorial property of bounded powers by means of a metric property. For this purpose we construct a family of graphs which all approximate the subshift space, and define a metric on each graph which extends to a metric on the subshift space. The characterization of bounded powers is then given by the Lipschitz equivalence of a suitably defined infimum metric with the corresponding supremum metric. We also introduce zeta-functions and relate their abscissa of convergence to various exponents of complexity of the subshift. △ Less

Submitted 7 November, 2011; originally announced November 2011.

Comments: 20 pages, 1 figure

MSC Class: 68R15; 94A55; 47c15

Proximality and pure point spectrum for tiling dynamical systems

Authors: Marcy Barge, Johannes Kellendonk

Abstract: We investigate the role of the proximality relation for tiling dynamical systems. Under two hypotheses, namely that the minimal rank is finite and the set of fiber distal points has full measure we show that the following conditions are equivalent: (i) proximality is topologically closed, (ii) the minimal rank is one, (iii) the continuous eigenfunctions of the translation action span the L^2-funct… ▽ More We investigate the role of the proximality relation for tiling dynamical systems. Under two hypotheses, namely that the minimal rank is finite and the set of fiber distal points has full measure we show that the following conditions are equivalent: (i) proximality is topologically closed, (ii) the minimal rank is one, (iii) the continuous eigenfunctions of the translation action span the L^2-functions over the tiling space. We apply our findings to model sets and to Meyer substitution tilings. It turns out that the Meyer property is crucial for our analysis as it allows us to replace proximality by the a priori stronger notion of strong proximality. △ Less

Submitted 19 August, 2011; originally announced August 2011.

Comments: 32 pages

MSC Class: Primary: 37B50; 37B05; Secondary 54H20; 54H11

Equicontinuous delone dynamical systems

Authors: Johannes Kellendonk, D. Lenz

Abstract: We characterize equicontinuous Delone dynamical systems as those coming from Delone sets with strongly almost periodic Dirac combs. Within the class of systems with nite local complexity the only equicontinuous systems are then shown to be the crystalline ones. On the other hand, within the class without nite local complexity, we exhibit examples of equicontinuous minimal Delone dynamical systems… ▽ More We characterize equicontinuous Delone dynamical systems as those coming from Delone sets with strongly almost periodic Dirac combs. Within the class of systems with nite local complexity the only equicontinuous systems are then shown to be the crystalline ones. On the other hand, within the class without nite local complexity, we exhibit examples of equicontinuous minimal Delone dynamical systems which are not crystalline. Our results solve the problem posed by Lagarias whether a Delone set whose Dirac comb is strongly almost periodic must be crystalline. △ Less

Submitted 19 May, 2011; originally announced May 2011.

Journal ref: Can. J. Math.-J. Can. Math. 65 (2013) 149-170

Levinson's theorem and higher degree traces for Aharonov-Bohm operators

Authors: J. Kellendonk, K. Pankrashkin, S. Richard

Abstract: We study Levinson type theorems for the family of Aharonov-Bohm models from different perspectives. The first one is purely analytical involving the explicit calculation of the wave-operators and allowing to determine precisely the various contributions to the left hand side of Levinson's theorem, namely those due to the scattering operator, the terms at 0-energy and at infinite energy. The second… ▽ More We study Levinson type theorems for the family of Aharonov-Bohm models from different perspectives. The first one is purely analytical involving the explicit calculation of the wave-operators and allowing to determine precisely the various contributions to the left hand side of Levinson's theorem, namely those due to the scattering operator, the terms at 0-energy and at infinite energy. The second one is based on non-commutative topology revealing the topological nature of Levinson's theorem. We then include the parameters of the family into the topological description obtaining a new type of Levinson's theorem, a higher degree Levinson's theorem. In this context, the Chern number of a bundle defined by a family of projections on bound states is explicitly computed and related to the result of a 3-trace applied on the scattering part of the model. △ Less

Submitted 14 December, 2010; originally announced December 2010.

Comments: 33 pages

Spectral triples and aperiodic order

Authors: J. Kellendonk, J. Savinien

Abstract: We construct spectral triples for compact metric spaces (X, d). This provides us with a new metric d_s on X. We study its relation with the original metric d. When X is a subshift space, or a discrete tiling space, and d satisfies certain bounds we advocate that the property of d_s and d to be Lipschitz equivalent is a characterization of high order. For episturmian subshifts, we prove that d_s an… ▽ More We construct spectral triples for compact metric spaces (X, d). This provides us with a new metric d_s on X. We study its relation with the original metric d. When X is a subshift space, or a discrete tiling space, and d satisfies certain bounds we advocate that the property of d_s and d to be Lipschitz equivalent is a characterization of high order. For episturmian subshifts, we prove that d_s and d are Lipschitz equivalent if and only if the subshift is repulsive (or power free). For Sturmian subshifts this is equivalent to linear recurrence. For repetitive tilings we show that if their patches have equi-distributed frequencies then the two metrics are Lipschitz equivalent. Moreover, we study the zeta-function of the spectral triple and relate its abscissa of convergence to the complexity exponent of the subshift or the tiling. Finally, we derive Laplace operators from the spectral triples and compare our construction with that of Pearson and Bellissard. △ Less

Submitted 22 October, 2010; v1 submitted 1 October, 2010; originally announced October 2010.

Comments: 40 pages, 1 figure

MSC Class: 47c15; 37b50; 52c22; 94A55

On the wave operators and Levinson's theorem for potential scattering in R^3

Authors: J. Kellendonk, S. Richard

Abstract: The paper is a presentation of recent investigations on potential scattering in R^3. We advocate a new formula for the wave operators and deduce the various outcomes that follow from this formula. A topological version of Levinson's theorem is proposed by interpreting it as an index theorem. The paper is a presentation of recent investigations on potential scattering in R^3. We advocate a new formula for the wave operators and deduce the various outcomes that follow from this formula. A topological version of Levinson's theorem is proposed by interpreting it as an index theorem. △ Less

Submitted 23 September, 2010; originally announced September 2010.

Comments: 19 pages

Comparing different versions of tiling cohomology

Authors: Housem Boulmezaoud, Johannes Kellendonk

Abstract: We establish direct isomorphisms between different versions of tiling cohomology. The first version is the direct limit of the cohomologies of the approximants in the Anderson-Putnam-Gähler complex, the second is the recently introduced PV-cohomolgy of Bellissard and Savinien and the third is pattern equivariant cohomology. For the last two versions one can define weak cohomology groups. We show t… ▽ More We establish direct isomorphisms between different versions of tiling cohomology. The first version is the direct limit of the cohomologies of the approximants in the Anderson-Putnam-Gähler complex, the second is the recently introduced PV-cohomolgy of Bellissard and Savinien and the third is pattern equivariant cohomology. For the last two versions one can define weak cohomology groups. We show that the isomorphisms extend to the weak versions. This leads to an alternative formulation of the pattern equivariant mixed quotient group which describes deformations of the tiling modulo topological conjugacy. △ Less

Submitted 31 May, 2010; v1 submitted 23 June, 2009; originally announced June 2009.

Integer Cech Cohomology of Icosahedral Projection Tilings

Authors: F. Gähler, J. Hunton, J. Kellendonk

Abstract: The integer Cech cohomology of canonical projection tilings of dimension three and codimension three is derived. These formulae are then evaluated for several icosahedral tilings known from the literature. Rather surprisingly, the cohomologies of all these tilings turn out to have torsion. This is the case even for the Danzer tiling, which is, in some sense, the simplest of all icosahedral tilin… ▽ More The integer Cech cohomology of canonical projection tilings of dimension three and codimension three is derived. These formulae are then evaluated for several icosahedral tilings known from the literature. Rather surprisingly, the cohomologies of all these tilings turn out to have torsion. This is the case even for the Danzer tiling, which is, in some sense, the simplest of all icosahedral tilings. This result is in contrast to the case of two-dimensional canonical projection tilings, where many examples without torsion are known. △ Less

Submitted 25 September, 2008; originally announced September 2008.

Journal ref: Z. Kristallogr. 223 (2008) 801-804

On the structure of the wave operators in one dimensional potential scattering

Authors: Johannes Kellendonk, Serge Richard

Abstract: In the framework of one dimensional potential scattering we prove that, modulo a compact term, the wave operators can be written in terms of a universal operator and of the scattering operator. The universal operator is related to the one dimensional Hilbert transform and can be expressed as a function of the generator of dilations. As a consequence, we show how Levinson's theorem can be rewritt… ▽ More In the framework of one dimensional potential scattering we prove that, modulo a compact term, the wave operators can be written in terms of a universal operator and of the scattering operator. The universal operator is related to the one dimensional Hilbert transform and can be expressed as a function of the generator of dilations. As a consequence, we show how Levinson's theorem can be rewritten as an index theorem, and obtain the asymptotic behaviour of the wave operators at high and low energy and at large and small scale. △ Less

Submitted 11 August, 2008; originally announced August 2008.

Comments: 20 pages

Weber-Schafheitlin's type integrals with exponent 1

Authors: Johannes Kellendonk, Serge Richard

Abstract: Explicit formulae for Weber-Schafheitlin's type integrals with exponent 1 are derived. The results of these integrals are distributions on R_+. Explicit formulae for Weber-Schafheitlin's type integrals with exponent 1 are derived. The results of these integrals are distributions on R_+. △ Less

Submitted 3 March, 2008; originally announced March 2008.

Comments: 7 pages

The topological meaning of Levinson's theorem, half-bound states included

Authors: Johannes Kellendonk, Serge Richard

Abstract: We propose to interpret Levinson's theorem as an index theorem. This exhibits its topological nature. It furthermore leads to a more coherent explanation of the corrections due to resonances at thresholds. We propose to interpret Levinson's theorem as an index theorem. This exhibits its topological nature. It furthermore leads to a more coherent explanation of the corrections due to resonances at thresholds. △ Less

Submitted 14 December, 2007; originally announced December 2007.

Comments: 4 pages

Pattern equivariant functions, deformations and equivalence of tiling spaces

Authors: Johannes Kellendonk

Abstract: We reinvestigate the theory of deformations of tilings using P-equivariant cohomology. In particular we relate the notion of asymptotically negligible shape functions introduced by Clark and Sadun to weakly P-equivariant forms. We then investigate more closely the relation between deformations of patterns and homeomorphism or topological conjugacy of pattern spaces. We reinvestigate the theory of deformations of tilings using P-equivariant cohomology. In particular we relate the notion of asymptotically negligible shape functions introduced by Clark and Sadun to weakly P-equivariant forms. We then investigate more closely the relation between deformations of patterns and homeomorphism or topological conjugacy of pattern spaces. △ Less

Submitted 6 March, 2007; originally announced March 2007.

MSC Class: 37B

Levinson's theorem for Schroedinger operators with point interaction: a topological approach

Authors: Johannes Kellendonk, Serge Richard

Abstract: In this note Levinson theorems for Schroedinger operators in R^n with one point interaction at 0 are derived using the concept of winding numbers. These results are based on new expressions for the associated wave operators. In this note Levinson theorems for Schroedinger operators in R^n with one point interaction at 0 are derived using the concept of winding numbers. These results are based on new expressions for the associated wave operators. △ Less

Submitted 20 July, 2006; originally announced July 2006.

Comments: 7 pages

Topological boundary maps in physics: General theory and applications

Authors: Johannes Kellendonk, Serge Richard

Abstract: The material presented here covers two talks given by the authors at the conference Operator Algebras and Mathematical Physics organised in Bucharest in August 2005. The first one was a review given by J. Kellendonk on the relation between bulk and boundary topological invariants in physical systems. In the second talk S. Richard described an application of these ideas to scattering theory. It l… ▽ More The material presented here covers two talks given by the authors at the conference Operator Algebras and Mathematical Physics organised in Bucharest in August 2005. The first one was a review given by J. Kellendonk on the relation between bulk and boundary topological invariants in physical systems. In the second talk S. Richard described an application of these ideas to scattering theory. It leads to a topological version of the so-called Levinson's theorem. △ Less

Submitted 16 May, 2006; originally announced May 2006.

Comments: 19 pages

Rotation Numbers, Boundary Forces and Gap labelling

Authors: J. Kellendonk, I. P. Zois

Abstract: We review the Johnson-Moser rotation number and the $K_0$-theoretical gap labelling of Bellissard for one-dimensional Schrödinger operators. We compare them with two further gap-labels, one being related to the motion of Dirichlet eigenvalues, the other being a $K_1$-theoretical gap label. We argue that the latter provides a natural generalisation of the Johnson-Moser rotation number to higher d… ▽ More We review the Johnson-Moser rotation number and the $K_0$-theoretical gap labelling of Bellissard for one-dimensional Schrödinger operators. We compare them with two further gap-labels, one being related to the motion of Dirichlet eigenvalues, the other being a $K_1$-theoretical gap label. We argue that the latter provides a natural generalisation of the Johnson-Moser rotation number to higher dimensions. △ Less

Submitted 7 June, 2005; originally announced June 2005.

Comments: 10 pages, version accepted for publication

Journal ref: J. Phys. A: Math. Gen. 38 (2005) 3937-3946

Torsion in Tiling Homology and Cohomology

Authors: Franz Gähler, John Hunton, Johannes Kellendonk

Abstract: The first author's recent unexpected discovery of torsion in the integral cohomology of the Tübingen Triangle Tiling has led to a re-evaluation of current descriptions of and calculational methods for the topological invariants associated with aperiodic tilings. The existence of torsion calls into question the previously assumed equivalence of cohomological and K-theoretic invariants as well as… ▽ More The first author's recent unexpected discovery of torsion in the integral cohomology of the Tübingen Triangle Tiling has led to a re-evaluation of current descriptions of and calculational methods for the topological invariants associated with aperiodic tilings. The existence of torsion calls into question the previously assumed equivalence of cohomological and K-theoretic invariants as well as the supposed lack of torsion in the latter. In this paper we examine in detail the topological invariants of canonical projection tilings; we extend results of Forrest, Hunton and Kellendonk to give a full treatment of the torsion in the cohomology of such tilings in codimension at most 3, and present the additions and amendments needed to previous results and calculations in the literature. It is straightforward to give a complete treatment of the torsion components for tilings of codimension 1 and 2, but the case of codimension 3 is a good deal more complicated, and we illustrate our methods with the calculations of all four icosahedral tilings previously considered. Turning to the K-theoretic invariants, we show that cohomology and K-theory agree for all canonical projection tilings in (physical) dimension at most 3, thus proving the existence of torsion in, for example, the K-theory of the Tübingen Triangle Tiling. The question of the equivalence of cohomology and K-theory for tilings of higher dimensional euclidean space remains open. △ Less

Submitted 15 February, 2012; v1 submitted 19 May, 2005; originally announced May 2005.

Comments: This preprint contains some errors in the algebraic analysis of the calculations and the work has been corrected and substantially extended in math.kt/1202.2240 "Integral cohomology of rational projection method pattern " (same authors) which the reader should consult instead

MSC Class: 52C23; 37B50

A topological version of Levinson's theorem

Authors: Johannes Kellendonk, Serge Richard

Abstract: In the framework of scattering theory, we show how the scattering matrix can be related to the projection on the bound states by an index map of K-theory. Pairings with appropriate cyclic cocyles lead naturally to a topological version of Levinson's theorem. In the framework of scattering theory, we show how the scattering matrix can be related to the projection on the bound states by an index map of K-theory. Pairings with appropriate cyclic cocyles lead naturally to a topological version of Levinson's theorem. △ Less

Submitted 16 April, 2005; originally announced April 2005.

Comments: 6 pages

Boundary maps for $C^*$-crossed products with R with an application to the quantum Hall effect

Authors: Johannes Kellendonk, Hermann Schulz-Baldes

Abstract: The boundary map in K-theory arising from the Wiener-Hopf extension of a crossed product algebra with R is the Connes-Thom isomorphism. In this article the Wiener Hopf extension is combined with the Heisenberg group algebra to provide an elementary construction of a corresponding map on higher traces (and cyclic cohomology). It then follows directly from a non-commutative Stokes theorem that thi… ▽ More The boundary map in K-theory arising from the Wiener-Hopf extension of a crossed product algebra with R is the Connes-Thom isomorphism. In this article the Wiener Hopf extension is combined with the Heisenberg group algebra to provide an elementary construction of a corresponding map on higher traces (and cyclic cohomology). It then follows directly from a non-commutative Stokes theorem that this map is dual w.r.t.Connes' pairing of cyclic cohomology with K-theory. As an application, we prove equality of quantized bulk and edge conductivities for the integer quantum Hall effect described by continuous magnetic Schroedinger operators. △ Less

Submitted 7 May, 2004; originally announced May 2004.

Comments: to appear in Commun. Math. Phys

Journal ref: Commun. Math. Phys. 249, 611-637 (2004)

Quantization of edge currents for continuous magnetic operators

Authors: Johannes Kellendonk, Hermann Schulz-Baldes

Abstract: For a magnetic Hamiltonian on a half-plane given as the sum of the Landau operator with Dirichlet boundary conditions and a random potential, a quantization theorem for the edge currents is proven. This shows that the concept of edge channels also makes sense in presence of disorder. Moreover, Gaussian bounds on the heat kernel and its covariant derivatives are obtained. For a magnetic Hamiltonian on a half-plane given as the sum of the Landau operator with Dirichlet boundary conditions and a random potential, a quantization theorem for the edge currents is proven. This shows that the concept of edge channels also makes sense in presence of disorder. Moreover, Gaussian bounds on the heat kernel and its covariant derivatives are obtained. △ Less

Submitted 7 May, 2004; originally announced May 2004.

Journal ref: J. Funct. Anal. 209, 388-413 (2004)

Topological quantization of boundary forces and the integrated density of states

Authors: Johannes Kellendonk

Abstract: For quantum systems described by Schrödinger operators on the half-space $\RR^{d-1}\times\RR^{leq 0}$ the boundary force per unit area and unit energy is topologically quantised provided the Fermi energy lies in a gap of the bulk spectrum. Under this condition it is also equal to the integrated density of states at the Fermi energy. For quantum systems described by Schrödinger operators on the half-space $\RR^{d-1}\times\RR^{leq 0}$ the boundary force per unit area and unit energy is topologically quantised provided the Fermi energy lies in a gap of the bulk spectrum. Under this condition it is also equal to the integrated density of states at the Fermi energy. △ Less

Submitted 8 November, 2003; originally announced November 2003.

Comments: 7 pages

Pattern equivariant functions and cohomology

Authors: Johannes Kellendonk

Abstract: The cohomology of a tiling or a point pattern has originally been defined via the construction of the hull or the groupoid associated with the tiling or the pattern. Here we present a construction which is more direct and therefore easier accessible. It is based on generalizing the notion of equivariance from lattices to point patterns of finite local complexity. The cohomology of a tiling or a point pattern has originally been defined via the construction of the hull or the groupoid associated with the tiling or the pattern. Here we present a construction which is more direct and therefore easier accessible. It is based on generalizing the notion of equivariance from lattices to point patterns of finite local complexity. △ Less

Submitted 29 November, 2002; originally announced November 2002.

Comments: 8 pages including 2 figures

MSC Class: 52C23

Universal groups for point-sets and tilings

Authors: Johannes Kellendonk, Mark V Lawson

Abstract: We study the universal groups of inverse semigroups associated with point sets and with tilings. We focus our attention on two classes of examples. The first class consists of point sets which are obtained by a cut and projection scheme (so-called model sets). Here we introduce another inverse semigroup which is given in terms of the defining data of the projection scheme and related to the mode… ▽ More We study the universal groups of inverse semigroups associated with point sets and with tilings. We focus our attention on two classes of examples. The first class consists of point sets which are obtained by a cut and projection scheme (so-called model sets). Here we introduce another inverse semigroup which is given in terms of the defining data of the projection scheme and related to the model set by the empire congruence. The second class is given by one-dimensional tilings. △ Less

Submitted 19 September, 2002; originally announced September 2002.

Comments: 24 pages

MSC Class: 20M18; 52C23

Topological invariants for projection method patterns

Authors: Alan Forrest, John Hunton, Johannes Kellendonk

Abstract: We analyze and compare different dynamical systems and groupoids which can be obtained from projection point patterns. We define the cohomology of a point pattern as the cocycle cohomology of the pattern groupoid. We describe this cohomology qualitatively and calculate it for canonical projection method tilings with codimension smaller or equal than 3. We analyze and compare different dynamical systems and groupoids which can be obtained from projection point patterns. We define the cohomology of a point pattern as the cocycle cohomology of the pattern groupoid. We describe this cohomology qualitatively and calculate it for canonical projection method tilings with codimension smaller or equal than 3. △ Less

Submitted 27 October, 2000; originally announced October 2000.

Comments: 106 pages

Report number: Leicester preprint 2000/38 MSC Class: 37Bxx; 52C23; 55N15

Cohomology groups for projection point patterns

Authors: Alan Forrest, John Hunton, Johannes Kellendonk

Abstract: Aperiodic point sets (or tilings) which can be obtained by the method of cut and projection from higher dimensional periodic sets play an important role for the description of quasicrystals. Their topological invariants can be computed using the higher dimensional periodic structure. We report on the results obtained for the cohomology groups of projection point patterns supplemented by explicit… ▽ More Aperiodic point sets (or tilings) which can be obtained by the method of cut and projection from higher dimensional periodic sets play an important role for the description of quasicrystals. Their topological invariants can be computed using the higher dimensional periodic structure. We report on the results obtained for the cohomology groups of projection point patterns supplemented by explicit calculations made by F. Gaehler for many well-known icosahedral tilings. △ Less

Submitted 30 October, 2000; originally announced October 2000.

Comments: 7 pages for the proceedings of the ICMP 2000

Report number: Leicester preprint 2000/37 MSC Class: 37Bxx; 52C23; 55N15

Simultaneous quantization of edge and bulk Hall conductivity

Authors: H. Schulz-Baldes, J. Kellendonk, Th. Richter

Abstract: The edge Hall conductivity is shown to be an integer multiple of $e^2/h$ which is almost surely independent of the choice of the disordered configuration. Its equality to the bulk Hall conductivity given by the Kubo-Chern formula follows from K-theoretic arguments. This leads to quantization of the Hall conductance for any redistribution of the current in the sample. It is argued that in experim… ▽ More The edge Hall conductivity is shown to be an integer multiple of $e^2/h$ which is almost surely independent of the choice of the disordered configuration. Its equality to the bulk Hall conductivity given by the Kubo-Chern formula follows from K-theoretic arguments. This leads to quantization of the Hall conductance for any redistribution of the current in the sample. It is argued that in experiments at most a few percent of the total current can be carried by edge states. △ Less

Submitted 10 December, 1999; originally announced December 1999.

Comments: 6 pages Latex, 1 figure

Journal ref: J. Phys. A 33, L27-L32 (2000)

Factorization dynamics and Coxeter-Toda lattices

Authors: Tim Hoffmann, Johannes Kellendonk, Nadja Kutz, Nicolai Reshetikhin

Abstract: It is shown that the factorization relation on simple Lie groups with standard Poisson Lie structure restricted to Coxeter symplectic leaves gives an integrable dynamical system. This system can be regarded as a discretization of the Toda flow. In case of $SL_n$ the integrals of the factorization dynamics are integrals of the relativistic Toda system. A substantial part of the paper is devoted t… ▽ More It is shown that the factorization relation on simple Lie groups with standard Poisson Lie structure restricted to Coxeter symplectic leaves gives an integrable dynamical system. This system can be regarded as a discretization of the Toda flow. In case of $SL_n$ the integrals of the factorization dynamics are integrals of the relativistic Toda system. A substantial part of the paper is devoted to the study of symplectic leaves in simple complex Lie groups, its Borel subgroups and their doubles. △ Less

Submitted 15 October, 1999; v1 submitted 24 June, 1999; originally announced June 1999.

Comments: 33 pages, latex, minor corrections

Journal ref: Comm. Math. Phys. 212, Issue 2, 297-321 (2000)

Topological equivalence of tilings

Authors: Johannes Kellendonk

Abstract: We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are topologically equivalent whenever their associated groupoids are isomorphic. We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are topologically equivalent whenever their associated groupoids are isomorphic. △ Less

Submitted 26 September, 1996; originally announced September 1996.

Comments: 23 pages, Latex2e, uses amsart-style, no figures

Report number: SFB-288 Preprint 229

The Local Structure of Tilings and their Integer Group of Coinvariants

Authors: Johannes Kellendonk

Abstract: The local structure of a tiling is described in terms of a multiplicative structure on its pattern classes. The groupoid associated to the tiling is derived from this structure and its integer group of coinvariants is defined. This group furnishes part of the $K_0$-group of the groupoid $C^*$-algebra for tilings which reduce to decorations of $\Z^d$. The group itself as well as the image of its… ▽ More The local structure of a tiling is described in terms of a multiplicative structure on its pattern classes. The groupoid associated to the tiling is derived from this structure and its integer group of coinvariants is defined. This group furnishes part of the $K_0$-group of the groupoid $C^*$-algebra for tilings which reduce to decorations of $\Z^d$. The group itself as well as the image of its state is computed for substitution tilings in case the substitution is locally invertible and primitive. This yields in particular the set of possible gap labels predicted by $K$-theory for Schrödinger operators describing the particle motion in such a tiling. △ Less

Submitted 2 August, 1995; originally announced August 1995.

Comments: 45 pages including 9 figures, LaTex

Report number: KCL-TH-95-6

Journal ref: Commun.Math.Phys. 187 (1997) 115-158

On $K_0$-Groups for Substitution Tilings

Authors: Johannes Kellendonk

Abstract: The group $C(\Om,\Z)/\E$ is determined for tilings which are invariant under a locally invertible primitive \sst\ which forces its \saum. In case the tiling may be obtained by the generalized dual method from a regular grid this group furnishes part of the $K_0$-group of the algebra of the tiling. Applied to Penrose tilings one obtains $K_0(\A_\tl)=\Z^8\oplus\Z$. The group $C(\Om,\Z)/\E$ is determined for tilings which are invariant under a locally invertible primitive \sst\ which forces its \saum. In case the tiling may be obtained by the generalized dual method from a regular grid this group furnishes part of the $K_0$-group of the algebra of the tiling. Applied to Penrose tilings one obtains $K_0(\A_\tl)=\Z^8\oplus\Z$. △ Less

Submitted 3 March, 1995; v1 submitted 2 March, 1995; originally announced March 1995.

Comments: 14 pages including 4 figures, LaTex

Report number: KCL-TH-95-1

Gap Labelling for Schrödinger Operators on Quasiperiodic Tilings

Authors: Johannes Kellendonk

Abstract: For a large class of tilings, including those which are obtained by the generalized dual method from regular grids, it is shown that their algebra is stably isomorphic to a crossed product with $\Z^d$. Penrose tilings belong to this class. This enlarges the class of tilings of which can be shown that a set of possible gap labels is completely determined by an invariant measure on the hull. For a large class of tilings, including those which are obtained by the generalized dual method from regular grids, it is shown that their algebra is stably isomorphic to a crossed product with $\Z^d$. Penrose tilings belong to this class. This enlarges the class of tilings of which can be shown that a set of possible gap labels is completely determined by an invariant measure on the hull. △ Less

Submitted 27 June, 1994; originally announced June 1994.

Comments: 13 pages, 1 figure, Latex, KCL-TH-94-10

Non Commutative Geometry of Tilings and Gap Labelling

Authors: Johannes Kellendonk

Abstract: To a given tiling a non commutative space and the corresponding C*-algebra are constructed. This includes the definition of a topology on the groupoid induced by translations of the tiling. The algebra is also the algebra of observables for discrete models of one or many particle systems on the tiling or its periodic identification. Its scaled ordered K_0-group furnishes the gap labelling of Sc… ▽ More To a given tiling a non commutative space and the corresponding C*-algebra are constructed. This includes the definition of a topology on the groupoid induced by translations of the tiling. The algebra is also the algebra of observables for discrete models of one or many particle systems on the tiling or its periodic identification. Its scaled ordered K_0-group furnishes the gap labelling of Schroedinger operators. The group is computed for one dimensional tilings and Cartesian products thereof. Its image under a state is investigated for tilings which are invariant under a substitution. Part of this image is given by an invariant measure on the hull of the tiling which is determined. The results from the Cartesian products of one dimensional tilings point out that the gap labelling by means of the values of the integrated density of states is already fully determined by this measure. △ Less

Submitted 21 April, 1994; v1 submitted 17 March, 1994; originally announced March 1994.

Comments: 45 pages, 3 figures (few corrections in section 4)

Report number: KCL-TH-94-1