Showing 1–50 of 65 results for author: Teplyaev, A

Convergence, optimization and stability of singular eigenmaps

Authors: Bernard Akwei, Bobita Atkins, Rachel Bailey, Ashka Dalal, Natalie Dinin, Jonathan Kerby-White, Tess McGuinness, Tonya Patricks, Luke Rogers, Genevieve Romanelli, Yiheng Su, Alexander Teplyaev

Abstract: Eigenmaps are important in analysis, geometry, and machine learning, especially in nonlinear dimension reduction. Approximation of the eigenmaps of a Laplace operator depends crucially on the scaling parameter $ε$. If $ε$ is too small or too large, then the approximation is inaccurate or completely breaks down. However, an analytic expression for the optimal $ε$ is out of reach. In our work, we us… ▽ More Eigenmaps are important in analysis, geometry, and machine learning, especially in nonlinear dimension reduction. Approximation of the eigenmaps of a Laplace operator depends crucially on the scaling parameter $ε$. If $ε$ is too small or too large, then the approximation is inaccurate or completely breaks down. However, an analytic expression for the optimal $ε$ is out of reach. In our work, we use some explicitly solvable models and Monte Carlo simulations to find the approximately optimal range of $ε$ that gives, on average, relatively accurate approximation of the eigenmaps. Numerically we can consider several model situations where eigen-coordinates can be computed analytically, including intervals with uniform and weighted measures, squares, tori, spheres, and the Sierpinski gasket. In broader terms, we intend to study eigen-coordinates on weighted Riemannian manifolds, possibly with boundary, and on some metric measure spaces, such as fractals. △ Less

Submitted 27 June, 2024; originally announced June 2024.

MSC Class: 60D05 28A80 62R07 65J20

Layer potential operators for transmission problems on extension domains

Authors: Gabriel Claret, Michael Hinz, Anna Rozanova-Pierrat, Alexander Teplyaev

Abstract: We use the well-posedness of transmission problems on classes of two-sided Sobolev extension domains to give variational definitions for (boundary) layer potential operators and Neumann-Poincar{é} operators. These classes of domains contain Lipschitz domains, and also domains with fractal boundaries. Although our variational formulation does not involve any measures on the boundary, we recover the… ▽ More We use the well-posedness of transmission problems on classes of two-sided Sobolev extension domains to give variational definitions for (boundary) layer potential operators and Neumann-Poincar{é} operators. These classes of domains contain Lipschitz domains, and also domains with fractal boundaries. Although our variational formulation does not involve any measures on the boundary, we recover the classical results in smooth domains by considering the surface measure on the boundary. We discuss properties of these operators and generalize basic results in imaging beyond the Lipschitz case. △ Less

Submitted 10 June, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Quantitative approach to Grover's quantum walk on graphs

Authors: Gamal Mograby, Radhakrishnan Balu, Kasso A. Okoudjou, Alexander Teplyaev

Abstract: In this paper, we study Grover's search algorithm focusing on continuous-time quantum walk on graphs. We propose an alternative optimization approach to Grover's algorithm on graphs that can be summarized as follows: instead of finding specific graph topologies convenient for the related quantum walk, we fix the graph topology and vary the underlying graph Laplacians. As a result, we search for th… ▽ More In this paper, we study Grover's search algorithm focusing on continuous-time quantum walk on graphs. We propose an alternative optimization approach to Grover's algorithm on graphs that can be summarized as follows: instead of finding specific graph topologies convenient for the related quantum walk, we fix the graph topology and vary the underlying graph Laplacians. As a result, we search for the most appropriate analytical structure on graphs endowed with fixed topologies yielding better search outcomes. We discuss strategies to investigate the optimality of Grover's algorithm and provide an example with an easy tunable graph Laplacian to investigate our ideas. △ Less

Submitted 4 July, 2022; originally announced July 2022.

MSC Class: 81P45; 81Q35; 05C22; 81Q10

Gaps labeling theorem for the Bubble-diamond self-similar graphs

Authors: Elizabeth Melville, Gamal Mograby, Nikhil Nagabandi, Luke Rogers, Alexander Teplyaev

Abstract: Motivated by the appearance of fractals in several areas of physics, especially in solid state physics and the physics of aperiodic order, and in other sciences, including the quantum information theory, we present a detailed spectral analysis for a new class of fractal-type diamond graphs, referred to as bubble-diamond graphs, and provide a gap-labeling theorem in the sense of Bellissard for the… ▽ More Motivated by the appearance of fractals in several areas of physics, especially in solid state physics and the physics of aperiodic order, and in other sciences, including the quantum information theory, we present a detailed spectral analysis for a new class of fractal-type diamond graphs, referred to as bubble-diamond graphs, and provide a gap-labeling theorem in the sense of Bellissard for the corresponding probabilistic graph Laplacians using the technique of spectral decimation. Labeling the gaps in the Cantor set by the normalized eigenvalue counting function, also known as the integrated density of states, we describe the gap labels as orbits of a second dynamical system that reflects the branching parameter of the bubble construction and the decimation structure. The spectrum of the natural Laplacian on limit graphs is shown generically to be pure point supported on a Cantor set, though one particular graph has a mixture of pure point and singularly continuous components. △ Less

Submitted 9 September, 2023; v1 submitted 24 April, 2022; originally announced April 2022.

MSC Class: 81Q35; 81Q10; 05C50; 28A80; 70H09; 47B15

Spectral decimation of piecewise centrosymmetric Jacobi operators on graphs

Authors: Gamal Mograby, Radhakrishnan Balu, Kasso A. Okoudjou, Alexander Teplyaev

Abstract: We study the spectral theory of a class of piecewise centrosymmetric Jacobi operators defined on an associated family of substitution graphs. Given a finite centrosymmetric matrix viewed as a weight matrix on a finite directed path graph and a probabilistic Laplacian viewed as a weight matrix on a locally finite strongly connected graph, we construct a new graph and a new operator by edge substitu… ▽ More We study the spectral theory of a class of piecewise centrosymmetric Jacobi operators defined on an associated family of substitution graphs. Given a finite centrosymmetric matrix viewed as a weight matrix on a finite directed path graph and a probabilistic Laplacian viewed as a weight matrix on a locally finite strongly connected graph, we construct a new graph and a new operator by edge substitution. Our main result proves that the spectral theory of the piecewise centrosymmetric Jacobi operator can be explicitly related to the spectral theory of the probabilistic Laplacian using certain orthogonal polynomials. Our main tools involve the so-called spectral decimation, known from the analysis on fractals, and the classical Schur complement. We include several examples of self-similar Jacobi matrices that fit into our framework. △ Less

Submitted 14 January, 2022; originally announced January 2022.

MSC Class: 47B36; 28A80; 81T17; 47A10; 05C20; 05C22; 81Q35

Boundary value problems on non-Lipschitz uniform domains: Stability, compactness and the existence of optimal shapes

Authors: Michael Hinz, Anna Rozanova-Pierrat, Alexander Teplyaev

Abstract: We study boundary value problems for bounded uniform domains in $\mathbb{R}^n$, $n\geq 2$, with non-Lipschitz (and possibly fractal) boundaries. We prove Poincaré inequalities with trace terms and uniform constants for uniform $(\varepsilon,\infty)$-domains within bounded common confinements. We then introduce generalized Dirichlet, Robin and Neumann problems for Poisson type equations and prove t… ▽ More We study boundary value problems for bounded uniform domains in $\mathbb{R}^n$, $n\geq 2$, with non-Lipschitz (and possibly fractal) boundaries. We prove Poincaré inequalities with trace terms and uniform constants for uniform $(\varepsilon,\infty)$-domains within bounded common confinements. We then introduce generalized Dirichlet, Robin and Neumann problems for Poisson type equations and prove the Mosco convergence of the associated energy functionals along sequences of suitably converging domains. This implies a stability result for weak solutions, and this also implies the norm convergence of the associated resolvents and the convergence of the corresponding eigenvalues and eigenfunctions. Based on our earlier work, we prove compactness results for parametrized classes of admissible domains, energy functionals and weak solutions. Using these results, we can verify the existence of optimal shapes in these classes. △ Less

