-
Fractal Zeta Functions and Complex Dimensions of Ahlfors Metric Measure Spaces
Authors:
Michel L. Lapidus,
Sean Watson
Abstract:
While classical analysis dealt primarily with smooth spaces, much research has been done in the last half century on expanding the theory to the nonsmooth case. Metric Measure spaces are the natural setting for such analysis, and it is thus important to understand the geometry of subsets of these spaces. In this paper we will focus on the geometry of Ahlfors regular spaces, Metric Measure spaces w…
▽ More
While classical analysis dealt primarily with smooth spaces, much research has been done in the last half century on expanding the theory to the nonsmooth case. Metric Measure spaces are the natural setting for such analysis, and it is thus important to understand the geometry of subsets of these spaces. In this paper we will focus on the geometry of Ahlfors regular spaces, Metric Measure spaces with an additional regularity condition. Historically, fractals have been studied using different ideas of dimension which have all proven to be unsatisfactory to some degree. The theory of complex dimensions, developed by M.L. Lapidus and a number of collaborators, was developed in part to better understand fractality in the Euclidean case and seeks to overcome these problems. Of particular interest is the recent theory of complex dimensions in higher-dimensional Euclidean spaces, as studied by M.L.Lapidus, G. Radunović, and D. Zubrinić, who introduced and studied the properties of the distance zeta function $ζ_A$. We will show that this theory of complex dimensions naturally generalizes to the case of Ahlfors regular spaces, as the distance zeta function can be modified to these spaces and all of its main properties carry over. We also provide a selection of examples in Ahlfors spaces, as well as hints that the theory can be expanded to a more general setting.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Diffraction measures and patterns of the complex dimensions of self-similar fractal strings. I. The lattice case
Authors:
Michel L. Lapidus,
Machiel van Frankenhuijsen,
Edward K. Voskanian
Abstract:
We give a generalization of Lagarias' formula for diffraction by ideal crystals, and we apply it to the lattice case, in preparation for addressing the problem of quasicrystals and complex dimensions posed by Lapidus and van Frankenhuijsen concerning the quasiperiodic properties of the set of complex dimensions of any nonlattice self-similar fractal string. More specifically, in this paper, we con…
▽ More
We give a generalization of Lagarias' formula for diffraction by ideal crystals, and we apply it to the lattice case, in preparation for addressing the problem of quasicrystals and complex dimensions posed by Lapidus and van Frankenhuijsen concerning the quasiperiodic properties of the set of complex dimensions of any nonlattice self-similar fractal string. More specifically, in this paper, we consider the case of the complex dimensions of a lattice (rather than of a nonlattice) self-similar string and show that the corresponding diffraction measure exists, is unique, and is given by a suitable $\textit{continuous}$ analogue of a discrete Dirac comb. We also obtain more general results concerning the autocorrelation measures and diffraction measures of generalized idealized fractals associated to possibly degenerate lattices and the corresponding extension of the Poisson Summation Formula.
△ Less
Submitted 26 July, 2024; v1 submitted 15 May, 2023;
originally announced May 2023.
-
$p$-adic fractal strings of arbitrary rational dimensions and Cantor strings
Authors:
Michel L. Lapidus,
Hùng Lũ',
Machiel van Frankenhuijsen
Abstract:
The local theory of complex dimensions for real and $p$-adic fractal strings describes oscillations that are intrinsic to the geometry, dynamics and spectrum of archimedean and nonarchimedean fractal strings. We aim to develop a global theory of complex dimensions for adèlic fractal strings in order to reveal the oscillatory nature of adèlic fractal strings and to understand the Riemann hypothesis…
▽ More
The local theory of complex dimensions for real and $p$-adic fractal strings describes oscillations that are intrinsic to the geometry, dynamics and spectrum of archimedean and nonarchimedean fractal strings. We aim to develop a global theory of complex dimensions for adèlic fractal strings in order to reveal the oscillatory nature of adèlic fractal strings and to understand the Riemann hypothesis in terms of the vibrations and resonances of fractal strings.
We present a simple and natural construction of self-similar $p$-adic fractal strings of any rational dimension in the closed unit interval $[0,1]$. Moreover, as a first step towards a global theory of complex dimensions for adèlic fractal strings, we construct an adèlic Cantor string in the set of finite adèles $\mathbb{A}_0$ as an infinite Cartesian product of every $p$-adic Cantor string, as well as an adèlic Cantor-Smith string in the ring of adèles $\mathbb{A}$ as a Cartesian product of the general Cantor string and the adèlic Cantor string.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Metric Approximations of Spectral Triples on the Sierpiński Gasket and other fractal curves
Authors:
Therese-Marie Landry,
Michel L. Lapidus,
Frederic Latremoliere
Abstract:
Noncommutative geometry provides a framework, via the construction of spectral triples, for the study of the geometry of certain classes of fractals. Many fractals are constructed as natural limits of certain sets with a simpler structure: for instance, the Sierpiński is the limit of finite graphs consisting of various affine images of an equilateral triangle. It is thus natural to ask whether the…
▽ More
Noncommutative geometry provides a framework, via the construction of spectral triples, for the study of the geometry of certain classes of fractals. Many fractals are constructed as natural limits of certain sets with a simpler structure: for instance, the Sierpiński is the limit of finite graphs consisting of various affine images of an equilateral triangle. It is thus natural to ask whether the spectral triples, constructed on a class of fractals called piecewise $C^1$-fractal curves, are indeed limits, in an appropriate sense, of spectral triples on the approximating sets. We answer this question affirmatively in this paper, where we use the spectral propinquity on the class of metric spectral triples, in order to formalize the sought-after convergence of spectral triples. Our results and methods are relevant to the study of analysis on fractals and have potential physical applications.
△ Less
Submitted 16 April, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Quasiperiodic patterns of the complex dimensions of nonlattice self-similar strings, via the LLL algorithm
Authors:
Michel L. Lapidus,
Machiel van Frankenhuijsen,
Edward K. Voskanian
Abstract:
The Lattice String Approximation algorithm (or LSA algorithm) of M. L. Lapidus and M. van Frankenhuijsen is a procedure that approximates the complex dimensions of a nonlattice self-similar fractal string by the complex dimensions of a lattice self-similar fractal string. The implication of this procedure is that the set of complex dimensions of a nonlattice string has a quasiperiodic pattern. Usi…
▽ More
The Lattice String Approximation algorithm (or LSA algorithm) of M. L. Lapidus and M. van Frankenhuijsen is a procedure that approximates the complex dimensions of a nonlattice self-similar fractal string by the complex dimensions of a lattice self-similar fractal string. The implication of this procedure is that the set of complex dimensions of a nonlattice string has a quasiperiodic pattern. Using the LSA algorithm, together with the multiprecision polynomial solver MPSolve which is due to D. A. Bini, G. Fiorentino and L. Robol, we give a new and significantly more powerful presentation of the quasiperiodic patterns of the sets of complex dimensions of nonlattice self-similar fractal strings. The implementation of this algorithm requires a practical method for generating simultaneous Diophantine approximations, which in some cases we can accomplish by the continued fraction process. Otherwise, as was suggested by Lapidus and van Frankenhuijsen, we use the LLL algorithm of A. K. Lenstra, H. W. Lenstra, and L. Lovász.
△ Less
Submitted 9 September, 2020; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Towards a fractal cohomology: Spectra of Polya--Hilbert operators, regularized determinants and Riemann zeros
Authors:
Tim Cobler,
Michel L. Lapidus
Abstract:
Emil Artin defined a zeta function for algebraic curves over finite fields and made a conjecture about them analogous to the famous Riemann hypothesis. This and other conjectures about these zeta functions would come to be called the Weil conjectures, which were proved by Weil for curves and later, by Deligne for varieties over finite fields. Much work was done in the search for a proof of these c…
▽ More
Emil Artin defined a zeta function for algebraic curves over finite fields and made a conjecture about them analogous to the famous Riemann hypothesis. This and other conjectures about these zeta functions would come to be called the Weil conjectures, which were proved by Weil for curves and later, by Deligne for varieties over finite fields. Much work was done in the search for a proof of these conjectures, including the development in algebraic geometry of a Weil cohomology theory for these varieties, which uses the Frobenius operator on a finite field. The zeta function is then expressed as a determinant, allowing the properties of the function to relate to those of the operator. The search for a suitable cohomology theory and associated operator to prove the Riemann hypothesis is still on. In this paper, we study the properties of the derivative operator $D = \frac{d}{dz}$ on a particular weighted Bergman space of entire functions. The operator $D$ can be naturally viewed as the `infinitesimal shift of the complex plane'. Furthermore, this operator is meant to be the replacement for the Frobenius operator in the general case and is used to construct an operator associated to any suitable meromorphic function. We then show that the meromorphic function can be recovered by using a regularized determinant involving the above operator. This is illustrated in some important special cases: rational functions, zeta functions of curves over finite fields, the Riemann zeta function, and culminating in a quantized version of the Hadamard factorization theorem that applies to any entire function of finite order. Our construction is motivated in part by [23] on the infinitesimal shift of the real line, as well as by earlier work of Deninger [10] on cohomology in number theory and a conjectural `fractal cohomology theory' envisioned in [25] and [28].
△ Less
Submitted 20 June, 2017; v1 submitted 1 May, 2017;
originally announced May 2017.
-
Minkowski measurability criteria for compact sets and relative fractal drums in Euclidean spaces
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
We establish a Minkowski measurability criterion for a large class of relative fractal drums (or, in short, RFDs), in Euclidean spaces of arbitrary dimension in terms of their complex dimensions, which are defined as the poles of their associated fractal zeta functions. Relative fractal drums represent a far-reaching generalization of bounded subsets of Euclidean spaces as well as of fractal strin…
▽ More
We establish a Minkowski measurability criterion for a large class of relative fractal drums (or, in short, RFDs), in Euclidean spaces of arbitrary dimension in terms of their complex dimensions, which are defined as the poles of their associated fractal zeta functions. Relative fractal drums represent a far-reaching generalization of bounded subsets of Euclidean spaces as well as of fractal strings studied extensively by the first author and his collaborators. In fact, the Minkowski measurability criterion established here is a generalization of the corresponding one obtained for fractal strings by the first author and M.\ van Frankenhuijsen. Similarly as in the case of fractal strings, the criterion established here is formulated in terms of the locations of the principal complex dimensions associated with the relative drum under consideration. These complex dimensions are defined as poles or, more generally, singularities of the corresponding distance (or tube) zeta function. We also reflect on the notion of gauge-Minkowski measurability of RFDs and establish several results connecting it to the nature and location of the complex dimensions. (This is especially useful when the underlying scaling does not follow a classic power law.) We illustrate our results and their applications by means of a number of interesting examples.
△ Less
Submitted 13 June, 2018; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Fractal Tube Formulas for Compact Sets and Relative Fractal Drums: Oscillations, Complex Dimensions and Fractality
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
We establish pointwise and distributional fractal tube formulas for a large class of relative fractal drums in Euclidean spaces of arbitrary dimensions. A relative fractal drum (or RFD, in short) is an ordered pair $(A,Ω)$ of subsets of the Euclidean space (under some mild assumptions) which generalizes the notion of a (compact) subset and that of a fractal string. By a fractal tube formula for an…
▽ More
We establish pointwise and distributional fractal tube formulas for a large class of relative fractal drums in Euclidean spaces of arbitrary dimensions. A relative fractal drum (or RFD, in short) is an ordered pair $(A,Ω)$ of subsets of the Euclidean space (under some mild assumptions) which generalizes the notion of a (compact) subset and that of a fractal string. By a fractal tube formula for an RFD $(A,Ω)$, we mean an explicit expression for the volume of the $t$-neighborhood of $A$ intersected by $Ω$ as a sum of residues of a suitable meromorphic function (here, a fractal zeta function) over the complex dimensions of the RFD $(A,Ω)$. The complex dimensions of an RFD are defined as the poles of its meromorphically continued fractal zeta function (namely, the distance or the tube zeta function), which generalizes the well-known geometric zeta function for fractal strings. These fractal tube formulas generalize in a significant way to higher dimensions the corresponding ones previously obtained for fractal strings by the first author and van Frankenhuijsen and later on, by the first author, Pearse and Winter in the case of fractal sprays. They are illustrated by several interesting examples. These examples include fractal strings, the Sierpiński gasket and the 3-dimensional carpet, fractal nests and geometric chirps, as well as self-similar fractal sprays. We also propose a new definition of fractality according to which a bounded set (or RFD) is considered to be fractal if it possesses at least one nonreal complex dimension or if its fractal zeta function possesses a natural boundary. This definition, which extends to RFDs and arbitrary bounded subsets of $\mathbb{R}^N$ the previous one introduced in the context of fractal strings, is illustrated by the Cantor graph (or devil's staircase) RFD, which is shown to be `subcritically fractal'.
△ Less
Submitted 20 March, 2018; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Zeta Functions and Complex Dimensions of Relative Fractal Drums: Theory, Examples and Applications
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
In 2009, the first author introduced a new class of zeta functions, called `distance zeta functions', associated with arbitrary compact fractal subsets of Euclidean spaces of arbitrary dimension. It represents a natural, but nontrivial extension of the theory of `geometric zeta functions' of bounded fractal strings. In this memoir, we introduce the class of `relative fractal drums' (or RFDs), whic…
▽ More
In 2009, the first author introduced a new class of zeta functions, called `distance zeta functions', associated with arbitrary compact fractal subsets of Euclidean spaces of arbitrary dimension. It represents a natural, but nontrivial extension of the theory of `geometric zeta functions' of bounded fractal strings. In this memoir, we introduce the class of `relative fractal drums' (or RFDs), which contains the classes of bounded fractal strings and of compact fractal subsets of Euclidean spaces as special cases. Furthermore, the associated (relative) distance zeta functions of RFDs, extend (in a suitable sense) the aforementioned classes of fractal zeta functions. This notion is very general and flexible, enabling us to view practically all of the previously studied aspects of the theory of fractal zeta functions from a unified perspective as well as to go well beyond the previous theory. The abscissa of (absolute) convergence of any relative fractal drum is equal to the relative box dimension of the RFD. We pay particular attention to the question of constructing meromorphic extensions of the distance zeta functions of RFDs, as well as to the construction of transcendentally $\infty$-quasiperiodic RFDs (i.e., roughly, RFDs with infinitely many quasiperiods, all of which are algebraically independent). We also describe a class of RFDs (and, in particular, a new class of bounded sets), called {\em maximal hyperfractals}, such that the critical line of (absolute) convergence consists solely of nonremovable singularities of the associated relative distance zeta functions. Finally, we also describe a class of Minkowski measurable RFDs which possess an infinite sequence of complex dimensions of arbitrary multiplicity $m\ge1$, and even an infinite sequence of essential singularities along the critical line.
△ Less
Submitted 23 August, 2016; v1 submitted 2 March, 2016;
originally announced March 2016.
-
Nontrivial paths and periodic orbits of the $T$-fractal billiard table
Authors:
Michel L. Lapidus,
Robyn L. Miller,
Robert G. Niemeyer
Abstract:
We introduce and prove numerous new results about the orbits of the $T$-fractal billiard. Specifically, in Section 3, we give a variety of sufficient conditions for the existence of a sequence of compatible periodic orbits. In Section 4, we examine the limiting behavior of particular sequences of compatible periodic orbits and, more interesting, in Section 5, the limiting behavior of a particular…
▽ More
We introduce and prove numerous new results about the orbits of the $T$-fractal billiard. Specifically, in Section 3, we give a variety of sufficient conditions for the existence of a sequence of compatible periodic orbits. In Section 4, we examine the limiting behavior of particular sequences of compatible periodic orbits and, more interesting, in Section 5, the limiting behavior of a particular sequence of compatible singular orbits. The latter seems to indicate that the classification of orbits may not be so straightforward. Additionally, sufficient conditions for the existence of particular nontrivial paths is given in Section 4. The proofs of two results stated in [LapNie4] appear here for the first time, as well. A discussion of our results and directions for future research is then given in Section 6.
△ Less
Submitted 12 April, 2016; v1 submitted 29 March, 2015;
originally announced March 2015.
-
Fractal zeta functions and complex dimensions: A general higher-dimensional theory
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
In 2009, the first author introduced a class of zeta functions, called `distance zeta functions', which has enabled us to extend the existing theory of zeta functions of fractal strings and sprays (initiated by the first author and his collaborators in the early 1990s) to arbitrary bounded (fractal) sets in Euclidean spaces of any dimensions. A closely related tool is the class of `tube zeta funct…
▽ More
In 2009, the first author introduced a class of zeta functions, called `distance zeta functions', which has enabled us to extend the existing theory of zeta functions of fractal strings and sprays (initiated by the first author and his collaborators in the early 1990s) to arbitrary bounded (fractal) sets in Euclidean spaces of any dimensions. A closely related tool is the class of `tube zeta functions', defined using the tube function of a fractal set. These zeta functions exhibit deep connections with Minkowski contents and upper box (or Minkowski) dimensions, as well as, more generally, with the complex dimensions of fractal sets. In particular, the abscissa of (Lebesgue, i.e., absolute) convergence of the distance zeta function coincides with the upper box dimension of a set. We also introduce a class of transcendentally quasiperiodic sets, and describe their construction based on a sequence of carefully chosen generalized Cantor sets with two auxilliary parameters. As a result, we obtain a family of "maximally hyperfractal" compact sets and relative fractal drums (i.e., such that the associated fractal zeta functions have a singularity at every point of the critical line of convergence). Finally, we discuss the general fractal tube formulas and the Minkowski measurability criterion obtained by the authors in the context of relative fractal drums (and, in particular, of bounded subsets of the N-dimensional Euclidean space).
△ Less
Submitted 31 May, 2015; v1 submitted 3 February, 2015;
originally announced February 2015.
-
Fractal tube formulas and a Minkowski measurability criterion for compact subsets of Euclidean spaces
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
We establish pointwise and distributional fractal tube formulas for a large class of compact subsets of Euclidean spaces of arbitrary dimensions. These formulas are expressed as sums of residues of suitable meromorphic functions over the complex dimensions of the compact set under consideration (i.e., over the poles of its fractal zeta function). Our results generalize to higher dimensions (and in…
▽ More
We establish pointwise and distributional fractal tube formulas for a large class of compact subsets of Euclidean spaces of arbitrary dimensions. These formulas are expressed as sums of residues of suitable meromorphic functions over the complex dimensions of the compact set under consideration (i.e., over the poles of its fractal zeta function). Our results generalize to higher dimensions (and in a significant way) the corresponding ones previously obtained for fractal strings by the first author and van Frankenhuijsen. They are illustrated by several examples and applied to yield a new Minkowski measurability criterion.
△ Less
Submitted 9 May, 2017; v1 submitted 20 November, 2014;
originally announced November 2014.
-
Fractal Zeta Functions and Complex Dimensions of Relative Fractal Drums
Authors:
Michel L. Lapidus,
Goran Radunović,
Darko Žubrinić
Abstract:
The theory of 'zeta functions of fractal strings' has been initiated by the first author in the early 1990s, and developed jointly with his collaborators during almost two decades of intensive research in numerous articles and several monographs. In 2009, the same author introduced a new class of zeta functions, called `distance zeta functions', which since then, has enabled us to extend the exist…
▽ More
The theory of 'zeta functions of fractal strings' has been initiated by the first author in the early 1990s, and developed jointly with his collaborators during almost two decades of intensive research in numerous articles and several monographs. In 2009, the same author introduced a new class of zeta functions, called `distance zeta functions', which since then, has enabled us to extend the existing theory of zeta functions of fractal strings and sprays to arbitrary bounded (fractal) sets in Euclidean spaces of any dimension. A natural and closely related tool for the study of distance zeta functions is the class of 'tube zeta functions', defined using the tube function of a fractal set. These three classes of zeta functions, under the name of 'fractal zeta functions', exhibit deep connections with Minkowski contents and upper box dimensions, as well as, more generally, with the complex dimensions of fractal sets. Further extensions include zeta functions of relative fractal drums, the box dimension of which can assume negative values, including minus infinity. We also survey some results concerning the existence of the meromorphic extensions of the spectral zeta functions of fractal drums, based in an essential way on earlier results of the first author on the spectral (or eigenvalue) asymptotics of fractal drums. It follows from these results that the associated spectral zeta function has a (nontrivial) meromorphic extension, and we use some of our results about fractal zeta functions to show the new fact according to which the upper bound obtained for the corresponding abscissa of meromorphic convergence is optimal. Finally, we conclude this survey article by proposing several open problems and directions for future research in this area.
△ Less
Submitted 16 November, 2014; v1 submitted 30 July, 2014;
originally announced July 2014.
-
Truncated Infinitesimal Shifts, Spectral Operators and Quantized Universality of the Riemann Zeta Function
Authors:
Hafedh Herichi,
Michel L. Lapidus
Abstract:
We survey some of the universality properties of the Riemann zeta function $ζ(s)$ and then explain how to obtain a natural quantization of Voronin's universality theorem (and of its various extensions). Our work builds on the theory of complex fractal dimensions for fractal strings developed by the second author and M. van Frankenhuijsen in \cite{La-vF4}. It also makes an essential use of the func…
▽ More
We survey some of the universality properties of the Riemann zeta function $ζ(s)$ and then explain how to obtain a natural quantization of Voronin's universality theorem (and of its various extensions). Our work builds on the theory of complex fractal dimensions for fractal strings developed by the second author and M. van Frankenhuijsen in \cite{La-vF4}. It also makes an essential use of the functional analytic framework developed by the authors in \cite{HerLa1} for rigorously studying the spectral operator $\mathfrak{a}$ (mapping the geometry onto the spectrum of generalized fractal strings), and the associated infinitesimal shift $\partial$ of the real line: $\mathfrak{a}=ζ(\partial)$. In the quantization (or operator-valued) version of the universality theorem for the Riemann zeta function $ζ(s)$ proposed here, the role played by the complex variable $s$ in the classical universality theorem is now played by the family of `truncated infinitesimal shifts' introduced in \cite{HerLa1} to study the invertibility of the spectral operator in connection with a spectral reformulation of the Riemann hypothesis as an inverse spectral problem for fractal strings. This latter work provided an operator-theoretic version of the spectral reformulation obtained by the second author and H. Maier in \cite{LaMa2}. In the long term, our work (along with \cite{La5, La6}), is aimed in part at providing a natural quantization of various aspects of analytic number theory and arithmetic geometry.
△ Less
Submitted 24 February, 2015; v1 submitted 16 May, 2013;
originally announced May 2013.
-
The Decimation Method for Laplacians on Fractals: Spectra and Complex Dynamics
Authors:
Nishu Lal,
Michel L. Lapidus
Abstract:
In this survey article, we investigate the spectral properties of fractal differential operators on self-similar fractals. In particular, we discuss the decimation method, which introduces a renormalization map whose dynamics describes the spectrum of the operator. In the case of the bounded Sierpinski gasket, the renormalization map is a polynomial of one variable on the complex plane. The decima…
▽ More
In this survey article, we investigate the spectral properties of fractal differential operators on self-similar fractals. In particular, we discuss the decimation method, which introduces a renormalization map whose dynamics describes the spectrum of the operator. In the case of the bounded Sierpinski gasket, the renormalization map is a polynomial of one variable on the complex plane. The decimation method has been generalized by C. Sabot to other fractals with blow-ups and the resulting associated renormalization map is then a multi-variable rational function on a complex projective space. Furthermore, the dynamics associated with the iteration of the renormalization map plays a key role in obtaining a suitable factorization of the spectral zeta function of fractal differential operators. In this context, we discuss the works of A. Teplyaev and of the authors regarding the examples of the bounded and unbounded Sierpinski gaskets as well as of fractal Sturm-Liouville differential operators on the half-line.
△ Less
Submitted 23 March, 2014; v1 submitted 16 February, 2013;
originally announced February 2013.
-
Dirac operators and geodesic metric on the harmonic Sierpinski gasket and other fractal sets
Authors:
Michel L. Lapidus,
Jonathan J. Sarhad
Abstract:
We construct Dirac operators and spectral triples for certain, not necessarily self-similar, fractal sets built on curves. Connes' distance formula of noncommutative geometry provides a natural metric on the fractal. To motivate the construction, we address Kigami's measurable Riemannian geometry, which is a metric realization of the Sierpinski gasket as a self-affine space with continuously diffe…
▽ More
We construct Dirac operators and spectral triples for certain, not necessarily self-similar, fractal sets built on curves. Connes' distance formula of noncommutative geometry provides a natural metric on the fractal. To motivate the construction, we address Kigami's measurable Riemannian geometry, which is a metric realization of the Sierpinski gasket as a self-affine space with continuously differentiable geodesics. As a fractal analog of Connes' theorem for a compact Riemmanian manifold, it is proved that the natural metric coincides with Kigami's geodesic metric. This present work extends to the harmonic gasket and other fractals built on curves a significant part of the earlier results of E. Christensen, C. Ivan, and the first author obtained, in particular, for the Euclidean Sierpinski gasket. (As is now well known, the harmonic gasket, unlike the Euclidean gasket, is ideally suited to analysis on fractals. It can be viewed as the Euclidean gasket in harmonic coordinates.) Our current, broader framework allows for a variety of potential applications to geometric analysis on fractal manifolds.
△ Less
Submitted 14 June, 2015; v1 submitted 4 December, 2012;
originally announced December 2012.
-
Fractal Complex Dimensions, Riemann Hypothesis and Invertibility of the Spectral Operator
Authors:
Hafedh Herichi,
Michel L. Lapidus
Abstract:
A spectral reformulation of the Riemann hypothesis was obtained in [LaMa2] by the second author and H. Maier in terms of an inverse spectral problem for fractal strings. This problem is related to the question "Can one hear the shape of a fractal drum?" and was shown in [LaMa2] to have a positive answer for fractal strings whose dimension is $c\in(0,1)-\{1/2}$ if and only if the Riemann hypothesis…
▽ More
A spectral reformulation of the Riemann hypothesis was obtained in [LaMa2] by the second author and H. Maier in terms of an inverse spectral problem for fractal strings. This problem is related to the question "Can one hear the shape of a fractal drum?" and was shown in [LaMa2] to have a positive answer for fractal strings whose dimension is $c\in(0,1)-\{1/2}$ if and only if the Riemann hypothesis is true. Later on, the spectral operator was introduced heuristically by M. L. Lapidus and M. van Frankenhuijsen in their theory of complex fractal dimensions [La-vF2, La-vF3] as a map that sends the geometry of a fractal string onto its spectrum. We focus here on presenting the rigorous results obtained by the authors in [HerLa1] about the invertibility of the spectral operator. We show that given any $c\geq0$, the spectral operator $\mathfrak{a}=\mathfrak{a}_{c}$, now precisely defined as an unbounded normal operator acting in a Hilbert space $\mathbb{H}_{c}$, is `quasi-invertible' (i.e., its truncations are invertible) if and only if the Riemann zeta function $ζ=ζ(s)$ does not have any zeroes on the line $Re(s)=c$. It follows that the associated inverse spectral problem has a positive answer for all possible dimensions $c\in (0,1)$, other than the mid-fractal case when $c=1/2$, if and only if the Riemann hypothesis is true.
△ Less
Submitted 5 February, 2013; v1 submitted 2 October, 2012;
originally announced October 2012.
-
The current state of fractal billiards
Authors:
Michel L. Lapidus,
Robert G. Niemeyer
Abstract:
If D is a rational polygon, then the associated rational billiard table is given by Ω(D). Such a billiard table is well understood. If F is a closed fractal curve approximated by a sequence of rational polygons, then the corresponding fractal billiard table is denoted by Ω(F). In this paper, we survey many of the results from [LapNie1-3] for the Koch snowflake fractal billiard Ω(KS) and announce n…
▽ More
If D is a rational polygon, then the associated rational billiard table is given by Ω(D). Such a billiard table is well understood. If F is a closed fractal curve approximated by a sequence of rational polygons, then the corresponding fractal billiard table is denoted by Ω(F). In this paper, we survey many of the results from [LapNie1-3] for the Koch snowflake fractal billiard Ω(KS) and announce new results on two other fractal billiard tables, namely, the T-fractal billiard table Ω(T) (see [LapNie6]) and a self-similar Sierpinski carpet billiard table Ω(S_a) (see [CheNie]).
We build a general framework within which to analyze what we call a sequence of compatible orbits. Properties of particular sequences of compatible orbits are discussed for each prefractal billiard Ω(KS_n), Ω(T_n) and Ω(S_a,n), for n = 0, 1, 2... . In each case, we are able to determine a particular limiting behavior for an appropriately formulated sequence of compatible orbits. Such a limit either constitutes what we call a nontrivial path of a fractal billiard table Ω(F) or else a periodic orbit of Ω(F) with finite period. In our examples, F will be either KS, T or S_a. Several of the results and examples discussed in this paper are presented for the first time.
We then close with a brief discussion of open problems and directions for further research in the emerging field of fractal billiards.
△ Less
Submitted 23 March, 2014; v1 submitted 30 September, 2012;
originally announced October 2012.
-
Minkowski Measurability and Exact Fractal Tube Formulas for p-Adic Self-Similar Strings
Authors:
Michel L. Lapidus,
Lu Hung,
Machiel van Frankenhuijsen
Abstract:
The theory of p-adic fractal strings and their complex dimensions was developed by the first two authors in [17, 18, 19], particularly in the self-similar case, in parallel with its archimedean (or real) counterpart developed by the first and third author in [28]. Using the fractal tube formula obtained by the authors for p-adic fractal strings in [20], we present here an exact volume formula for…
▽ More
The theory of p-adic fractal strings and their complex dimensions was developed by the first two authors in [17, 18, 19], particularly in the self-similar case, in parallel with its archimedean (or real) counterpart developed by the first and third author in [28]. Using the fractal tube formula obtained by the authors for p-adic fractal strings in [20], we present here an exact volume formula for the tubular neighborhood of a p-adic self-similar fractal string Lp, expressed in terms of the underlying complex dimensions. The periodic structure of the complex dimensions allows one to obtain a very concrete form for the resulting fractal tube formula. Moreover, we derive and use a truncated version of this fractal tube formula in order to show that Lp is not Minkowski measurable and obtain an explicit expression for its average Minkowski content. The general theory is illustrated by two simple examples, the 3-adic Cantor string and the 2-adic Fibonacci strings, which are nonarchimedean analogs (introduced in [17, 18]) of the real Cantor and Fibonacci strings studied in [28].
△ Less
Submitted 26 March, 2014; v1 submitted 28 September, 2012;
originally announced September 2012.
-
Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension
Authors:
Michel L. Lapidus,
John A. Rock,
Darko Žubrinić
Abstract:
We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions; the similarity dimension via the Moran equation (at least in the case of self-similar sets); the order of the (box-)counting function; the classic result on co…
▽ More
We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions; the similarity dimension via the Moran equation (at least in the case of self-similar sets); the order of the (box-)counting function; the classic result on compact subsets of the real line due to Besicovitch and Taylor, as adapted to the theory of fractal strings; and the abscissae of convergence of new classes of zeta functions. Specifically, we define box-counting zeta functions of infinite bounded subsets of Euclidean space and discuss results pertaining to distance and tube zeta functions. Appealing to an analysis of these zeta functions allows for the development of theories of complex dimensions for bounded sets in Euclidean space, extending techniques and results regarding (ordinary) fractal strings obtained by the first author and van Frankenhuijsen.
△ Less
Submitted 31 January, 2013; v1 submitted 27 July, 2012;
originally announced July 2012.
-
Multifractal analysis via scaling zeta functions and recursive structure of lattice strings
Authors:
Rolando de Santiago,
Michel L. Lapidus,
Scott A. Roby,
John A. Rock
Abstract:
The multifractal structure underlying a self-similar measure stems directly from the weighted self-similar system (or weighted iterated function system) which is used to construct the measure. This follows much in the way that the dimension of a self-similar set, be it the Hausdorff, Minkowski, or similarity dimension, is determined by the scaling ratios of the corresponding self-similar system vi…
▽ More
The multifractal structure underlying a self-similar measure stems directly from the weighted self-similar system (or weighted iterated function system) which is used to construct the measure. This follows much in the way that the dimension of a self-similar set, be it the Hausdorff, Minkowski, or similarity dimension, is determined by the scaling ratios of the corresponding self-similar system via Moran's theorem. The multifractal structure allows for our definition of scaling regularity and scaling zeta functions motivated by geometric zeta functions and, in particular, partition zeta functions. Some of the results of this paper consolidate and partially extend the results regarding a multifractal analysis for certain self-similar measures supported on compact subsets of a Euclidean space based on partition zeta functions. Specifically, scaling zeta functions generalize partition zeta functions when the choice of the family of partitions is given by the natural family of partitions determined by the self-similar system in question. Moreover, in certain cases, self-similar measures can be shown to exhibit lattice or nonlattice structure with respect to specified scaling regularity values. Additionally, in the context provided by generalized fractal strings viewed as measures, we define generalized self-similar strings, allowing for the examination of many of the results presented here in a specific overarching context and for a connection to the results regarding the corresponding complex dimensions as roots of Dirichlet polynomials. Furthermore, generalized lattice strings and recursive strings are defined and shown to be very closely related.
△ Less
Submitted 24 January, 2013; v1 submitted 27 July, 2012;
originally announced July 2012.
-
Sequences of compatible periodic hybrid orbits of prefractal Koch snowflake billiards
Authors:
Michel L. Lapidus,
Robert G. Niemeyer
Abstract:
The Koch snowflake KS is a nowhere differentiable curve. The billiard table Omega(KS) with boundary KS is, a priori, not well defined. That is, one cannot a priori determine the minimal path traversed by a billiard ball subject to a collision in the boundary of the table. It is this problem which makes Omega(KS) such an interesting, yet difficult, table to analyze. In this paper, we approach this…
▽ More
The Koch snowflake KS is a nowhere differentiable curve. The billiard table Omega(KS) with boundary KS is, a priori, not well defined. That is, one cannot a priori determine the minimal path traversed by a billiard ball subject to a collision in the boundary of the table. It is this problem which makes Omega(KS) such an interesting, yet difficult, table to analyze. In this paper, we approach this problem by approximating (from the inside) Omega(KS) by well-defined (prefractal) rational polygonal billiard tables Omega(KS_n). We first show that the flat surface S(KS_n) determined from the rational billiard Omega(KS_n) is a branched cover of the singly punctured hexagonal torus. Such a result, when combined with the results of [Gut2], allows us to define a sequence of compatible orbits of prefractal billiards. We define a hybrid orbit of a prefractal billiard Omega(KS_n) and show that every dense orbit of a prefractal billiard is a dense hybrid orbit of Omega(KS_n). This result is key in obtaining a topological dichotomy for a sequence of compatible orbits. Furthermore, we determine a sufficient condition for a sequence of compatible orbits to be a sequence of compatible periodic hybrid orbits. We then examine the limiting behavior of a sequence of compatible periodic hybrid orbits. We show that the trivial limit of particular (eventually) constant sequences of compatible hybrid orbits constitutes an orbit of Omega(KS). In addition, we show that the union of two suitably chosen nontrivial polygonal paths connects two elusive limit points of the Koch snowflake. Finally, we discuss how it may be possible for our results to be generalized to other fractal billiard tables and how understanding the structures of the Veech groups of the prefractal billiards may help in determining `fractal flat surfaces' naturally associated with the billiard flows.
△ Less
Submitted 13 April, 2012;
originally announced April 2012.
-
Riemann Zeroes and Phase Transitions via the Spectral Operator on Fractal Strings
Authors:
Hafedh Herichi,
Michel L. Lapidus
Abstract:
The spectral operator was introduced by M. L. Lapidus and M. van Frankenhuijsen [La-vF3] in their reinterpretation of the earlier work of M. L. Lapidus and H. Maier [LaMa2] on inverse spectral problems and the Riemann hypothesis. In essence, it is a map that sends the geometry of a fractal string onto its spectrum. In this survey paper, we present the rigorous functional analytic framework given b…
▽ More
The spectral operator was introduced by M. L. Lapidus and M. van Frankenhuijsen [La-vF3] in their reinterpretation of the earlier work of M. L. Lapidus and H. Maier [LaMa2] on inverse spectral problems and the Riemann hypothesis. In essence, it is a map that sends the geometry of a fractal string onto its spectrum. In this survey paper, we present the rigorous functional analytic framework given by the authors in [HerLa1] and within which to study the spectral operator. Furthermore, we also give a necessary and sufficient condition for the invertibility of the spectral operator (in the critical strip) and therefore obtain a new spectral and operator-theoretic reformulation of the Riemann hypothesis. More specifically, we show that the spectral operator is invertible (or equivalently, that zero does not belong to its spectrum) if and only if the Riemann zeta function zeta(s) does not have any zeroes on the vertical line Re(s)=c. Hence, it is not invertible in the mid-fractal case when c=1/2, and it is invertible everywhere else (i.e., for all c in(0,1) with c not equal to 1/2) if and only if the Riemann hypothesis is true. We also show the existence of four types of (mathematical) phase transitions occurring for the spectral operator at the critical fractal dimension c=1/2 and c=1 concerning the shape of the spectrum, its boundedness, its invertibility as well as its quasi-invertibility.
△ Less
Submitted 30 May, 2012; v1 submitted 21 March, 2012;
originally announced March 2012.
-
The Geometry of p-Adic Fractal Strings: A Comparative Survey
Authors:
Michel L. Lapidus,
Hung Lu
Abstract:
We give a brief overview of the theory of complex dimensions of real (archimedean) fractal strings via an illustrative example, the ordinary Cantor string, and a detailed survey of the theory of p-adic (nonarchimedean) fractal strings and their complex dimensions. Moreover, we present an explicit volume formula for the tubular neighborhood of a p-adic fractal string Lp, expressed in terms of the u…
▽ More
We give a brief overview of the theory of complex dimensions of real (archimedean) fractal strings via an illustrative example, the ordinary Cantor string, and a detailed survey of the theory of p-adic (nonarchimedean) fractal strings and their complex dimensions. Moreover, we present an explicit volume formula for the tubular neighborhood of a p-adic fractal string Lp, expressed in terms of the underlying complex dimensions. Special attention will be focused on p-adic self-similar strings, in which the nonarchimedean theory takes a more natural form than its archimedean counterpart. In contrast with the archimedean setting, all p-adic self-similar strings are lattice and hence, their complex dimensions (as well as their zeros) are periodically distributed along finitely many vertical lines. The general theory is illustrated by some simple examples, the nonarchimedean Cantor, Euler, and Fibonacci strings. Throughout this comparative survey of the archimedean and nonarchimedean theories of fractal (and possibly, self-similar) strings, we discuss analogies and differences between the real and p-adic situations. We close this paper by proposing several directions for future research, including seemingly new and challenging problems in p-adic (or rather, nonarchimedean) harmonic and functional analysis, as well as spectral theory.
△ Less
Submitted 15 May, 2011;
originally announced May 2011.
-
Families of Periodic Orbits of the Koch Snowflake Fractal Billiard
Authors:
Michel L. Lapidus,
Robert G. Niemeyer
Abstract:
We describe the periodic orbits of the prefractal Koch snowflake billiard (the nth inner rational polygonal approximation of the Koch snowflake billiard). In the case of the finite (prefractal) billiard table, we focus on the direction given by an initial angle of pi/3, and define 1) a compatible sequence of piecewise Fagnano orbits, 2) an eventually constant compatible sequence of orbits and 3) a…
▽ More
We describe the periodic orbits of the prefractal Koch snowflake billiard (the nth inner rational polygonal approximation of the Koch snowflake billiard). In the case of the finite (prefractal) billiard table, we focus on the direction given by an initial angle of pi/3, and define 1) a compatible sequence of piecewise Fagnano orbits, 2) an eventually constant compatible sequence of orbits and 3) a compatible sequence of generalized piecewise Fagnano orbits. In the case of the infinite (fractal) billiard table, we will describe what we call stabilizing periodic orbits of the Koch snowflake fractal billiard. In a sense, we show that it is possible to define billiard dynamics on a Cantor set. In addition, we will show that the inverse limit of the footprints of orbits of the prefractal approximations exists in a specific situation and provide a plausibility argument as to why such an inverse limit of footprints should constitute the footprint of a well-defined periodic orbit of the fractal billiard. Using known results for the inverse limit of a sequence of finite spaces, we deduce that the footprint (i.e., the intersection of the orbit with the boundary) of a piecewise Fagnano orbit is a topological Cantor set and a self-similar Cantor set. We allude to a possible characterization of orbits with an initial direction of pi/3. Such a characterization would allow one to describe an orbit with an initial direction of pi/3 of the Koch snowflake billiard as either a piecewise Fagnano orbit, a stabilizing orbit or a generalized piecewise Fagnano orbit. We then close the paper by discussing several outstanding open problems and conjectures about the Koch snowflake fractal billiard, the associated 'fractal flat surface', and possible connections with the associated fractal drum. In the long-term, the present work may help lay the foundations for a general theory of fractal billiards.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
Minkowski measurability results for self-similar tilings and fractals with monophase generators
Authors:
Michel L. Lapidus,
Erin P. J. Pearse,
Steffen Winter
Abstract:
In a previous paper [arXiv:1006.3807], the authors obtained tube formulas for certain fractals under rather general conditions. Based on these formulas, we give here a characterization of Minkowski measurability of a certain class of self-similar tilings and self-similar sets. Under appropriate hypotheses, self-similar tilings with simple generators (more precisely, monophase generators) are shown…
▽ More
In a previous paper [arXiv:1006.3807], the authors obtained tube formulas for certain fractals under rather general conditions. Based on these formulas, we give here a characterization of Minkowski measurability of a certain class of self-similar tilings and self-similar sets. Under appropriate hypotheses, self-similar tilings with simple generators (more precisely, monophase generators) are shown to be Minkowski measurable if and only if the associated scaling zeta function is of nonlattice type. Under a natural geometric condition on the tiling, the result is transferred to the associated self-similar set (i.e., the fractal itself). Also, the latter is shown to be Minkowski measurable if and only if the associated scaling zeta function is of nonlattice type.
△ Less
Submitted 22 December, 2012; v1 submitted 8 April, 2011;
originally announced April 2011.
-
Partition zeta functions, multifractal spectra, and tapestries of complex dimensions
Authors:
Kate E. Ellis,
Michel L. Lapidus,
Michael C. Mackenzie,
John A. Rock
Abstract:
For a Borel measure and a sequence of partitions on the unit interval, we define a multifractal spectrum based on coarse Holder regularity. Specifically, the coarse Holder regularity values attained by a given measure and with respect to a sequence of partitions generate a sequence of lengths (or rather, scales) which in turn define certain Dirichlet series, called the partition zeta functions. Th…
▽ More
For a Borel measure and a sequence of partitions on the unit interval, we define a multifractal spectrum based on coarse Holder regularity. Specifically, the coarse Holder regularity values attained by a given measure and with respect to a sequence of partitions generate a sequence of lengths (or rather, scales) which in turn define certain Dirichlet series, called the partition zeta functions. The abscissae of convergence of these functions define a multifractal spectrum whose concave envelope is the (geometric) Hausdorff multifractal spectrum which follows from a certain type of Moran construction. We discuss at some length the important special case of self-similar measures associated with weighted iterated function systems and, in particular, certain multinomial measures. Moreover, our multifractal spectrum is shown to extend to a tapestry of complex dimensions for two specific atomic measures.
△ Less
Submitted 27 April, 2011; v1 submitted 8 July, 2010;
originally announced July 2010.
-
Pointwise tube formulas for fractal sprays and self-similar tilings with arbitrary generators
Authors:
Michel L. Lapidus,
Erin P. J. Pearse,
Steffen Winter
Abstract:
In a previous paper by the first two authors, a tube formula for fractal sprays was obtained which also applies to a certain class of self-similar fractals. The proof of this formula uses distributional techniques and requires fairly strong conditions on the geometry of the tiling (specifically, the inner tube formula for each generator of the fractal spray is required to be polynomial). Now we ex…
▽ More
In a previous paper by the first two authors, a tube formula for fractal sprays was obtained which also applies to a certain class of self-similar fractals. The proof of this formula uses distributional techniques and requires fairly strong conditions on the geometry of the tiling (specifically, the inner tube formula for each generator of the fractal spray is required to be polynomial). Now we extend and strengthen the tube formula by removing the conditions on the geometry of the generators, and also by giving a proof which holds pointwise, rather than distributionally.
Hence, our results for fractal sprays extend to higher dimensions the pointwise tube formula for (1-dimensional) fractal strings obtained earlier by Lapidus and van Frankenhuijsen.
Our pointwise tube formulas are expressed as a sum of the residues of the "tubular zeta function" of the fractal spray in $\mathbb{R}^d$. This sum ranges over the complex dimensions of the spray, that is, over the poles of the geometric zeta function of the underlying fractal string and the integers $0,1,...,d$. The resulting "fractal tube formulas" are applied to the important special case of self-similar tilings, but are also illustrated in other geometrically natural situations. Our tube formulas may also be seen as fractal analogues of the classical Steiner formula.
△ Less
Submitted 14 April, 2011; v1 submitted 18 June, 2010;
originally announced June 2010.
-
Towards the Koch Snowflake Fractal Billiard: Computer Experiments and Mathematical Conjectures
Authors:
Michel L. Lapidus,
Robert G. Niemeyer
Abstract:
In this paper, we attempt to define and understand the orbits of the Koch snowflake fractal billiard $KS$. This is a priori a very difficult problem because $\partial(KS)$, the snowflake curve boundary of $KS$, is nowhere differentiable, making it impossible to apply the usual law of reflection at any point of the boundary of the billiard table. Consequently, we view the prefractal billiards…
▽ More
In this paper, we attempt to define and understand the orbits of the Koch snowflake fractal billiard $KS$. This is a priori a very difficult problem because $\partial(KS)$, the snowflake curve boundary of $KS$, is nowhere differentiable, making it impossible to apply the usual law of reflection at any point of the boundary of the billiard table. Consequently, we view the prefractal billiards $KS_n$ (naturally approximating $KS$ from the inside) as rational polygonal billiards and examine the corresponding flat surfaces of $KS_n$, denoted by $\mathcal{S}_{KS_n}$. In order to develop a clearer picture of what may possibly be happening on the billiard $KS$, we simulate billiard trajectories on $KS_n$ (at first, for a fixed $n\geq 0$). Such computer experiments provide us with a wealth of questions and lead us to formulate conjectures about the existence and the geometric properties of periodic orbits of $KS$ and detail a possible plan on how to prove such conjectures.
△ Less
Submitted 19 December, 2009;
originally announced December 2009.
-
Tube formulas for self-similar fractals
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
Tube formulas (by which we mean an explicit formula for the volume of an $ε$-neighbourhood of a subset of a suitable metric space) have been used in many situations to study properties of the subset. For smooth submanifolds of Euclidean space, this includes Weyl's celebrated results on spectral asymptotics, and the subsequent relation between curvature and spectrum. Additionally, a tube formula…
▽ More
Tube formulas (by which we mean an explicit formula for the volume of an $ε$-neighbourhood of a subset of a suitable metric space) have been used in many situations to study properties of the subset. For smooth submanifolds of Euclidean space, this includes Weyl's celebrated results on spectral asymptotics, and the subsequent relation between curvature and spectrum. Additionally, a tube formula contains information about the dimension and measurability of rough sets. In convex geometry, the tube formula of a convex subset of Euclidean space allows for the definition of certain curvature measures. These measures describe the curvature of sets which are not too irregular to support derivatives. In this survey paper, we describe some recent advances in the development of tube formulas for self-similar fractals, and their applications and connections to the other topics mentioned here.
△ Less
Submitted 1 November, 2007;
originally announced November 2007.
-
Dirac operators and spectral triples for some fractal sets built on curves
Authors:
Erik Christensen,
Cristina Ivan,
Michel L. Lapidus
Abstract:
We construct spectral triples and, in particular, Dirac operators, for the algebra of continuous functions on certain compact metric spaces. The triples are countable sums of triples where each summand is based on a curve in the space. Several fractals, like a finitely summable infinite tree and the Sierpinski gasket, fit naturally within our framework. In these cases, we show that our spectral…
▽ More
We construct spectral triples and, in particular, Dirac operators, for the algebra of continuous functions on certain compact metric spaces. The triples are countable sums of triples where each summand is based on a curve in the space. Several fractals, like a finitely summable infinite tree and the Sierpinski gasket, fit naturally within our framework. In these cases, we show that our spectral triples do describe the geodesic distance and the Minkowski dimension as well as, more generally, the complex fractal dimensions of the space. Furthermore, in the case of the Sierpinski gasket, the associated Dixmier-type trace coincides with the normalized Hausdorff measure of dimension $\log 3/ \log 2$.
△ Less
Submitted 19 June, 2007; v1 submitted 6 October, 2006;
originally announced October 2006.
-
Localization on Snowflake Domains
Authors:
Britta Daudert,
Michel L. Lapidus
Abstract:
The geometric features of the square and triadic Koch snowflake drums are compared using a position entropy defined on the grid points of the discretizations (pre-fractals) of the two domains. Weighted graphs using the geometric quantities are created and random walks on the two pre-fractals are performed. The aim is to understand if the existence of narrow channels in the domain may cause the `…
▽ More
The geometric features of the square and triadic Koch snowflake drums are compared using a position entropy defined on the grid points of the discretizations (pre-fractals) of the two domains. Weighted graphs using the geometric quantities are created and random walks on the two pre-fractals are performed. The aim is to understand if the existence of narrow channels in the domain may cause the `localization' of eigenfunctions.
△ Less
Submitted 28 September, 2006;
originally announced September 2006.
-
Ihara's zeta function for periodic graphs and its approximation in the amenable case
Authors:
Daniele Guido,
Tommaso Isola,
Michel L. Lapidus
Abstract:
In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised by Grigorchuk and Zuk. Accor…
▽ More
In this paper, we give a more direct proof of the results by Clair and Mokhtari-Sharghi on the zeta functions of periodic graphs. In particular, using appropriate operator-algebraic techniques, we establish a determinant formula in this context and examine its consequences for the Ihara zeta function. Moreover, we answer in the affirmative one of the questions raised by Grigorchuk and Zuk. Accordingly, we show that the zeta function of a periodic graph with an amenable group action is the limit of the zeta functions of a suitable sequence of finite subgraphs.
△ Less
Submitted 9 August, 2006;
originally announced August 2006.
-
A trace on fractal graphs and the Ihara zeta function
Authors:
Daniele Guido,
Tommaso Isola,
Michel L. Lapidus
Abstract:
Starting with Ihara's work in 1968, there has been a growing interest in the study of zeta functions of finite graphs, by Sunada, Hashimoto, Bass, Stark and Terras, Mizuno and Sato, to name just a few authors. Then, Clair and Mokhtari-Sharghi have studied zeta functions for infinite graphs acted upon by a discrete group of automorphisms. The main formula in all these treatments establishes a con…
▽ More
Starting with Ihara's work in 1968, there has been a growing interest in the study of zeta functions of finite graphs, by Sunada, Hashimoto, Bass, Stark and Terras, Mizuno and Sato, to name just a few authors. Then, Clair and Mokhtari-Sharghi have studied zeta functions for infinite graphs acted upon by a discrete group of automorphisms. The main formula in all these treatments establishes a connection between the zeta function, originally defined as an infinite product, and the Laplacian of the graph. In this article, we consider a different class of infinite graphs. They are fractal graphs, i.e. they enjoy a self-similarity property. We define a zeta function for these graphs and, using the machinery of operator algebras, we prove a determinant formula, which relates the zeta function with the Laplacian of the graph. We also prove functional equations, and a formula which allows approximation of the zeta function by the zeta functions of finite subgraphs.
△ Less
Submitted 22 October, 2008; v1 submitted 2 August, 2006;
originally announced August 2006.
-
Ihara zeta functions for periodic simple graphs
Authors:
Daniele Guido,
Tommaso Isola,
Michel L. Lapidus
Abstract:
The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.
The definition and main properties of the Ihara zeta function for graphs are reviewed, focusing mainly on the case of periodic simple graphs. Moreover, we give a new proof of the associated determinant formula, based on the treatment developed by Stark and Terras for finite graphs.
△ Less
Submitted 5 March, 2007; v1 submitted 30 May, 2006;
originally announced May 2006.
-
Tube formulas and complex dimensions of self-similar tilings
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
We use the self-similar tilings constructed by the second author in "Canonical self-affine tilings by iterated function systems" to define a generating function for the geometry of a self-similar set in Euclidean space. This tubular zeta function encodes scaling and curvature properties related to the complement of the fractal set, and the associated system of mappings. This allows one to obtain t…
▽ More
We use the self-similar tilings constructed by the second author in "Canonical self-affine tilings by iterated function systems" to define a generating function for the geometry of a self-similar set in Euclidean space. This tubular zeta function encodes scaling and curvature properties related to the complement of the fractal set, and the associated system of mappings. This allows one to obtain the complex dimensions of the self-similar tiling as the poles of the tubular zeta function and hence develop a tube formula for self-similar tilings in \$\mathbb{R}^d$. The resulting power series in $ε$ is a fractal extension of Steiner's classical tube formula for convex bodies $K \ci \bRd$. Our sum has coefficients related to the curvatures of the tiling, and contains terms for each integer $i=0,1,...,d-1$, just as Steiner's does. However, our formula also contains terms for each complex dimension. This provides further justification for the term "complex dimension". It also extends several aspects of the theory of fractal strings to higher dimensions and sheds new light on the tube formula for fractals strings obtained in "Fractal Geometry and Complex Dimensions" by the first author and Machiel van Frankenhuijsen.
△ Less
Submitted 9 June, 2010; v1 submitted 18 May, 2006;
originally announced May 2006.
-
A tube formula for the Koch snowflake curve, with applications to complex dimensions
Authors:
Michel L. Lapidus,
Erin P. J. Pearse
Abstract:
A formula for the interior epsilon-neighborhood of the classical von Koch snowflake curve is computed in detail. This function of epsilon is shown to match quite closely with earlier predictions of what it should be, but is also much more precise. The resulting `tube formula' is expressed in terms of the Fourier coefficients of a suitable nonlinear and periodic analogue of the standard Cantor st…
▽ More
A formula for the interior epsilon-neighborhood of the classical von Koch snowflake curve is computed in detail. This function of epsilon is shown to match quite closely with earlier predictions of what it should be, but is also much more precise. The resulting `tube formula' is expressed in terms of the Fourier coefficients of a suitable nonlinear and periodic analogue of the standard Cantor staircase function and reflects the self-similarity of the Koch curve. As a consequence, the possible complex dimensions of the Koch snowflake are computed explicitly.
△ Less
Submitted 7 November, 2005; v1 submitted 9 December, 2004;
originally announced December 2004.
-
Beurling Zeta Functions, Generalised Primes, and Fractal Membranes
Authors:
T. W. Hilberdink,
M. L. Lapidus
Abstract:
We study generalised prime systems $\mathcal{P}$ $(1<p_1\leq p_2\leq...,$ with $p_j\in\R$ tending to infinity) and the associated Beurling zeta function $ζ_{\mathcal{P}}(s) =\prod_{j=1}^{\infty} (1-p_j^{-s})^{-1}$. Under appropriate assumptions, we establish various analytic properties of $ζ_{\mathcal{P}}(s)$, including its analytic continuation and we characterise the existence of a suitable ge…
▽ More
We study generalised prime systems $\mathcal{P}$ $(1<p_1\leq p_2\leq...,$ with $p_j\in\R$ tending to infinity) and the associated Beurling zeta function $ζ_{\mathcal{P}}(s) =\prod_{j=1}^{\infty} (1-p_j^{-s})^{-1}$. Under appropriate assumptions, we establish various analytic properties of $ζ_{\mathcal{P}}(s)$, including its analytic continuation and we characterise the existence of a suitable generalised functional equation. In particular, we examine the relationship between a counterpart of the Prime Number Theorem (with error term) and the properties of the analytic continuation of $ζ_{\mathcal{P}}(s)$. Further we study `well-behaved' g-prime systems, namely, systems for which both the prime and integer counting function are asymptotically well-behaved. Finally, we show that there exists a natural correspondence between generalised prime systems and suitable orders on $\N^2$.
Some of the above results may be relevant to the second author's theory of `fractal membranes', whose spectral partition functions are precisely given by Beurling zeta functions.
△ Less
Submitted 11 October, 2004;
originally announced October 2004.
-
Fractality, Self-Similarity and Complex Dimensions
Authors:
Michel L. Lapidus,
Machiel van Frankenhuijsen
Abstract:
We present an overview of a theory of complex dimensions of self-similar fractal strings, and compare this theory to the theory of varieties over a finite field from the geometric and the dynamical point of view. Then we combine the several strands to discuss a possible approach to establishing a cohomological interpretation of the complex dimensions.
We present an overview of a theory of complex dimensions of self-similar fractal strings, and compare this theory to the theory of varieties over a finite field from the geometric and the dynamical point of view. Then we combine the several strands to discuss a possible approach to establishing a cohomological interpretation of the complex dimensions.
△ Less
Submitted 14 January, 2004;
originally announced January 2004.
-
A Prime Orbit Theorem for Self-Similar Flows and Diophantine Approximation
Authors:
Michel Lapidus,
Machiel van Frankenhuysen
Abstract:
Assuming some regularity of the dynamical zeta function, we establish an explicit formula with an error term for the prime orbit counting function of a suspended flow. We define the subclass of self-similar flows, for which we give an extensive analysis of the error term in the corresponding prime orbit theorem.
Assuming some regularity of the dynamical zeta function, we establish an explicit formula with an error term for the prime orbit counting function of a suspended flow. We define the subclass of self-similar flows, for which we give an extensive analysis of the error term in the corresponding prime orbit theorem.
△ Less
Submitted 6 November, 2001;
originally announced November 2001.
