-
Schemes in Lean
Authors:
Kevin Buzzard,
Chris Hughes,
Kenny Lau,
Amelia Livingston,
Ramon Fernández Mir,
Scott Morrison
Abstract:
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
△ Less
Submitted 18 March, 2022; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Gromov Hyperbolic Graphs Arising From Iterations
Authors:
Shi-Lei Kong,
Ka-Sing Lau,
Xiang-Yang Wang
Abstract:
For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-…
▽ More
For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-Lipschitz equivalence on $K$. In this paper, we formulate a broad class of hyperbolic graphs, called expansive hyperbolic graphs, to capture the most essential properties from the augmented trees and the hyperbolic boundaries (e.g., the special geodesics, bounded degree property, metric doubling property, and Hölder equivalence). We also study a new setup of "weighted" IFS and investigate its connection with the self-similar energy form in the analysis of fractals.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Random walks and induced Dirichlet forms on compact spaces of homogeneous type
Authors:
Shi-Lei Kong,
Ka-Sing Lau,
Ting-Kam Leonard Wong
Abstract:
We extend our study of random walks and induced Dirichlet forms on self-similar sets [arXiv:1604.05440, 1612.01708] to compact spaces of homogeneous type $(K, ρ,μ)$. A successive partition on $K$ brings a natural augmented tree structure $(X, E)$ that is Gromov hyperbolic, and the hyperbolic boundary is Hölder equivalent to $K$. We then introduce a class of transient reversible random walks on…
▽ More
We extend our study of random walks and induced Dirichlet forms on self-similar sets [arXiv:1604.05440, 1612.01708] to compact spaces of homogeneous type $(K, ρ,μ)$. A successive partition on $K$ brings a natural augmented tree structure $(X, E)$ that is Gromov hyperbolic, and the hyperbolic boundary is Hölder equivalent to $K$. We then introduce a class of transient reversible random walks on $(X, E)$ with return ratio $λ$. Using Silverstein's theory of Markov chains, we prove that the random walk induces an energy form on $K$ with $$ {\mathcal E}_K [u] \asymp \iint_{K\times K \setminus Δ} \frac{|u(ξ) - u(η)|^2}{V(ξ, η)ρ(ξ, η)^β} dμ(ξ) dμ(η), $$ where $V(ξ, η)$ is the $μ$-volume of the ball centered at $ξ$ with radius $ρ(ξ, η)$, $Δ$ is the diagonal, and $β$ depends on $λ$. In particular, for an $α$-set in ${\mathbb R}^d$, the kernel of the energy form is of order $\frac{1}{|ξ-η|^{α+β}}$. We also discuss conditions for this energy form to be a non-local regular Dirichlet form.
△ Less
Submitted 8 April, 2018;
originally announced April 2018.
-
Accelerated Block Coordinate Proximal Gradients with Applications in High Dimensional Statistics
Authors:
Tsz Kit Lau,
Yuan Yao
Abstract:
Nonconvex optimization problems arise in different research fields and arouse lots of attention in signal processing, statistics and machine learning. In this work, we explore the accelerated proximal gradient method and some of its variants which have been shown to converge under nonconvex context recently. We show that a novel variant proposed here, which exploits adaptive momentum and block coo…
▽ More
Nonconvex optimization problems arise in different research fields and arouse lots of attention in signal processing, statistics and machine learning. In this work, we explore the accelerated proximal gradient method and some of its variants which have been shown to converge under nonconvex context recently. We show that a novel variant proposed here, which exploits adaptive momentum and block coordinate update with specific update rules, further improves the performance of a broad class of nonconvex problems. In applications to sparse linear regression with regularizations like Lasso, grouped Lasso, capped $\ell_1$ and SCAP, the proposed scheme enjoys provable local linear convergence, with experimental justification.
△ Less
Submitted 3 December, 2017; v1 submitted 15 October, 2017;
originally announced October 2017.
-
On a recursive construction of Dirichlet form on the Sierpiński gasket
Authors:
Qingsong Gu,
Ka-Sing Lau,
Hua Qiu
Abstract:
Let $Γ_n$ denote the $n$-th level Sierpiński graph of the Sierpiński gasket $K$. We consider, for any given conductance $(a_0, b_0, c_0)$ on $Γ_0$, the Dirchlet form ${\mathcal E}$ on $K$ obtained from a recursive construction of compatible sequence of conductances $(a_n, b_n, c_n)$ on $Γ_n, n\geq 0$. We prove that there is a dichotomy situation: either $a_0= b_0 =c_0$ and ${\mathcal E}$ is the st…
▽ More
Let $Γ_n$ denote the $n$-th level Sierpiński graph of the Sierpiński gasket $K$. We consider, for any given conductance $(a_0, b_0, c_0)$ on $Γ_0$, the Dirchlet form ${\mathcal E}$ on $K$ obtained from a recursive construction of compatible sequence of conductances $(a_n, b_n, c_n)$ on $Γ_n, n\geq 0$. We prove that there is a dichotomy situation: either $a_0= b_0 =c_0$ and ${\mathcal E}$ is the standard Dirichlet form, or $a_0 >b_0 =c_0$ (or the two symmetric alternatives), and ${\mathcal E}$ is a non-self-similar Dirichlet form independent of $a_0, b_0$. The second situation has also been studied in [Hattori et al 1994][Hambley et al 2002] as a one-dimensional asymptotic diffusion process on the Sierpiński gasket. For the spectral property, we give a sharp estimate of the eigenvalue distribution of the associated Laplacian, which improves a similar result in [Hambley et al 2002].
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Dirichlet forms and critical exponents on fractals
Authors:
Qingsong Gu,
Ka-Sing Lau
Abstract:
Let $B^σ_{2, \infty}$ denote the Besov space defined on a compact set $K \subset {\Bbb R}^d$ which is equipped with an $α$-regular measure $μ$. The {\it critical exponent} $σ^*$ is the supremum of the $σ$ such that $B^σ_{2, \infty} \cap C(K)$ is dense in $C(K)$. It is well-known that for many standard self-similar sets $K$, $B^{σ^*}_{2, \infty}$ are the domain of some local regular Dirichlet forms…
▽ More
Let $B^σ_{2, \infty}$ denote the Besov space defined on a compact set $K \subset {\Bbb R}^d$ which is equipped with an $α$-regular measure $μ$. The {\it critical exponent} $σ^*$ is the supremum of the $σ$ such that $B^σ_{2, \infty} \cap C(K)$ is dense in $C(K)$. It is well-known that for many standard self-similar sets $K$, $B^{σ^*}_{2, \infty}$ are the domain of some local regular Dirichlet forms. In this paper, we explore new situations that the underlying fractal sets admit inhomogeneous resistance scalings, which yield two types of critical exponents. We will restrict our consideration on the p.c.f. sets. We first develop a technique of quotient networks to study the general theory of these critical exponents. We then construct two asymmetric p.c.f. sets, and use them to illustrate the theory and examine the function properties of the associated Besov spaces at the critical exponents; the various Dirichlet forms on these fractals will also be studied.
△ Less
Submitted 19 April, 2018; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Critical exponents of induced Dirichlet forms on self-similar sets
Authors:
Shi-Lei Kong,
Ka-Sing Lau
Abstract:
In a previous paper [arXiv:1604.05440], we studied certain random walks on the hyperbolic graphs $X$ associated with the self-similar sets $K$, and showed that the discrete energy ${\mathcal E}_X$ on $X$ has an induced energy form ${\mathcal E}_K$ on $K$ that is a Gagliardo-type integral. The domain of ${\mathcal E}_K$ is a Besov space $Λ^{α, β/2}_{2,2}$ where $α$ is the Hausdorff dimension of…
▽ More
In a previous paper [arXiv:1604.05440], we studied certain random walks on the hyperbolic graphs $X$ associated with the self-similar sets $K$, and showed that the discrete energy ${\mathcal E}_X$ on $X$ has an induced energy form ${\mathcal E}_K$ on $K$ that is a Gagliardo-type integral. The domain of ${\mathcal E}_K$ is a Besov space $Λ^{α, β/2}_{2,2}$ where $α$ is the Hausdorff dimension of $K$ and $β$ is a parameter determined by the "return ratio" of the random walk. In this paper, we study the functional relationship of ${\mathcal E}_X$ and ${\mathcal E}_K$. In particular, we investigate the critical exponents of the $β$ in the domain $Λ^{α, β/2}_{2,2}$ in order for ${\mathcal E}_K$ to be a regular Dirichlet form. We provide some criteria to determine the critical exponents through the effective resistance of the random walk on $X$, and make use of certain electrical network techniques to calculate the exponents for some concrete examples.
△ Less
Submitted 8 April, 2018; v1 submitted 6 December, 2016;
originally announced December 2016.
-
On Hyperbolic graphs induced by iterated function systems
Authors:
Ka-Sing Lau,
Xiang-Yang Wang
Abstract:
For any contractive iterated function system (IFS, including the Moran systems), we show that there is a natural hyperbolic graph on the symbolic space, which yields the Hölder equivalence of the hyperbolic boundary and the invariant set of the IFS. This completes the previous studies (\cite {[Ka]}, \cite{[LW1]}, \cite{[W]}) by eliminating superfluous conditions, and admits more classes of sets (e…
▽ More
For any contractive iterated function system (IFS, including the Moran systems), we show that there is a natural hyperbolic graph on the symbolic space, which yields the Hölder equivalence of the hyperbolic boundary and the invariant set of the IFS. This completes the previous studies (\cite {[Ka]}, \cite{[LW1]}, \cite{[W]}) by eliminating superfluous conditions, and admits more classes of sets (e.g., the Moran sets). We also show that the bounded degree property of the graph can be used to characterize certain separation properties of the IFS (open set condition, weak separation condition); the bounded degree property is particularly important when we consider random walks on such graphs. This application and the other application to Lipschitz equivalence of self-similar sets will be discussed.
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
Random walks and induced Dirichlet forms on self-similar sets
Authors:
Shi-Lei Kong,
Ka-Sing Lau,
Ting-Kam Leonard Wong
Abstract:
Let $K$ be a self-similar set satisfying the open set condition. Following Kaimanovich's elegant idea, it has been proved that on the symbolic space $X$ of $K$ a natural augmented tree structure ${\mathfrak E}$ exists; it is hyperbolic, and the hyperbolic boundary $\partial_HX$ with the Gromov metric is Hölder equivalent to $K$. In this paper we consider certain reversible random walks with return…
▽ More
Let $K$ be a self-similar set satisfying the open set condition. Following Kaimanovich's elegant idea, it has been proved that on the symbolic space $X$ of $K$ a natural augmented tree structure ${\mathfrak E}$ exists; it is hyperbolic, and the hyperbolic boundary $\partial_HX$ with the Gromov metric is Hölder equivalent to $K$. In this paper we consider certain reversible random walks with return ratio $0< λ<1$ on $(X, {\mathfrak E})$. We show that the Martin boundary ${\mathcal M}$ can be identified with $\partial_H X$ and $K$. With this setup and a device of Silverstein, we obtain precise estimates of the Martin kernel and the Naïm kernel in terms of the Gromov product. Moreover, the Naïm kernel turns out to be a jump kernel satisfying the estimate $Θ(ξ, η) \asymp |ξ-η|^{-(α+ β)}$, where $α$ is the Hausdorff dimension of $K$ and $β$ depends on $λ$. For suitable $β$, the kernel defines a regular non-local Dirichlet form on $K$. This extends the results of Kigami concerning random walks on certain trees with Cantor-type sets as boundaries.
△ Less
Submitted 19 October, 2017; v1 submitted 19 April, 2016;
originally announced April 2016.
-
Lipschitz equivalence of self-similar sets and hyperbolic boundaries II
Authors:
Guo-Tai Deng,
Ka-Sing Lau,
Jun Jason Luo
Abstract:
In \cite{LuLa13}, two of the authors initiated a study of Lipschitz equivalence of self-similar sets through the augmented trees, a class of hyperbolic graphs introduced by Kaimanovich \cite{Ka03} and developed by Lau and Wang \cite{LaWa09}. In this paper, we continue such investigation. We remove a major assumption in the main theorem in \cite{LuLa13} by using a new notion of quasi-rearrangeable…
▽ More
In \cite{LuLa13}, two of the authors initiated a study of Lipschitz equivalence of self-similar sets through the augmented trees, a class of hyperbolic graphs introduced by Kaimanovich \cite{Ka03} and developed by Lau and Wang \cite{LaWa09}. In this paper, we continue such investigation. We remove a major assumption in the main theorem in \cite{LuLa13} by using a new notion of quasi-rearrangeable matrix, and show that the hyperbolic boundary of any simple augmented tree is Lipschitz equivalent to a Cantor-type set. We then apply this result to consider the Lipschitz equivalence of certain totally disconnected self-similar sets as well as their unions.
△ Less
Submitted 17 August, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
On Spectral N-Bernoulli Mmeasure
Authors:
Xin-Rong Dai,
Xing-Gang He,
Ka-Sing Lau
Abstract:
For $0<ρ<1$ and $N>1$ an integer, let $μ$ be the self-similar measure defined by $μ(\cdot)=\sum_{i=0}^{N-1}\frac 1Nμ(ρ^{-1}(\cdot)-i)$. We prove that $L^2(μ)$ has an exponential orthonormal basis if and only if $ρ=\frac 1q$ for some $q>0$ and $N$ divides $q$. The special case is the Cantor measure with $ρ=\frac 1{2k}$ and $N=2$ \cite {JP}, which was proved recently to be the only spectral measure…
▽ More
For $0<ρ<1$ and $N>1$ an integer, let $μ$ be the self-similar measure defined by $μ(\cdot)=\sum_{i=0}^{N-1}\frac 1Nμ(ρ^{-1}(\cdot)-i)$. We prove that $L^2(μ)$ has an exponential orthonormal basis if and only if $ρ=\frac 1q$ for some $q>0$ and $N$ divides $q$. The special case is the Cantor measure with $ρ=\frac 1{2k}$ and $N=2$ \cite {JP}, which was proved recently to be the only spectral measure among the Bernoulli convolutions with $0<ρ<1$ \cite {D}.
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Spectrality of Self-Similar Tiles
Authors:
Xiaoye Fu,
Xinggang He,
Ka-Sing Lau
Abstract:
We call a set $K \subset {\mathbb R}^s$ with positive Lebesgue measure a {\it spectral set} if $L^2(K)$ admits an exponential orthonormal basis. It was conjectured that $K$ is a spectral set if and only if $K$ is a tile (Fuglede's conjecture). Despite the conjecture was proved to be false on ${\mathbb R}^s$, $s\geq 3$ ([T], [KM2]), it still poses challenging questions with additional assumptions.…
▽ More
We call a set $K \subset {\mathbb R}^s$ with positive Lebesgue measure a {\it spectral set} if $L^2(K)$ admits an exponential orthonormal basis. It was conjectured that $K$ is a spectral set if and only if $K$ is a tile (Fuglede's conjecture). Despite the conjecture was proved to be false on ${\mathbb R}^s$, $s\geq 3$ ([T], [KM2]), it still poses challenging questions with additional assumptions. In this paper, our additional assumption is self-similarity. We study the spectral properties for the class of self-similar tiles $K$ in ${\mathbb R}$ that has a product structure on the associated digit sets. We show that any strict product-form tiles and the associated modulo product-form tiles are spectral sets. As for the converse question, we give a pilot study for the self-similar set $K$ generated by arbitrary digit sets with four elements. We investigate the zeros of its Fourier transform due to the orthogonality, and verify Fuglede's conjecture for this special case.
△ Less
Submitted 16 September, 2013;
originally announced September 2013.
-
Classification of tile digit sets as product-forms
Authors:
Chun-Kit Lai,
Ka-Sing Lau,
Hui Rao
Abstract:
Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing…
▽ More
Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^αq$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^α$ and $pq$.
△ Less
Submitted 1 May, 2013;
originally announced May 2013.
-
Topological Structure of Fractal Squares
Authors:
Ka-Sing Lau,
Jun Jason Luo,
Hui Rao
Abstract:
Given an integer $n\geq 2$ and a digit set ${\mathcal D}\subsetneq {0,1,...,n-1}^2$, there is a self-similar set $F \subset {\Bbb R}^2$ satisfying the set equation: $F=(F+{\mathcal D})/n$. We call such $F$ a fractal square. By studying a periodic extension $H= F+ {\mathbb Z}^2$, we classify $F$ into three types according to their topological properties. We also provide some simple criteria for suc…
▽ More
Given an integer $n\geq 2$ and a digit set ${\mathcal D}\subsetneq {0,1,...,n-1}^2$, there is a self-similar set $F \subset {\Bbb R}^2$ satisfying the set equation: $F=(F+{\mathcal D})/n$. We call such $F$ a fractal square. By studying a periodic extension $H= F+ {\mathbb Z}^2$, we classify $F$ into three types according to their topological properties. We also provide some simple criteria for such classification.
△ Less
Submitted 18 October, 2012; v1 submitted 21 June, 2012;
originally announced June 2012.
-
Lipschitz equivalence of self-similar sets and hyperbolic boundaries
Authors:
Jun Jason Luo,
Ka-Sing Lau
Abstract:
In [9] Kaimanovich introduced the concept of augmented tree on the symbolic space of a self-similar set. It is hyperbolic in the sense of Gromov, and it was shown in [13] that under the open set condition, a self-similar set can be identified with the hyperbolic boundary of the tree. In the paper, we investigate in detail a class of simple augmented trees and the Lipschitz equivalence of such tree…
▽ More
In [9] Kaimanovich introduced the concept of augmented tree on the symbolic space of a self-similar set. It is hyperbolic in the sense of Gromov, and it was shown in [13] that under the open set condition, a self-similar set can be identified with the hyperbolic boundary of the tree. In the paper, we investigate in detail a class of simple augmented trees and the Lipschitz equivalence of such trees. The main purpose is to use this to study the Lipschitz equivalence problem of the totally disconnected self-similar sets which has been undergoing some extensive development recently.
△ Less
Submitted 30 November, 2012; v1 submitted 16 May, 2012;
originally announced May 2012.
-
Spectral structure of digit sets of self-similar tiles on ${Bbb R}^1$
Authors:
Chun-Kit Lai,
Ka-Sing Lau,
Hui Rao
Abstract:
We study the structure of the digit sets ${\mathcal D}$ for the integral self-similar tiles $T(b,{\mathcal{D}})$ (we call such ${\mathcal D}$ a {\it tile digit set} with respect to $b$). So far the only available classes of such tile digit sets are the complete residue sets and the product-forms. Our investigation here is based on the spectrum of the mask polynomial $P_{\mathcal D}$, i.e., the zer…
▽ More
We study the structure of the digit sets ${\mathcal D}$ for the integral self-similar tiles $T(b,{\mathcal{D}})$ (we call such ${\mathcal D}$ a {\it tile digit set} with respect to $b$). So far the only available classes of such tile digit sets are the complete residue sets and the product-forms. Our investigation here is based on the spectrum of the mask polynomial $P_{\mathcal D}$, i.e., the zeros of $P_{\mathcal D}$ on the unit circle. By using the Fourier criteria of self-similar tiles of Kenyon and Protasov, as well as the algebraic techniques of cyclotomic polynomial, we characterize the tile digit sets through some product of cyclotomic polynomials (kernel polynomials), which is a generalization of the product-form to higher order.
△ Less
Submitted 28 October, 2011;
originally announced October 2011.
-
Exponential spectra in $L^2(μ)$
Authors:
Xing-Gang He,
Chun-Kit Lai,
Ka-Sing Lau
Abstract:
Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$. We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and…
▽ More
Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$. We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and convolution, we construct a class of singularly continuous measures that has an exponential Riesz basis but no exponential orthonormal basis. It is the first of such kind of examples.
△ Less
Submitted 7 October, 2011;
originally announced October 2011.
-
On modular signs
Authors:
Emmanuel Kowalski,
Yuk Kam Lau,
Kannan Soundararajan,
Jie Wu
Abstract:
We consider some questions related to the signs of Hecke eigenvalues or Fourier coefficients of classical modular forms. One problem is to determine to what extent those signs, for suitable sets of primes, determine uniquely the modular form, and we give both individual and statistical results. The second problem, which has been considered by a number of authors, is to determine the size, in ter…
▽ More
We consider some questions related to the signs of Hecke eigenvalues or Fourier coefficients of classical modular forms. One problem is to determine to what extent those signs, for suitable sets of primes, determine uniquely the modular form, and we give both individual and statistical results. The second problem, which has been considered by a number of authors, is to determine the size, in terms of the conductor and weight, of the first sign-change of Hecke eigenvalues. Here we improve significantly the recent estimate of Iwaniec, Kohnen and Sengupta.
△ Less
Submitted 26 March, 2010; v1 submitted 11 November, 2009;
originally announced November 2009.
-
The number of Hecke eigenvalues of same signs
Authors:
Yuk Kam Lau,
Jie Wu
Abstract:
We give the best possible lower bounds in order of magnitude for the number of positive and negative Hecke eigenvalues. This improves upon a recent work of Kohnen, Lau & Shparlinski. Also, we study an analogous problem for short intervals.
We give the best possible lower bounds in order of magnitude for the number of positive and negative Hecke eigenvalues. This improves upon a recent work of Kohnen, Lau & Shparlinski. Also, we study an analogous problem for short intervals.
△ Less
Submitted 16 December, 2008;
originally announced December 2008.
-
The Pressure Function for Products of Non-negative Matrices
Authors:
De-Jun Feng,
Ka-Sing Lau
Abstract:
Let $(Σ_A, σ)$ be a subshift of finite type and let $M(x)$ be a continuous function on $Σ_A$ taking values in the set of non-negative matrices. We extend the classical scalar pressure function to this new setting and prove the existence of the Gibbs measure and the differentiability of the pressure function. We are especially interested on the case where $M(x)$ takes finite values…
▽ More
Let $(Σ_A, σ)$ be a subshift of finite type and let $M(x)$ be a continuous function on $Σ_A$ taking values in the set of non-negative matrices. We extend the classical scalar pressure function to this new setting and prove the existence of the Gibbs measure and the differentiability of the pressure function. We are especially interested on the case where $M(x)$ takes finite values $M_1, ..., M_m$. The pressure function reduces to $P(q):=\lim_{n\to \infty}\frac{1}{n} \log \sum_{J \in \sum_{A, n}} \|M_J\|^q$. The expression is important when we consider the multifractal formalism for certain iterated function systems with overlaps.
△ Less
Submitted 2 May, 2002;
originally announced May 2002.