Submitted 27 June, 2022; v1 submitted 1 November, 2021; originally announced November 2021.

MSC Class: 28A80; 35A23; 35A30; 35J25; 47A07; 47A10; 47B25; 49Q10

Spectral decimation of a self-similar version of almost Mathieu-type operators

Authors: Gamal Mograby, Radhakrishnan Balu, Kasso A. Okoudjou, Alexander Teplyaev

Abstract: We introduce self-similar versions of the one-dimensional almost Mathieu operators. Our definition is based on a class of self-similar Laplacians instead of the standard discrete Laplacian, and includes the classical almost Mathieu operators as a particular case. Our main result establishes that the spectra of these self-similar almost Mathieu operators can be completely described by the spectra o… ▽ More We introduce self-similar versions of the one-dimensional almost Mathieu operators. Our definition is based on a class of self-similar Laplacians instead of the standard discrete Laplacian, and includes the classical almost Mathieu operators as a particular case. Our main result establishes that the spectra of these self-similar almost Mathieu operators can be completely described by the spectra of the corresponding self-similar Laplacians through the spectral decimation framework used in the context of spectral analysis on fractals. In addition, the self-similar structure of our model provides a natural finite graph approximation model. This approximation is not only helpful in executing the numerical simulation, but is also useful in finding the spectral decimation function via Schur complement computations of given finite-dimensional matrices. The self-similar Laplacians used in our model were considered recently by Chen and Teplyaev who proved the emergence of singularly continuous spectra for specific parameters. We use this result to arrive at similar conclusions in the context of the self-similar almost Mathieu operators. Finally, we derive an explicit formula of the integrated density of states of the self-similar almost Mathieu operators as the weighted pre-images of the balanced invariant measure on a specific Julia set. △ Less

Submitted 17 November, 2021; v1 submitted 20 May, 2021; originally announced May 2021.

MSC Class: 81Q35; 81Q10; 47B93; 47N50; 47A10

On the existence of optimal shapes in architecture

Authors: Michael Hinz, Frédéric Magoulès, Rozanova-Pierrat Anna, Marina Rynkovskaya, Alexander Teplyaev

Abstract: We consider shape optimization problems for elasticity systems in architecture. A typical question in this context is to identify a structure of maximal stability close to an initially proposed one. We show the existence of such an optimally shaped structure within classes of bounded Lipschitz domains and within wider classes of bounded uniform domains with boundaries that may be fractal. In the f… ▽ More We consider shape optimization problems for elasticity systems in architecture. A typical question in this context is to identify a structure of maximal stability close to an initially proposed one. We show the existence of such an optimally shaped structure within classes of bounded Lipschitz domains and within wider classes of bounded uniform domains with boundaries that may be fractal. In the first case the optimal shape realizes the infimum of a given energy functional over the class, in the second case it realizes the minimum. As a concrete application we discuss the existence of maximally stable roof structures under snow loads. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Non-Lipschitz uniform domain shape optimization in linear acoustics

Authors: Michael Hinz, Anna Rozanova-Pierrat, Alexander Teplyaev

Abstract: We introduce new parametrized classes of shape admissible domains in R^n , n $\ge$ 2, and prove that they are compact with respect to the convergence in the sense of characteristic functions, the Hausdorff sense, the sense of compacts and the weak convergence of their boundary volumes. The domains in these classes are bounded ($ε$, $\infty$)-domains with possibly fractal boundaries that can have p… ▽ More We introduce new parametrized classes of shape admissible domains in R^n , n $\ge$ 2, and prove that they are compact with respect to the convergence in the sense of characteristic functions, the Hausdorff sense, the sense of compacts and the weak convergence of their boundary volumes. The domains in these classes are bounded ($ε$, $\infty$)-domains with possibly fractal boundaries that can have parts of any non-uniform Hausdorff dimension greater or equal to n -- 1 and less than n. We prove the existence of optimal shapes in such classes for maximum energy dissipation in the framework of linear acous-tics. A by-product of our proof is the result that the class of bounded ($ε$, $\infty$)-domains with fixed $ε$ is stable under Hausdorff convergence. An additional and related result is the Mosco convergence of Robin-type energy functionals on converging domains. △ Less

Submitted 18 January, 2021; v1 submitted 24 August, 2020; originally announced August 2020.

Journal ref: SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, In press

Hamiltonian systems, Toda lattices, Solitons, Lax Pairs on weighted Z-graded graphs

Authors: Gamal Mograby, Maxim Derevyagin, Gerald V. Dunne, Alexander Teplyaev

Abstract: We consider discrete one dimensional nonlinear equations and present the procedure of lifting them to Z-graded graphs. We identify conditions which allow one to lift one dimensional solutions to solutions on graphs. In particular, we prove the existence of solitons {for static potentials} on graded fractal graphs. We also show that even for a simple example of a topologically interesting graph the… ▽ More We consider discrete one dimensional nonlinear equations and present the procedure of lifting them to Z-graded graphs. We identify conditions which allow one to lift one dimensional solutions to solutions on graphs. In particular, we prove the existence of solitons {for static potentials} on graded fractal graphs. We also show that even for a simple example of a topologically interesting graph the corresponding non-trivial Lax pairs and associated unitary transformations do not lift to a Lax pair on the Z-graded graph. △ Less

Submitted 14 January, 2021; v1 submitted 11 August, 2020; originally announced August 2020.

MSC Class: 81Q35; 81P45; 94A40; 05C50; 28A80; 37K40; 70H09

Journal ref: Journal of Mathematical Physics 62, 042204 (2021)

Spectra of Perfect State Transfer Hamiltonians on Fractal-Like Graphs

Authors: Gamal Mograby, Maxim Derevyagin, Gerald V. Dunne, Alexander Teplyaev

Abstract: In this paper we study the spectral features, on fractal-like graphs, of Hamiltonians which exhibit the special property of perfect quantum state transfer: the transmission of quantum states without dissipation. The essential goal is to develop the theoretical framework for understanding the interplay between perfect quantum state transfer, spectral properties, and the geometry of the underlying g… ▽ More In this paper we study the spectral features, on fractal-like graphs, of Hamiltonians which exhibit the special property of perfect quantum state transfer: the transmission of quantum states without dissipation. The essential goal is to develop the theoretical framework for understanding the interplay between perfect quantum state transfer, spectral properties, and the geometry of the underlying graph, in order to design novel protocols for applications in quantum information science. We present a new lifting and gluing construction, and use this to prove results concerning an inductive spectral structure, applicable to a wide variety of fractal-like graphs. We illustrate this construction with explicit examples for several classes of diamond graphs. △ Less

Submitted 14 August, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: revised version

MSC Class: 81Q35 81P45 94A40 05C50 28A80

Journal ref: J. Phys. A: Math. Theor. 54 125301 (2021)

Mixed boundary valued problem for linear and nonlinear wave equations in domains with fractal boundaries

Authors: Adrien Dekkers, Anna Rozanova-Pierrat, Alexander Teplyaev

Abstract: The weak well-posedness, with the mixed boundary conditions, of the strongly damped linear wave equation and of the non linear Westervelt equation is proved in the largest natural class of Sobolev admissible non-smooth domains. In the framework of uniform domains in R^2 or R^3 we also validate the approximation of the solution of the Wester-velt equation on a fractal domain by the solutions on the… ▽ More The weak well-posedness, with the mixed boundary conditions, of the strongly damped linear wave equation and of the non linear Westervelt equation is proved in the largest natural class of Sobolev admissible non-smooth domains. In the framework of uniform domains in R^2 or R^3 we also validate the approximation of the solution of the Wester-velt equation on a fractal domain by the solutions on the prefractals using the Mosco convergence of the corresponding variational forms. △ Less

Submitted 23 August, 2021; v1 submitted 23 March, 2020; originally announced March 2020.

Discretization of the Koch Snowflake Domain with Boundary and Interior Energies

Authors: Malcolm Gabbard, Carlos Lima, Gamal Mograby, Luke G. Rogers, Alexander Teplyaev

Abstract: We study the discretization of a Dirichlet form on the Koch snowflake domain and its boundary with the property that both the interior and the boundary can support positive energy. We compute eigenvalues and eigenfunctions, and demonstrate the localization of high energy eigenfunctions on the boundary via a modification of an argument of Filoche and Mayboroda. Hölder continuity and uniform approxi… ▽ More We study the discretization of a Dirichlet form on the Koch snowflake domain and its boundary with the property that both the interior and the boundary can support positive energy. We compute eigenvalues and eigenfunctions, and demonstrate the localization of high energy eigenfunctions on the boundary via a modification of an argument of Filoche and Mayboroda. Hölder continuity and uniform approximation of eigenfunctions are also discussed. △ Less

Submitted 28 May, 2020; v1 submitted 11 February, 2020; originally announced February 2020.

MSC Class: 28A80; 47A07; 46N40; 05C50; 60J45; 65F15; 65N22; 35Q40

BV functions and fractional Laplacians on Dirichlet spaces

Authors: Patricia Alonso Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, Alexander Teplyaev

Abstract: We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works. We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Comments: Natural ovelap in the framework section (2.1) which has been previously introduced by the authors in arXiv:1903.10078

MSC Class: 31C25; 46E35; 26A45; 60J45; 28A80

Perfect quantum state transfer on diamond fractal graphs

Authors: Maxim Derevyagin, Gerald V. Dunne, Gamal Mograby, Alexander Teplyaev

Abstract: In the quest for designing novel protocols for quantum information and quantum computation, an important goal is to achieve perfect quantum state transfer for systems beyond the well-known one dimensional cases, such as 1d spin chains. We use methods from fractal analysis and probability to find a new class of quantum spin chains on fractal-like graphs (known as diamond fractals) which support per… ▽ More In the quest for designing novel protocols for quantum information and quantum computation, an important goal is to achieve perfect quantum state transfer for systems beyond the well-known one dimensional cases, such as 1d spin chains. We use methods from fractal analysis and probability to find a new class of quantum spin chains on fractal-like graphs (known as diamond fractals) which support perfect quantum state transfer, and which have a wide range of different Hausdorff and spectral dimensions. The resulting systems are spin networks combining Dyson hierarchical model structure with transverse permutation symmetries of varying order. △ Less

Submitted 14 August, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: v2: updated

MSC Class: 81Q35 81P45 94A40 05C50 28A80

Journal ref: Quantum Inf Process 19, 328 (2020)

Spectral properties of graphs associated to the Basilica group

Authors: Antoni Brzoska, Courtney George, Samantha Jarvis, Luke G. Rogers, Alexander Teplyaev

Abstract: We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagni… ▽ More We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps. △ Less

Submitted 21 May, 2020; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 36 pages: it is proved that the spectrum generically is a Cantor set which coincides with the support of the KNS measure

MSC Class: 20E08; (05C25; 05C50; 28A80; 31C25; 37A30; 37B15; 37F10; 60J10; 81Q35)

Besov class via heat semigroup on Dirichlet spaces III: BV functions and sub-Gaussian heat kernel estimates

Authors: Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, Alexander Teplyaev

Abstract: With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. A… ▽ More With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. As a consequence of this identification, properties of BV functions and associated BV measures are studied in detail. In particular, we prove co-area formulas, global $L^1$ Sobolev embeddings and isoperimetric inequalities. It is shown that for nested fractals or their direct products the BV class we define is dense in $L^1$. The examples of the unbounded Vicsek set, unbounded Sierpinski gasket and unbounded Sierpinski carpet are discussed. △ Less

Submitted 8 August, 2022; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: The notes arXiv:1806.03428 will be divided in a series of papers. This is the third paper. v2: Final version v3: The proof of Theorem 3.9 contained an error which is corrected in this version

Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates

Authors: Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, Alexander Teplyaev

Abstract: We introduce the class of bounded variation (BV) functions in a general framework of strictly local Dirichlet spaces with doubling measure. Under the 2-Poincaré inequality and a weak Bakry-Émery curvature type condition, this BV class is identified with the heat semigroup based Besov class $\mathbf{B}^{1,1/2}(X)$ that was introduced in our previous paper. Assuming furthermore a quasi Bakry-Émery c… ▽ More We introduce the class of bounded variation (BV) functions in a general framework of strictly local Dirichlet spaces with doubling measure. Under the 2-Poincaré inequality and a weak Bakry-Émery curvature type condition, this BV class is identified with the heat semigroup based Besov class $\mathbf{B}^{1,1/2}(X)$ that was introduced in our previous paper. Assuming furthermore a quasi Bakry-Émery curvature type condition, we identify the Sobolev class $W^{1,p}(X)$ with $\mathbf{B}^{p,1/2}(X)$ for $p>1$. Consequences of those identifications in terms of isoperimetric and Sobolev inequalities with sharp exponents are given. △ Less

Submitted 10 September, 2020; v1 submitted 27 November, 2018; originally announced November 2018.

Comments: The notes arXiv:1806.03428 will be divided in a series of papers. This is the second paper dealing with strictly local Dirichlet forms. v2 corrects typos and changes some terminology. To appear in Cal. Var & PDE

Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities

Authors: Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, Alexander Teplyaev

Abstract: We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under… ▽ More We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under the assumption of ultracontractivity for the heat semigroup. The case $p=1$ is of special interest since it yields isoperimetric type inequalities. △ Less

Submitted 30 April, 2020; v1 submitted 10 November, 2018; originally announced November 2018.

Comments: The notes arXiv:1806.03428 will be divided in a series of papers. This is the first paper. V3: Some typos are corrected. V4. To appear in Journal of Functional Analysis

BV functions and Besov spaces associated with Dirichlet spaces

Authors: Patricia Alonso-Ruiz, Fabrice Baudoin, Li Chen, Luke Rogers, Nageswari Shanmugalingam, Alexander Teplyaev

Abstract: We develop a theory of bounded variation functions and Besov spaces in abstract Dirichlet spaces which unifies several known examples and applies to new situations, including fractals. We develop a theory of bounded variation functions and Besov spaces in abstract Dirichlet spaces which unifies several known examples and applies to new situations, including fractals. △ Less

Submitted 18 September, 2018; v1 submitted 9 June, 2018; originally announced June 2018.

Comments: 121 pages, several figures

MSC Class: 31C25; 46E35; 26A45; 28A80; 60J45

Magnetostatic problems in fractal domains

Authors: Simone Creo, Maria Rosaria Lancia, Paola Vernole, Michael Hinz, Alexander Teplyaev

Abstract: We consider a magnetostatic problem in a 3D "cylindrical" domain of Koch type. We prove existence and uniqueness results for both the fractal and pre-fractal problems and we investigate the convergence of the pre-fractal solutions to the limit fractal one. We consider the numerical approximation of the pre-fractal problems via FEM and we prove a priori error estimates. Some numerical simulations a… ▽ More We consider a magnetostatic problem in a 3D "cylindrical" domain of Koch type. We prove existence and uniqueness results for both the fractal and pre-fractal problems and we investigate the convergence of the pre-fractal solutions to the limit fractal one. We consider the numerical approximation of the pre-fractal problems via FEM and we prove a priori error estimates. Some numerical simulations are also shown. Our long term motivation includes studying problems that appear in quantum physics in fractal domains. △ Less

Submitted 2 December, 2018; v1 submitted 21 May, 2018; originally announced May 2018.

MSC Class: 35J25; 28A80; 35K15; 46E35; 47A07; 60J45; 65M60; 65M15; 65M50; 81Q35

Canonical diffusions on the pattern spaces of aperiodic Delone sets

Authors: Patricia Alonso-Ruiz, Michael Hinz, Alexander Teplyaev, Rodrigo Treviño

Abstract: We consider pattern spaces of aperiodic and repetitive Delone sets of finite local complexity. These spaces are compact metric spaces and constitute a special class of foliated spaces. We define new Sobolev spaces with respect to the unique invariant measure and prove the existence of the unitary Schrödinger semigroup, which in physics terms describe the evolution of phasons. We define and study n… ▽ More We consider pattern spaces of aperiodic and repetitive Delone sets of finite local complexity. These spaces are compact metric spaces and constitute a special class of foliated spaces. We define new Sobolev spaces with respect to the unique invariant measure and prove the existence of the unitary Schrödinger semigroup, which in physics terms describe the evolution of phasons. We define and study natural leafwise diffusion processes on these pattern spaces. These processes have Feller, but lack strong Feller and hypercontractivity properties, and heat kernels do not exist. The associated Dirichlet forms are regular, strongly local, irreducible and recurrent, but not strictly local. For harmonic functions we prove new Liouville and Helmholtz-Hodge type theorems. △ Less

Submitted 22 August, 2018; v1 submitted 26 January, 2018; originally announced January 2018.

MSC Class: 60J60; 81Q35; 37C85; 31C25; 31E05; 35K08; 37C40; 37C55; 46E35; 47D03; 58A12; 58A14; 60J35

Ornstein-Uhlenbeck processes with singular drifts: integral estimates and Girsanov densities

Authors: Maria Gordina, Michael Röckner, Alexander Teplyaev

Abstract: We consider a perturbation of a Hilbert space-valued Ornstein--Uhlenbeck process by a class of singular nonlinear non-autonomous maximal monotone time-dependent drifts. The only further assumption on the drift is that it is bounded on balls in the Hilbert space uniformly in time. First we introduce a new notion of generalized solutions for such equations which we call pseudo-weak solutions and pro… ▽ More We consider a perturbation of a Hilbert space-valued Ornstein--Uhlenbeck process by a class of singular nonlinear non-autonomous maximal monotone time-dependent drifts. The only further assumption on the drift is that it is bounded on balls in the Hilbert space uniformly in time. First we introduce a new notion of generalized solutions for such equations which we call pseudo-weak solutions and prove that they always exist and obtain pathwise estimates in terms of the data of the equation. Then we prove that their laws are absolutely continuous with respect to the law of the original Ornstein--Uhlenbeck process. In particular, we show that pseudo-weak solutions always have continuous sample paths. In addition, we obtain integrability estimates of the associated Girsanov densities. Some of our results concern non-random equations as well, while probabilistic results are new even in finite-dimensional autonomous settings. △ Less

Submitted 14 June, 2020; v1 submitted 2 January, 2018; originally announced January 2018.

Comments: minor revision

MSC Class: 60H10; 35R15; 60H15; 47D07; 47N30

Internal DLA on Sierpinski gasket graphs

Authors: Joe P. Chen, Wilfried Huss, Ecaterina Sava-Huss, Alexander Teplyaev

Abstract: Internal diffusion-limited aggregation (IDLA) is a stochastic growth model on a graph $G$ which describes the formation of a random set of vertices growing from the origin (some fixed vertex) of $G$. Particles start at the origin and perform simple random walks; each particle moves until it lands on a site which was not previously visited by other particles. This random set of occupied sites in… ▽ More Internal diffusion-limited aggregation (IDLA) is a stochastic growth model on a graph $G$ which describes the formation of a random set of vertices growing from the origin (some fixed vertex) of $G$. Particles start at the origin and perform simple random walks; each particle moves until it lands on a site which was not previously visited by other particles. This random set of occupied sites in $G$ is called the IDLA cluster. In this paper we consider IDLA on Sierpinski gasket graphs, and show that the IDLA cluster fills balls (in the graph metric) with probability 1. △ Less

Submitted 11 March, 2020; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: 24 pages, 2 figures. Final version, to appear as Chapter 7 of "Analysis and Geometry on Graphs and Manifolds," M. Keller, D. Lenz, and R.K. Wojciechowski, Cambridge University Press (2020)

MSC Class: 31C05; 60G50; 60J10; 82C24; 28A80

From non-symmetric particle systems to non-linear PDEs on fractals

Authors: Joe P. Chen, Michael Hinz, Alexander Teplyaev

Abstract: We present new results and challenges in obtaining hydrodynamic limits for non-symmetric (weakly asymmetric) particle systems (exclusion processes on pre-fractal graphs) converging to a non-linear heat equation. We discuss a joint density-current law of large numbers and a corresponding large deviations principle. We present new results and challenges in obtaining hydrodynamic limits for non-symmetric (weakly asymmetric) particle systems (exclusion processes on pre-fractal graphs) converging to a non-linear heat equation. We discuss a joint density-current law of large numbers and a corresponding large deviations principle. △ Less

Submitted 22 October, 2017; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: v2: 10 pages, 1 figure. To appear in the proceedings for the 2016 conference "Stochastic Partial Differential Equations & Related Fields" in honor of Michael Röckner's 60th birthday, Bielefeld

MSC Class: 60K35; 05C81; 28A80; 31C20; 35K58; 47A07; 47H05; 60F05; 60F10; 60J25; 60J27; 81Q35; 82B21; 82C22

Regularized Laplacian determinants of self-similar fractals

Authors: Joe P. Chen, Alexander Teplyaev, Konstantinos Tsougkas

Abstract: We study the spectral zeta functions of the Laplacian on fractal sets which are locally self-similar fractafolds, in the sense of Strichartz. These functions are known to meromorphically extend to the entire complex plane, and the locations of their poles, sometimes referred to as complex dimensions, are of special interest. We give examples of self-similar sets such that their complex dimensions… ▽ More We study the spectral zeta functions of the Laplacian on fractal sets which are locally self-similar fractafolds, in the sense of Strichartz. These functions are known to meromorphically extend to the entire complex plane, and the locations of their poles, sometimes referred to as complex dimensions, are of special interest. We give examples of self-similar sets such that their complex dimensions are not on the imaginary axis, which allows us to interpret their Laplacian determinant as the regularized product of their eigenvalues. We then investigate a connection between the logarithm of the determinant of the discrete graph Laplacian and the regularized one. △ Less

Submitted 17 April, 2018; v1 submitted 31 October, 2016; originally announced October 2016.

Comments: 16 pages, 5 figures

Journal ref: Lett Math Phys (2018) 108: 1563

Fractal snowflake domain diffusion with boundary and interior drifts

Authors: Michael Hinz, Maria Rosaria Lancia, Alexander Teplyaev, Paola Vernole

Abstract: We study a parabolic Ventsell problem for a second order differential operator in divergence form and with interior and boundary drift terms on the snowflake domain. We prove that under standard conditions a related Cauchy problem possesses a unique classical solution and explain in which sense it solves a rigorous formulation of the initial Ventsell problem. As a second result we prove that funct… ▽ More We study a parabolic Ventsell problem for a second order differential operator in divergence form and with interior and boundary drift terms on the snowflake domain. We prove that under standard conditions a related Cauchy problem possesses a unique classical solution and explain in which sense it solves a rigorous formulation of the initial Ventsell problem. As a second result we prove that functions that are intrinsically Lipschitz on the snowflake boundary admit Euclidean Lipschitz extensions to the closure of the entire domain. Our methods combine the fractal membrane analysis, the vector analysis for local Dirichlet forms and PDE on fractals, coercive closed forms, and the analysis of Lipschitz functions. △ Less

Submitted 15 June, 2016; v1 submitted 22 May, 2016; originally announced May 2016.

MSC Class: 81Q35; 28A80; 35K15; 47A07; 60J45

Journal ref: J. Math. Anal. Appl. 457 (2018), no. 1, 672-693

Power dissipation in fractal AC circuits

Authors: Joe P. Chen, Luke G. Rogers, Loren Anderson, Ulysses Andrews, Antoni Brzoska, Aubrey Coffey, Hannah Davis, Lee Fisher, Madeline Hansalik, Stephew Loew, Alexander Teplyaev

Abstract: We extend Feynman's analysis of an infinite ladder circuit to fractal circuits, providing examples in which fractal circuits constructed with purely imaginary impedances can have characteristic impedances with positive real part. Using (weak) self-similarity of our fractal structures, we provide algorithms for studying the equilibrium distribution of energy on these circuits. This extends the anal… ▽ More We extend Feynman's analysis of an infinite ladder circuit to fractal circuits, providing examples in which fractal circuits constructed with purely imaginary impedances can have characteristic impedances with positive real part. Using (weak) self-similarity of our fractal structures, we provide algorithms for studying the equilibrium distribution of energy on these circuits. This extends the analysis of self-similar resistance networks introduced by Fukushima, Kigami, Kusuoka, and more recently studied by Strichartz et al. △ Less

Submitted 11 February, 2017; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: v2: 16 pages, 8 figures. See also the recent preprint arXiv:1701.08039

MSC Class: 78A02; 28A80; 94C05

Journal ref: J. Phys. A: Math. Theor. 50, 325205 (2017)

Closability, regularity, and approximation by graphs for separable bilinear forms

Authors: Michael Hinz, Alexander Teplyaev

Abstract: We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense. Then we prove that a subspace of the effective domain of the quadratic form is naturally isomorphic to a core of a regular Dirichlet form on a locally compact s… ▽ More We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense. Then we prove that a subspace of the effective domain of the quadratic form is naturally isomorphic to a core of a regular Dirichlet form on a locally compact separable metric space. We also show that any Dirichlet form on a countably generated measure space can be approximated by essentially discrete Dirichlet forms, i.e. energy forms on finite weighted graphs, in the sense of Mosco convergence, i.e. strong resolvent convergence. △ Less

Submitted 26 November, 2015; originally announced November 2015.

MSC Class: 60J25; 81Q35; 05C81; 28A25; 31C25; 46J10; 47A07; 47A10; 53C23; 54E45

Journal ref: Zapiski Nauchnykh Seminarov POMI, Vol. 441, 2015, pp. 299-317. J. Math. Sci. 219 (2016) 807-820

Singularly continuous spectrum of a self-similar Laplacian on the half-line

Authors: Joe P. Chen, Alexander Teplyaev

Abstract: We investigate the spectrum of the self-similar Laplacian, which generates the so-called "$pq$ random walk" on the integer half-line $\mathbb{Z}_+$. Using the method of spectral decimation, we prove that the spectral type of the Laplacian is singularly continuous whenever $p\neq \frac{1}{2}$. This serves as a toy model for generating singularly continuous spectrum, which can be generalized to more… ▽ More We investigate the spectrum of the self-similar Laplacian, which generates the so-called "$pq$ random walk" on the integer half-line $\mathbb{Z}_+$. Using the method of spectral decimation, we prove that the spectral type of the Laplacian is singularly continuous whenever $p\neq \frac{1}{2}$. This serves as a toy model for generating singularly continuous spectrum, which can be generalized to more complicated settings. We hope it will provide more insight into Fibonacci and other weakly self-similar models. △ Less

Submitted 23 May, 2016; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: v3: 12 pages, 2 figures; to appear in the Journal of Mathematical Physics in May or June 2016/ JMP 2016

MSC Class: 47A10; 37F50; 81Q12; 81Q35; 60J35; 28A80

Journal ref: J. Math. Phys. 57, 052104 (2016)

Fractal AC circuits and propagating waves on fractals

Authors: Eric Akkermans, Joe P. Chen, Gerald Dunne, Luke G. Rogers, Alexander Teplyaev

Abstract: We extend Feynman's analysis of the infinite ladder AC circuit to fractal AC circuits. We show that the characteristic impedances can have positive real part even though all the individual impedances inside the circuit are purely imaginary. This provides a physical setting for analyzing wave propagation of signals on fractals, by analogy with the Telegrapher's Equation, and generalizes the real re… ▽ More We extend Feynman's analysis of the infinite ladder AC circuit to fractal AC circuits. We show that the characteristic impedances can have positive real part even though all the individual impedances inside the circuit are purely imaginary. This provides a physical setting for analyzing wave propagation of signals on fractals, by analogy with the Telegrapher's Equation, and generalizes the real resistance metric on a fractal, which provides a measure of distance on a fractal, to complex impedances. △ Less

Submitted 2 December, 2018; v1 submitted 20 July, 2015; originally announced July 2015.

Comments: v2: 9 pages, 4 figures. Updated with recent developments

Wave equation on one-dimensional fractals with spectral decimation and the complex dynamics of polynomials

Authors: Ulysses Andrews, Grigory Bonik, Joe P. Chen, Richard W. Martin, Alexander Teplyaev

Abstract: We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods. We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods. △ Less

Submitted 12 July, 2016; v1 submitted 21 May, 2015; originally announced May 2015.

MSC Class: 81Q35; 81Q10; 58J45; 60J25; 60J35; 60J45; 28A80; 30D30; 31E05; 35L05; 35P10; 35P15; 35P20; 42C15; 47A75

Journal ref: J. Fourier Anal. Appl. 23 (2017) 994-1027

Spectral dimension and Bohr's formula for Schrodinger operators on unbounded fractal spaces

Authors: Joe P. Chen, Stanislav Molchanov, Alexander Teplyaev

Abstract: We establish an asymptotic formulas for the eigenvalue counting function of the Schrödinger operator $-Δ+V$ for some unbounded potentials $V$ on several types of unbounded fractal spaces. We give sufficient conditions for Bohr's formula to hold on metric measure spaces which admit a cellular decomposition, and then verify these conditions for fractafolds and fractal fields based on nested fractals… ▽ More We establish an asymptotic formulas for the eigenvalue counting function of the Schrödinger operator $-Δ+V$ for some unbounded potentials $V$ on several types of unbounded fractal spaces. We give sufficient conditions for Bohr's formula to hold on metric measure spaces which admit a cellular decomposition, and then verify these conditions for fractafolds and fractal fields based on nested fractals. In particular, we partially answer a question of Fan, Khandker, and Strichartz regarding the spectral asymptotics of the harmonic oscillator potential on the infinite blow-up of a Sierpinski gasket. △ Less

Submitted 28 July, 2015; v1 submitted 14 May, 2015; originally announced May 2015.

Comments: v2: 28 pages, 6 figures. referee comments included, typos corrected

MSC Class: 81Q35; 81Q10; 60J25; 60J35; 28A80; 30D30; 31E05; 35P20; 47A75

Journal ref: J. Phys. A: Math. Theor. 48 395203 (2015)

Dual graphs and modified Barlow--Bass resistance estimates for repeated barycentric subdivisions

Authors: Daniel J. Kelleher, Antoni Brzoska, Hugo Panzo, Alexander Teplyaev

Abstract: We prove Barlow--Bass type resistance estimates for two random walks associated with repeated barycentric subdivisions of a triangle. If the random walk jumps between the centers of triangles in the subdivision that have common sides, the resistance scales as a power of a constant $ρ$ which is theoretically estimated to be in the interval $5/4\leqslantρ\leqslant3/2$, with a numerical estimate… ▽ More We prove Barlow--Bass type resistance estimates for two random walks associated with repeated barycentric subdivisions of a triangle. If the random walk jumps between the centers of triangles in the subdivision that have common sides, the resistance scales as a power of a constant $ρ$ which is theoretically estimated to be in the interval $5/4\leqslantρ\leqslant3/2$, with a numerical estimate $ρ\approx1.306$. This corresponds to the theoretical estimate of spectral dimension $d_S$ between 1.63 and 1.77, with a numerical estimate $d_S\approx1.74$. On the other hand, if the random walk jumps between the corners of triangles in the subdivision, then the resistance scales as a power of a constant $ρ^T=1/ρ$, which is theoretically estimated to be in the interval $2/3\leqslantρ^T\leqslant4/5$. This corresponds to the spectral dimension between 2.28 and 2.38. The difference between $ρ$ and $ρ^T$ implies that the the limiting behavior of random walks on the repeated barycentric subdivisions is more delicate than on the generalized Sierpinski Carpets, and suggests interesting possibilities for further research, including possible non-uniqueness of self-similar Dirichlet forms. △ Less

Submitted 25 June, 2018; v1 submitted 12 May, 2015; originally announced May 2015.

Comments: 20 Pages, 10 Figures

MSC Class: 60J35; 37F40; 81Q35; 28A80; 31C25; 31E05; 35K08

Densely defined non-closable curl on carpet-like metric measure spaces

Authors: Michael Hinz, Alexander Teplyaev

Abstract: The paper deals with the possibly degenerate behaviour of the exterior derivative operator defined on $1$-forms on metric measure spaces. The main examples we consider are the non self-similar Sierpinski carpets recently introduced by Mackay, Tyson and Wildrick. Although topologically one-dimensional, they may have positive two-dimensional Lebesgue measure and carry nontrivial $2$-forms. We prove… ▽ More The paper deals with the possibly degenerate behaviour of the exterior derivative operator defined on $1$-forms on metric measure spaces. The main examples we consider are the non self-similar Sierpinski carpets recently introduced by Mackay, Tyson and Wildrick. Although topologically one-dimensional, they may have positive two-dimensional Lebesgue measure and carry nontrivial $2$-forms. We prove that in this case the curl operator (and therefore also the exterior derivative on $1$-forms) is not closable, and that its adjoint operator has a trivial domain. We also formulate a similar more abstract result. It states that for spaces that are, in a certain way, structurally similar to Sierpinski carpets, the exterior derivative operator taking $1$-forms into $2$-forms cannot be closable if the martingale dimension is larger than one. △ Less

Submitted 16 November, 2016; v1 submitted 11 May, 2015; originally announced May 2015.

Comments: arXiv admin note: text overlap with arXiv:1201.3548 by other authors

MSC Class: 26B12; 28A80; 31E05; 47A07; 58A10; 58A14; 60J60; 81Q35

Finite energy coordinates and vector analysis on fractals

Authors: Michael Hinz, Alexander Teplyaev

Abstract: We consider (locally) energy finite coordinates associated with a strongly local regular Dirichlet form on a metric measure space. We give coordinate formulas for substitutes of tangent spaces, for gradient and divergence operators and for the infinitesimal generator. As examples we discuss Euclidean spaces, Riemannian local charts, domains on the Heisenberg group and the measurable Riemannian geo… ▽ More We consider (locally) energy finite coordinates associated with a strongly local regular Dirichlet form on a metric measure space. We give coordinate formulas for substitutes of tangent spaces, for gradient and divergence operators and for the infinitesimal generator. As examples we discuss Euclidean spaces, Riemannian local charts, domains on the Heisenberg group and the measurable Riemannian geometry on the Sierpinski gasket. △ Less

Submitted 19 January, 2015; originally announced January 2015.

MSC Class: 60J25; 60J35; 28A80; 81Q35; 30D30; 31E05; 35P20; 47A75; 81Q10

Journal ref: Fractal geometry and stochastics V, 209-227, Progr. Probab., 70, Birkhäuser/Springer, Cham, 2015

Heat kernels on 2d Liouville quantum gravity: a numerical study

Authors: Grigory Bonik, Joe P. Chen, Alexander Teplyaev

Abstract: We numerically compute the heat kernel on a square lattice torus equipped with the measure corresponding to Liouville quantum gravity (LQG). From the on-diagonal heat kernel we verify that the spectral dimension of LQG is 2. Furthermore, when diffusion is started from a high point of the underlying Gaussian free field, our numerics indicates superdiffusive space-time scaling with respect to the Eu… ▽ More We numerically compute the heat kernel on a square lattice torus equipped with the measure corresponding to Liouville quantum gravity (LQG). From the on-diagonal heat kernel we verify that the spectral dimension of LQG is 2. Furthermore, when diffusion is started from a high point of the underlying Gaussian free field, our numerics indicates superdiffusive space-time scaling with respect to the Euclidean metric in the small space-to-time regime. The implications of this result require further investigation, but seem to coincide with the notion that the Euclidean metric is not the right geodesic for characterizing the geometry of LQG. △ Less

Submitted 6 November, 2014; originally announced November 2014.

Comments: Preliminary report

Energy and Laplacian on Hanoi-type fractal quantum graphs

Authors: Patricia Alonso Ruiz, Daniel J. Kelleher, Alexander Teplyaev

Abstract: This article studies potential theory and spectral analysis on compact metric spaces, which we refer to as fractal quantum graphs. These spaces can be represented as a (possibly infinite) union of 1-dimensional intervals and a totally disconnected (possibly uncountable) compact set, which roughly speaking represents the set of junction points. Classical quantum graphs and fractal spaces such as th… ▽ More This article studies potential theory and spectral analysis on compact metric spaces, which we refer to as fractal quantum graphs. These spaces can be represented as a (possibly infinite) union of 1-dimensional intervals and a totally disconnected (possibly uncountable) compact set, which roughly speaking represents the set of junction points. Classical quantum graphs and fractal spaces such as the Hanoi attractor are included among them. We begin with proving the existence of a resistance form on the Hanoi attractor, and go on to establish heat kernel estimates and upper and lower bounds on the eigenvalue counting function of Laplacians corresponding to weakly self-similar measures on the Hanoi attractor. These estimates and bounds rely heavily on the relation between the length and volume scaling factors of the fractal. We then state and prove a necessary and sufficient condition for the existence of a resistance form on a general fractal quantum graph. Finally, we extend our spectral results to a large class of weakly self-similar fractal quantum graphs. △ Less

Submitted 31 July, 2015; v1 submitted 20 August, 2014; originally announced August 2014.

MSC Class: 81Q35 (Primary); 28A80 (Secondary); 31C25; 31E05; 35K08; 60J35

Journal ref: J. Phys. A 49 (2016), no. 16, 165206, 36 pp

Gaps in the spectrum of the Laplacian on $3N$-Gaskets

Authors: Daniel Kelleher, Nikhar Gupta, Maxwell Margenot, Jason Marsh, William Oakley, Alexander Teplyaev

Abstract: This article develops analysis on fractal $3N$-gaskets, a class of post-critically finite fractals which include the Sierpinski triangle for $N=1$, specifically properties of the Laplacian $Δ$ on these gaskets. We first prove the existence of a self-similar geodesic metric on these gaskets, and prove heat kernel estimates for this Laplacian with respect to the geodesic metric. We also compute the… ▽ More This article develops analysis on fractal $3N$-gaskets, a class of post-critically finite fractals which include the Sierpinski triangle for $N=1$, specifically properties of the Laplacian $Δ$ on these gaskets. We first prove the existence of a self-similar geodesic metric on these gaskets, and prove heat kernel estimates for this Laplacian with respect to the geodesic metric. We also compute the elements of the method of spectral decimation, a technique used to determine the spectrum of post-critically finite fractals. Spectral decimation on these gaskets arises from more complicated dynamics than in previous examples, i.e. the functions involved are rational rather than polynomial. Due to the nature of these dynamics, we are able to show that there are gaps in the spectrum. △ Less

Submitted 22 March, 2015; v1 submitted 19 August, 2014; originally announced August 2014.

MSC Class: Primary 81Q35; 60J35; 28A80; Secondary 31C25; 31E05; 35K08

Journal ref: Commun. Pure Appl. Anal. 14 (2015), no. 6, 2509-2533

One-dimensional wave equations defined by fractal Laplacians

Authors: John Fun-Choi Chan, Sze-Man Ngai, Alexander Teplyaev

Abstract: We study one-dimensional wave equations defined by a class of fractal Laplacians. These Laplacians are defined by fractal measures generated by iterated function systems with overlaps, such as the well-known infinite Bernoulli convolution associated with the golden ratio and the 3-fold convolution of the Cantor measure. The iterated function systems defining these measures do not satisfy the post-… ▽ More We study one-dimensional wave equations defined by a class of fractal Laplacians. These Laplacians are defined by fractal measures generated by iterated function systems with overlaps, such as the well-known infinite Bernoulli convolution associated with the golden ratio and the 3-fold convolution of the Cantor measure. The iterated function systems defining these measures do not satisfy the post-critically finite condition or the open set condition. By using second-order self-similar identities introduced by Strichartz et al., we discretize the equations and use the finite element and central difference methods to obtain numerical approximations to the weak solutions. We prove that the numerical solutions converge to the weak solution, and obtain estimates for the rate of convergence. △ Less

Submitted 1 June, 2014; originally announced June 2014.

MSC Class: Primary: 81Q35; 28A80; 34L16; 65L60; 65L20; Secondary: 34L15; 65L15

Journal ref: J. Anal. Math. 127 (2015), 219-246

Expansion in generalized eigenfunctions for Laplacians on graphs and metric measure spaces

Authors: Daniel Lenz, Alexander Teplyaev

Abstract: We consider an arbitrary selfadjoint operator on a separable Hilbert space. To this operator we construct an expansion in generalized eigenfunctions in which the original Hilbert space is decomposed as a direct integral of Hilbert spaces consisting of general eigenfunctions. This automatically gives a Plancherel type formula. For suitable operators on metric measure spaces we discuss some growth r… ▽ More We consider an arbitrary selfadjoint operator on a separable Hilbert space. To this operator we construct an expansion in generalized eigenfunctions in which the original Hilbert space is decomposed as a direct integral of Hilbert spaces consisting of general eigenfunctions. This automatically gives a Plancherel type formula. For suitable operators on metric measure spaces we discuss some growth restrictions on the generalized eigenfunctions. For Laplacians on locally finite graphs the generalized eigenfunctions are exactly the solutions of the corresponding difference equation. △ Less

Submitted 23 December, 2014; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: 23 pages

MSC Class: 81Q35; 05C63; 28A80; 31C25; 60J45; 05C22; 31C20; 35P05; 39A12; 47B25; 58J35; 81Q10

Journal ref: Trans. Amer. Math. Soc. 368 (2016), no. 7, 4933-4956

Metrics and spectral triples for Dirichlet and resistance forms

Authors: Michael Hinz, Daniel J. Kelleher, Alexander Teplyaev

Abstract: The article deals with intrinsic metrics, Dirac operators and spectral triples induced by regular Dirichlet and resistance forms. We show, in particular, that if a local resistance form is given and the space is compact in resistance metric, then the intrinsic metric yields a geodesic space. Given a regular Dirichlet form, we consider Dirac operators within the framework of differential 1-forms pr… ▽ More The article deals with intrinsic metrics, Dirac operators and spectral triples induced by regular Dirichlet and resistance forms. We show, in particular, that if a local resistance form is given and the space is compact in resistance metric, then the intrinsic metric yields a geodesic space. Given a regular Dirichlet form, we consider Dirac operators within the framework of differential 1-forms proposed by Cipriani and Sauvageot, and comment on its spectral properties. If the Dirichlet form admits a carré operator and the generator has discrete spectrum, then we can construct a related spectral triple, and in the compact and strongly local case the associated Connes distance coincides with the intrinsic metric. We finally give a description of the intrinsic metric in terms of vector fields. △ Less

Submitted 7 October, 2013; v1 submitted 23 September, 2013; originally announced September 2013.

MSC Class: 81Q35 (28A80; 31C25; 46L87; 53C23; 60J25)

Journal ref: Noncommut. Geom. 9 (2015), 359-390

Measures and Dirichlet forms under the Gelfand transform

Authors: Michael Hinz, Daniel Kelleher, Alexander Teplyaev

Abstract: Using the standard tools of Daniell-Stone integrals, Stone-Čech compactification and Gelfand transform, we discuss how any Dirichlet form defined on a measurable space can be transformed into a regular Dirichlet form on a locally compact space. This implies existence, on the Stone-Čech compactification, of the associated Hunt process. As an application, we show that for any separable resistance fo… ▽ More Using the standard tools of Daniell-Stone integrals, Stone-Čech compactification and Gelfand transform, we discuss how any Dirichlet form defined on a measurable space can be transformed into a regular Dirichlet form on a locally compact space. This implies existence, on the Stone-Čech compactification, of the associated Hunt process. As an application, we show that for any separable resistance form in the sense of Kigami there exists an associated Markov process. △ Less

Submitted 1 August, 2013; v1 submitted 5 December, 2012; originally announced December 2012.

MSC Class: 31C25; 28A25; 46E25; 54E45; 60J25

Energy measure closability for Dirichlet forms

Authors: Michael Hinz, Alexander Teplyaev

Abstract: We consider symmetric Dirichlet forms on locally compact and non-locally compact spaces and provide an elementary proof for their closability with respect to energy dominant measures. We also discuss how to use known potential theoretic results to furnish an alternative proof of this theorem. We consider symmetric Dirichlet forms on locally compact and non-locally compact spaces and provide an elementary proof for their closability with respect to energy dominant measures. We also discuss how to use known potential theoretic results to furnish an alternative proof of this theorem. △ Less

Submitted 9 November, 2012; originally announced November 2012.

MSC Class: 31C25; 31C15

Vector analysis on fractals and applications

Authors: Michael Hinz, Alexander Teplyaev

Abstract: The paper surveys some recent results concerning vector analysis on fractals. We start with a local regular Dirichlet form and use the framework of 1-forms and derivations introduced by Cipriani and Sauvageot to set up some elements of a related vector analysis in weak and non-local formulation. This allows to study various scalar and vector valued linear and non-linear partial differential equati… ▽ More The paper surveys some recent results concerning vector analysis on fractals. We start with a local regular Dirichlet form and use the framework of 1-forms and derivations introduced by Cipriani and Sauvageot to set up some elements of a related vector analysis in weak and non-local formulation. This allows to study various scalar and vector valued linear and non-linear partial differential equations on fractals that had not been accessible before. Subsequently a stronger (localized, pointwise or fiberwise) version of this vector analysis can be developed, which is related to previous work of Kusuoka, Kigami, Eberle, Strichartz, Hino, Ionescu, Rogers, Röckner, and the authors. △ Less

Submitted 30 July, 2012; v1 submitted 26 July, 2012; originally announced July 2012.

MSC Class: 28A80; 31E05; 53C23; 60J25; 60J35; 81Q35; 35A01; 35Q30

Journal ref: Fractal geometry and dynamical systems in pure and applied mathematics. II. Fractals in applied mathematics, 147-163, Contemp. Math., 601, Amer. Math. Soc., Providence, RI, 2013

Spatial Log Periodic Oscillations of First-Passage Observables in Fractals

Authors: Eric Akkermans, Olivier Benichou, Gerald Dunne, Alexander Teplyaev, Raphael Voituriez

Abstract: For transport processes in geometrically restricted domains, the mean first-passage time (MFPT) admits a general scaling dependence on space parameters for diffusion, anomalous diffusion, and diffusion in disordered or fractal media. For transport in self-similar fractal structures, we obtain a new expression for the source-target distance dependence of the MFPT that exhibits both the leading powe… ▽ More For transport processes in geometrically restricted domains, the mean first-passage time (MFPT) admits a general scaling dependence on space parameters for diffusion, anomalous diffusion, and diffusion in disordered or fractal media. For transport in self-similar fractal structures, we obtain a new expression for the source-target distance dependence of the MFPT that exhibits both the leading power law behavior, depending on the Hausdorff and spectral dimension of the fractal, as well as small log periodic oscillations that are a clear and definitive signal of the underlying fractal structure. We also present refined numerical results for the Sierpinski gasket that confirm this oscillatory behavior. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 4 pages, 2 figures

Dirac and magnetic Schrödinger operators on fractals

Authors: Michael Hinz, Alexander Teplyaev

Abstract: In this paper we define (local) Dirac operators and magnetic Schrödinger Hamiltonians on fractals and prove their (essential) self-adjointness. To do so we use the concept of 1-forms and derivations associated with Dirichlet forms as introduced by Cipriani and Sauvageot, and further studied by the authors jointly with Röckner, Ionescu and Rogers. For simplicity our definitions and results are form… ▽ More In this paper we define (local) Dirac operators and magnetic Schrödinger Hamiltonians on fractals and prove their (essential) self-adjointness. To do so we use the concept of 1-forms and derivations associated with Dirichlet forms as introduced by Cipriani and Sauvageot, and further studied by the authors jointly with Röckner, Ionescu and Rogers. For simplicity our definitions and results are formulated for the Sierpinski gasket with its standard self-similar energy form. We point out how they may be generalized to other spaces, such as the classical Sierpinski carpet. △ Less

Submitted 30 July, 2012; v1 submitted 12 July, 2012; originally announced July 2012.

MSC Class: 81Q35; 28A80; 60J25; 60J35; 30D30; 31E05; 35P20; 47A75; 81Q10; 53C23

Journal ref: J. Funct. Anal. 265 (2013), no. 11, 2830-2854

Local Dirichlet forms, Hodge theory, and the Navier-Stokes equations on topologically one-dimensional fractals

Authors: Michael Hinz, Alexander Teplyaev

Abstract: We consider finite energy and $L^2$ differential forms associated with strongly local regular Dirichlet forms on compact connected topologically one-dimensional spaces. We introduce notions of local exactness and local harmonicity and prove the Hodge decomposition, which in our context says that the orthogonal complement to the space of all exact 1-forms coincides with the closed span of all local… ▽ More We consider finite energy and $L^2$ differential forms associated with strongly local regular Dirichlet forms on compact connected topologically one-dimensional spaces. We introduce notions of local exactness and local harmonicity and prove the Hodge decomposition, which in our context says that the orthogonal complement to the space of all exact 1-forms coincides with the closed span of all locally harmonic 1-forms. Then we introduce a related Hodge Laplacian and define a notion harmonicity for finite energy 1-forms. As as corollary, under a certain capacity-separation assumption, we prove that the space of harmonic 1-forms is nontrivial if and only if the classical Čech cohomology is nontrivial. In the examples of classical self-similar fractals these spaces typically are either trivial or infinitely dimensional. Finally, we study Navier-Stokes type models and prove that under our assumptions they have only steady state divergence-free solutions. In particular, we solve the existence and uniqueness problem for the Navier-Stokes and Euler equations for a large class of fractals that are topologically one-dimensional but can have arbitrary Hausdorff and spectral dimensions. △ Less

Submitted 27 September, 2016; v1 submitted 28 June, 2012; originally announced June 2012.

MSC Class: 81Q35; 28A80; 60J25; 60J35; 30D30; 31E05; 35P20; 47A75; 81Q10; 53C23

Journal ref: Trans. Amer. Math. Soc. 367 (2015), no. 2, 1347-1380

Spectral Analysis and Dirichlet Forms on Barlow-Evans Fractals

Authors: Benjamin Steinhurst, Alexander Teplyaev

Abstract: We develop the foundation of the spectral analysis on Barlow-Evans projective limit fractals, or vermiculated spaces, which corresponds to symmetric Markov processes on these spaces. For some new examples, such as the generalized Laakso spaces and a Spierpinski Pâte à Choux, one can develop a complete spectral theory, including the eigenfunction expansions that are analogous to Fourier series. Als… ▽ More We develop the foundation of the spectral analysis on Barlow-Evans projective limit fractals, or vermiculated spaces, which corresponds to symmetric Markov processes on these spaces. For some new examples, such as the generalized Laakso spaces and a Spierpinski Pâte à Choux, one can develop a complete spectral theory, including the eigenfunction expansions that are analogous to Fourier series. Also, one can construct connected fractal spaces isospectral to the fractal strings of Lapidus and van Frankenhuijsen. Our work is motivated by recent progress in mathematical physics on fractals. △ Less

Submitted 6 January, 2019; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: v3: major revision

MSC Class: 81Q35; 28A80; 31C25; 34L10; 47A10; 60J35; 81Q12

Vector analysis for Dirichlet forms and quasilinear PDE and SPDE on metric measure spaces

Authors: Michael Hinz, Michael Röckner, Alexander Teplyaev

Abstract: Starting with a regular symmetric Dirichlet form on a locally compact separable metric space $X$, our paper studies elements of vector analysis, $L_p$-spaces of vector fields and related Sobolev spaces. These tools are then employed to obtain existence and uniqueness results for some quasilinear elliptic PDE and SPDE in variational form on $X$ by standard methods. For many of our results locality… ▽ More Starting with a regular symmetric Dirichlet form on a locally compact separable metric space $X$, our paper studies elements of vector analysis, $L_p$-spaces of vector fields and related Sobolev spaces. These tools are then employed to obtain existence and uniqueness results for some quasilinear elliptic PDE and SPDE in variational form on $X$ by standard methods. For many of our results locality is not assumed, but most interesting applications involve local regular Dirichlet forms on fractal spaces such as nested fractals and Sierpinski carpets. △ Less

Submitted 19 June, 2013; v1 submitted 3 February, 2012; originally announced February 2012.

MSC Class: 60J25; 60J35; 28A80; 81Q35; 30D30; 31E05; 35P20; 47A75; 81Q10

Journal ref: Stochastic Process. Appl. 123 (2013), no. 12, 4373-4406