-
On the universal tiling conjecture in dimension one
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We show that the spectral-tile implication in the Fuglede conjecture in dimension 1 is equivalent to a Universal Tiling Conjecture and also to similar forms of the same implication for some simpler sets, such as unions of intervals with rational or integer endpoints.
We show that the spectral-tile implication in the Fuglede conjecture in dimension 1 is equivalent to a Universal Tiling Conjecture and also to similar forms of the same implication for some simpler sets, such as unions of intervals with rational or integer endpoints.
△ Less
Submitted 24 January, 2013; v1 submitted 4 September, 2012;
originally announced September 2012.
-
Spectra of measures and wandering vectors
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We present a characterization of the sets that appear as Fourier spectra of measures in terms of the existence of a strongly continuous representation of the ambient group that has a wandering vector for the given set.
We present a characterization of the sets that appear as Fourier spectra of measures in terms of the existence of a strongly continuous representation of the ambient group that has a wandering vector for the given set.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
Unitary groups and spectral sets
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator $\Ds = \frac1{2πi}\frac{d}{dx}$ with domain consisting of $C^\infty$ functions vanishing at the endpoints. We offer a detailed interplay between geometric conf…
▽ More
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator $\Ds = \frac1{2πi}\frac{d}{dx}$ with domain consisting of $C^\infty$ functions vanishing at the endpoints. We offer a detailed interplay between geometric configurations of unions of intervals and a spectral theory for the corresponding selfadjoint extensions of $\Ds$ and for the associated unitary groups of local translations. While motivated by scattering theory and quantum graphs, our present focus is on the Fuglede-spectral pair problem. Stated more generally, this problem asks for a determination of those bounded Borel sets $Ω$ in $\br^k$ such that $L^2(Ω)$ has an orthogonal basis of Fourier frequencies (spectrum), i.e., a total set of orthogonal complex exponentials restricted to $Ω$.
In the general case, we characterize Borel sets $Ω$ having this spectral property in terms of a unitary representation of $(\br, +)$ acting by local translations. The case of $k = 1$ is of special interest, hence the interval-configurations. We give a characterization of those geometric interval-configurations which allow Fourier spectra directly in terms of the selfadjoint extensions of the minimal operator $\Ds$. This allows for a direct and explicit interplay between geometry and spectra. As an application, we offer a new look at the Universal Tiling Conjecture and show that the spectral-implies-tile part of the Fuglede conjecture is equivalent to it and can be reduced to a variant of the Fuglede conjecture for unions of integer intervals.
△ Less
Submitted 5 November, 2014; v1 submitted 19 May, 2012;
originally announced May 2012.
-
Scalar spectral measures associated with an Operator-Fractal
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
We examine the operator $U_5$ defined on $L^2(μ_{\frac14})$ where $μ_{\frac14}$ is the 1/4 Cantor measure. The operator $U_5$ scales the elements of the canonical exponential spectrum for $L^2(μ_{\frac14})$ by 5 --- that is, $Ue_γ = e_{5γ}$ where $e_γ(t) = e^{2πi γt}$. It is known that $U_5$ has a self-similar structure, which makes its spectrum, which is currently unknown, of particular interest.…
▽ More
We examine the operator $U_5$ defined on $L^2(μ_{\frac14})$ where $μ_{\frac14}$ is the 1/4 Cantor measure. The operator $U_5$ scales the elements of the canonical exponential spectrum for $L^2(μ_{\frac14})$ by 5 --- that is, $Ue_γ = e_{5γ}$ where $e_γ(t) = e^{2πi γt}$. It is known that $U_5$ has a self-similar structure, which makes its spectrum, which is currently unknown, of particular interest. In order to better understand the spectrum of $U_5$, we demonstrate a decomposition of the projection valued measures and scalar spectral measures associated with $U_5$. We are also able to compute associated Radon-Nikodym derivatives between the scalar measures. Our decomposition utilizes a system of operators which form a representation of the Cuntz algebra $\mathcal{O}_2$.
△ Less
Submitted 23 April, 2012;
originally announced April 2012.
-
Scaling by 5 on a 1/4-Cantor Measure
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
Each Cantor measure (μ) with scaling factor 1/(2n) has at least one associated orthonormal basis of exponential functions (ONB) for L^2(μ). In the particular case where the scaling constant for the Cantor measure is 1/4 and two specific ONBs are selected for L^2(μ), there is a unitary operator U defined by mapping one ONB to the other. This paper focuses on the case in which one ONB (Γ) is the ori…
▽ More
Each Cantor measure (μ) with scaling factor 1/(2n) has at least one associated orthonormal basis of exponential functions (ONB) for L^2(μ). In the particular case where the scaling constant for the Cantor measure is 1/4 and two specific ONBs are selected for L^2(μ), there is a unitary operator U defined by mapping one ONB to the other. This paper focuses on the case in which one ONB (Γ) is the original Jorgensen-Pedersen ONB for the Cantor measure (μ) and the other ONB is is 5Γ. The main theorem of the paper states that the corresponding operator U is ergodic in the sense that only the constant functions are fixed by U.
△ Less
Submitted 25 April, 2012; v1 submitted 18 November, 2011;
originally announced November 2011.
-
Momentum Operators in Two Intervals: Spectra and Phase Transition
Authors:
Palle E. T. Jorgensen,
Steen Pedersen,
Feng Tian
Abstract:
We study the momentum operator defined on the disjoint union of two intervals. Even in one dimension, the question of two non-empty open and non-overlapping intervals has not been worked out in a way that extends the cases of a single interval and gives a list of the selfadjoint extensions. Starting with zero boundary conditions at the four endpoints, we characterize the selfadjoint extensions and…
▽ More
We study the momentum operator defined on the disjoint union of two intervals. Even in one dimension, the question of two non-empty open and non-overlapping intervals has not been worked out in a way that extends the cases of a single interval and gives a list of the selfadjoint extensions. Starting with zero boundary conditions at the four endpoints, we characterize the selfadjoint extensions and undertake a systematic and complete study of the spectral theory of the selfadjoint extensions. In an application of our extension theory to harmonic analysis, we offer a new family of spectral pairs. Compared to earlier studies, it yields a more direct link between spectrum and geometry.
△ Less
Submitted 26 October, 2011;
originally announced October 2011.
-
An Operator-Fractal
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
Certain Bernoulli convolution measures (μ) are known to be spectral. Recently, much work has concentrated on determining conditions under which orthonormal Fourier bases (i.e. spectral bases) exist. For a fixed measure known to be spectral, the orthonormal basis need not be unique; indeed, there are often families of such spectral bases.
Let λ= 1/(2n) for a natural number n and consider the Bern…
▽ More
Certain Bernoulli convolution measures (μ) are known to be spectral. Recently, much work has concentrated on determining conditions under which orthonormal Fourier bases (i.e. spectral bases) exist. For a fixed measure known to be spectral, the orthonormal basis need not be unique; indeed, there are often families of such spectral bases.
Let λ= 1/(2n) for a natural number n and consider the Bernoulli measure (μ) with scale factor λ. It is known that L^2(μ) has a Fourier basis. We first show that there are Cuntz operators acting on this Hilbert space which create an orthogonal decomposition, thereby offering powerful algorithms for computations for Fourier expansions.
When L^2(μ) has more than one Fourier basis, there are natural unitary operators U, indexed by a subset of odd scaling factors p; each U is defined by mapping one ONB to another. We show that the unitary operator U can also be orthogonally decomposed according to the Cuntz relations. Moreover, this operator-fractal U exhibits its own self-similarity.
△ Less
Submitted 13 December, 2011; v1 submitted 14 September, 2011;
originally announced September 2011.
-
Spectral comparisons between networks with different conductance functions
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
For a network consisting of a graph with edge weights prescribed by a given conductance function $c$, we consider the effects of replacing these weights with a new function $b$ that satisfies $b \leq c$ on each edge. In particular, we compare the corresponding energy spaces and the spectra of the Laplace operators acting on these spaces. We use these results to derive estimates for effective resis…
▽ More
For a network consisting of a graph with edge weights prescribed by a given conductance function $c$, we consider the effects of replacing these weights with a new function $b$ that satisfies $b \leq c$ on each edge. In particular, we compare the corresponding energy spaces and the spectra of the Laplace operators acting on these spaces. We use these results to derive estimates for effective resistance on the two networks, and to compute a spectral invariant for the canonical embedding of one energy space into the other.
△ Less
Submitted 23 August, 2012; v1 submitted 14 July, 2011;
originally announced July 2011.
-
Decomposition of wavelet representations and Martin boundaries
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Sergei Silvestrov
Abstract:
We study a decomposition problem for a class of unitary representations associated with wavelet analysis, wavelet representations, but our framework is wider and has applications to multi-scale expansions arising in dynamical systems theory for non-invertible endomorphisms.
Our main results offer a direct integral decomposition for the general wavelet representation, and we solve a question pose…
▽ More
We study a decomposition problem for a class of unitary representations associated with wavelet analysis, wavelet representations, but our framework is wider and has applications to multi-scale expansions arising in dynamical systems theory for non-invertible endomorphisms.
Our main results offer a direct integral decomposition for the general wavelet representation, and we solve a question posed by Judith Packer. This entails a direct integral decomposition of the general wavelet representation. We further give a detailed analysis of the measures contributing to the decomposition into irreducible representations. We prove results for associated Martin boundaries, relevant for the understanding of wavelet filters and induced random-walks, as well as classes of harmonic functions.
Our setting entails representations built from certain finite-to-one endomorphisms $r$ in compact metric spaces $X$, and we study their dilations to automorphisms in induced solenoids. Our wavelet representations are covariant systems formed from the dilated automorphisms. They depend on assigned measures $μ$ on $X$. It is known that when the data $(X, r, μ)$ are given the associated wavelet representation is typically reducible. By introducing wavelet filters associated to $(X, r)$ we build random walks in $X$, path-space measures, harmonic functions, and an associated Martin boundary.
We construct measures on the solenoid $(X_\infty, r_\infty)$, built from $(X, r)$. We show that $r_\infty$ induces unitary operators $U$ on Hilbert space $\H$ and representations $π$ of the algebra $L^\infty(X)$ such that the pair $(U, r_\infty)$, together with the corresponding representation $π$ forms a cross-product in the sense of $C^*$-algebras. We note that the traditional wavelet representations fall within this wider framework of $(\H, U, π)$ covariant crossed products.
△ Less
Submitted 26 October, 2011; v1 submitted 17 May, 2011;
originally announced May 2011.
-
Self-adjoint extensions of network Laplacians and applications to resistance metrics
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
Let $(G,c)$ be an infinite network, and let $\mathcal{E}$ be the canonical energy form. Let $Δ_2$ be the Laplace operator with dense domain in $\ell^2(G)$ and let $Δ_{\mathcal{E}}$ be the Laplace operator with dense domain in the Hilbert space $\mathcal{H}_\mathcal{E}$ of finite energy functions on $G$. It is known that $Δ_2$ is essentially self-adjoint, but that $Δ_{\mathcal{E}}$ is \emph{not}. I…
▽ More
Let $(G,c)$ be an infinite network, and let $\mathcal{E}$ be the canonical energy form. Let $Δ_2$ be the Laplace operator with dense domain in $\ell^2(G)$ and let $Δ_{\mathcal{E}}$ be the Laplace operator with dense domain in the Hilbert space $\mathcal{H}_\mathcal{E}$ of finite energy functions on $G$. It is known that $Δ_2$ is essentially self-adjoint, but that $Δ_{\mathcal{E}}$ is \emph{not}. In this paper, we characterize the Friedrichs extension of $Δ_{\mathcal{E}}$ in terms of $Δ_2$ and show that the spectral measures of the two operators are mutually absolutely continuous with Radon-Nikodym derivative $λ$ (the spectral parameter), in the complement of $λ=0$. We also give applications to the effective resistance on $(G,c)$. For transient networks, the Dirac measure at $λ= 0$ contributes to the spectral resolution of the Friedrichs extension of $Δ_{\mathcal{E}}$ but not to that of the self-adjoint $\ell^2$ Laplacian.
△ Less
Submitted 6 March, 2012; v1 submitted 29 March, 2011;
originally announced March 2011.
-
Isospectral measures
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
In recent papers a number of authors have considered Borel probability measures $μ$ in $\br^d$ such that the Hilbert space $L^2(μ)$ has a Fourier basis (orthogonal) of complex exponentials. If $μ$ satisfies this property, the set of frequencies in this set are called a spectrum for $μ$. Here we fix a spectrum, say $Γ$, and we study the possibilities for measures $μ$ having $Γ$ as spectrum.
In recent papers a number of authors have considered Borel probability measures $μ$ in $\br^d$ such that the Hilbert space $L^2(μ)$ has a Fourier basis (orthogonal) of complex exponentials. If $μ$ satisfies this property, the set of frequencies in this set are called a spectrum for $μ$. Here we fix a spectrum, say $Γ$, and we study the possibilities for measures $μ$ having $Γ$ as spectrum.
△ Less
Submitted 3 February, 2011; v1 submitted 5 November, 2010;
originally announced November 2010.
-
Multiplication operators on the energy space
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
This paper studies the "energy space" $\mathcal{H}_{\mathcal{E}}$ (the Hilbert space of functions of finite energy, aka the Dirichlet-finite functions) on an infinite network (weighted connected graph), from the point of view of the multiplication operators $M_f$ associated to functions $f$ on the network. We show that the multiplication operators $M_f$ are not Hermitian unless $f$ is constant, an…
▽ More
This paper studies the "energy space" $\mathcal{H}_{\mathcal{E}}$ (the Hilbert space of functions of finite energy, aka the Dirichlet-finite functions) on an infinite network (weighted connected graph), from the point of view of the multiplication operators $M_f$ associated to functions $f$ on the network. We show that the multiplication operators $M_f$ are not Hermitian unless $f$ is constant, and compute the adjoint $M_f^\star$ in terms of a reproducing kernel for $\mathcal{H}_{\mathcal{E}}$.
A characterization of the bounded multiplication operators is given in terms of positive semidefinite functions, and we give some conditions on $f$ which ensure $M_f$ is bounded. Examples show that it is not sufficient that $f$ be bounded or have finite energy. Conditions for the boundedness of $M_f$ are also expressed in terms of the behavior of the simple random walk on the network.
We also consider the bounded elements of $\mathcal{H}_{\mathcal{E}}$ and the (possibly unbounded) multiplication operators corresponding to them. In a previous paper, the authors used functional integration to construct a type of boundary for infinite networks. The boundary is described here in terms of a certain subalgebra of these multiplication operators, and is shown to embed into the Gel'fand space of that subalgebra. In the case when the only harmonic functions of finite energy are constant, we show that the Gel'fand space is the 1-point compactification of the underlying network.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.
-
Operators Induced by Graphs
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
In this paper, we consider certain elements in von Neumann algebras generated by graph groupoids. In particular, we are interested in finitely supported elements, called graph operators. We study the characterizations for self-adjointness, the unitary property, hyponormality and normality of graph operators.
In this paper, we consider certain elements in von Neumann algebras generated by graph groupoids. In particular, we are interested in finitely supported elements, called graph operators. We study the characterizations for self-adjointness, the unitary property, hyponormality and normality of graph operators.
△ Less
Submitted 16 July, 2010;
originally announced July 2010.
-
Toeplitz Operators in Hilbert Space over Graphs
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
In this paper, we consider the relation between Toeplitz operators and elements in von Neumann algebras generated by certain graph groupoids.
In this paper, we consider the relation between Toeplitz operators and elements in von Neumann algebras generated by certain graph groupoids.
△ Less
Submitted 16 July, 2010;
originally announced July 2010.
-
Affine fractals as boundaries and their harmonic analysis
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We introduce the notion of boundary representation for fractal Fourier expansions, starting with a familiar notion of spectral pairs for affine fractal measures. Specializing to one dimension, we establish boundary representations for these fractals. We prove that as sets these fractals arise as boundaries of functions in closed subspaces of the Hardy space $H^2$. By this we mean that there are la…
▽ More
We introduce the notion of boundary representation for fractal Fourier expansions, starting with a familiar notion of spectral pairs for affine fractal measures. Specializing to one dimension, we establish boundary representations for these fractals. We prove that as sets these fractals arise as boundaries of functions in closed subspaces of the Hardy space $H^2$. By this we mean that there are lacunary subsets $Γ$ of the non-negative integers, and associated closed $Γ$-subspace in the Hardy space $H^2(\bd)$, $\bd$ denoting the disk, such that for every function $f$ in in $H^2(Γ)$, and for every point $z$ in $\bd$, $f(z)$ admits a boundary integral represented by an associated measure $μ$, with integration over $\suppμ$ placed as a Cantor subset on the circle $\bt := \{bd}(\bd)$.
We study families of pairs: measures $μ$ and sets $Γ$ of lacunary form, admitting lacunary Fourier series in $L^2(μ)$; i.e., configurations $Γ$ arranged with a geometric progression of empty spacing, or missing parts, gaps. Given $Γ$, we find corresponding generalized Szeg\" o kernels $G_Γ$, and we compare them to the classical Szeg\" o kernel for $\bd$. Rather than the more traditional approach of starting with $μ$, and then asking for possibilities for sets $Γ$, such that we get Fourier series representations, we turn the problem upside down; now starting instead with a countably infinite discrete subset $Γ$, and, within a new duality framework, we study the possibilities for choices of measures $μ$.
△ Less
Submitted 21 August, 2010; v1 submitted 2 June, 2010;
originally announced June 2010.
-
Functional Analysis
Authors:
Feng Tian,
Palle E. T. Jorgensen
Abstract:
Notes from a course taught by Palle Jorgensen in the fall semester of 2009. The course covered central themes in functional analysis and operator theory, with an emphasis on topics of special relevance to such applications as representation theory, harmonic analysis, mathematical physics, and stochastic integration.
Notes from a course taught by Palle Jorgensen in the fall semester of 2009. The course covered central themes in functional analysis and operator theory, with an emphasis on topics of special relevance to such applications as representation theory, harmonic analysis, mathematical physics, and stochastic integration.
△ Less
Submitted 4 March, 2010;
originally announced March 2010.
-
Spectral measures and Cuntz algebras
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We consider a family of measures $μ$ supported in $\br^d$ and generated in the sense of Hutchinson by a finite family of affine transformations. It is known that interesting sub-families of these measures allow for an orthogonal basis in $L^2(μ)$ consisting of complex exponentials, i.e., a Fourier basis corresponding to a discrete subset $Γ$ in $\br^d$. Here we offer two computational devices fo…
▽ More
We consider a family of measures $μ$ supported in $\br^d$ and generated in the sense of Hutchinson by a finite family of affine transformations. It is known that interesting sub-families of these measures allow for an orthogonal basis in $L^2(μ)$ consisting of complex exponentials, i.e., a Fourier basis corresponding to a discrete subset $Γ$ in $\br^d$. Here we offer two computational devices for understanding the interplay between the possibilities for such sets $Γ$ (spectrum) and the measures $μ$ themselves. Our computations combine the following three tools: duality, discrete harmonic analysis, and dynamical systems based on representations of the Cuntz $C^*$-algebras $\mathcal O_N$.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
Fourier duality for fractal measures with affine scales
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
For a family of fractal measures, we find an explicit Fourier duality. The measures in the pair have compact support in $\br^d$, and they both have the same matrix scaling. But the two use different translation vectors, one by a subset $B$ in $\br^d$, and the other by a related subset $L$. Among other things, we show that there is then a pair of infinite discrete sets $Γ(L)$ and $Γ(B)$ in $\br^d$…
▽ More
For a family of fractal measures, we find an explicit Fourier duality. The measures in the pair have compact support in $\br^d$, and they both have the same matrix scaling. But the two use different translation vectors, one by a subset $B$ in $\br^d$, and the other by a related subset $L$. Among other things, we show that there is then a pair of infinite discrete sets $Γ(L)$ and $Γ(B)$ in $\br^d$ such that the $Γ(L)$-Fourier exponentials are orthogonal in $L^2(μ_B)$, and the $Γ(B)$-Fourier exponentials are orthogonal in $L^2(μ_L)$. These sets of orthogonal "frequencies" are typically lacunary, and they will be obtained by scaling in the large. The nature of our duality is explored below both in higher dimensions and for examples on the real line.
Our duality pairs do not always yield orthonormal Fourier bases in the respective $L^2(μ)$-Hilbert spaces, but depending on the geometry of certain finite orbits, we show that they do in some cases. We further show that there are new and surprising scaling symmetries of relevance for the ergodic theory of these affine fractal measures.
△ Less
Submitted 19 June, 2011; v1 submitted 5 November, 2009;
originally announced November 2009.
-
Spectral reciprocity and matrix representations of unbounded operators
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
Motivated by potential theory on discrete spaces, we study a family of unbounded Hermitian operators in Hilbert space which generalize the usual graph-theoretic discrete Laplacian. These operators are discrete analogues of the classical conformal Laplacians and Hamiltonians from statistical mechanics. For an infinite discrete set $X$, we consider operators acting on Hilbert spaces of functions on…
▽ More
Motivated by potential theory on discrete spaces, we study a family of unbounded Hermitian operators in Hilbert space which generalize the usual graph-theoretic discrete Laplacian. These operators are discrete analogues of the classical conformal Laplacians and Hamiltonians from statistical mechanics. For an infinite discrete set $X$, we consider operators acting on Hilbert spaces of functions on $X$, and their representations as infinite matrices; the focus is on $\ell^2(X)$, and the energy space $\mathcal{H}_{\mathcal E}$. In particular, we prove that these operators are always essentially self-adjoint on $\ell^2(X)$, but may fail to be essentially self-adjoint on $\mathcal{H}_{\mathcal E}$. In the general case, we examine the von Neumann deficiency indices of these operators and explore their relevance in mathematical physics. Finally we study the spectra of the $\mathcal{H}_{\mathcal E}$ operators with the use of a new approximation scheme.
△ Less
Submitted 29 January, 2011; v1 submitted 2 November, 2009;
originally announced November 2009.
-
Resistance boundaries of infinite networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure ${\mathcal H}_{\mathcal E}$ on the space of functions of finite energy.
The relationship between the natural Dirichlet form $\mathcal E$ and the d…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure ${\mathcal H}_{\mathcal E}$ on the space of functions of finite energy.
The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner product. We describe a reproducing kernel $\{v_x\}$ for $\mathcal E$ and used it to extends the discrete Gauss-Green identity to infinite networks: \[{\mathcal E}(u,v) = \sum_{G} u Δv + \sum_{\operatorname{bd}G} u \tfrac{\partial}{\partial \mathbf{n}} v,\] where the latter sum is understood in a limiting sense, analogous to a Riemann sum. This formula immediately yields a boundary sum representation for the harmonic functions of finite energy.
Techniques from stochastic integration allow one to make the boundary $\operatorname{bd}G$ precise as a measure space, and give a boundary integral representation (in a sense analogous to that of Poisson or Martin boundary theory). This is done in terms of a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$ and gives a probability measure $\mathbb{P}$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and yields a concrete representation of the boundary as a set of linear functionals on $S$.
△ Less
Submitted 22 January, 2010; v1 submitted 8 September, 2009;
originally announced September 2009.
-
Gel'fand triples and boundaries of infinite networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
We study the boundary theory of a connected weighted graph $G$ from the viewpoint of stochastic integration. For the Hilbert space \HE of Dirichlet-finite functions on $G$, we construct a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$. This yields a probability measure $\mathbb{P}$ on $S'$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and hence give…
▽ More
We study the boundary theory of a connected weighted graph $G$ from the viewpoint of stochastic integration. For the Hilbert space \HE of Dirichlet-finite functions on $G$, we construct a Gel'fand triple $S \ci {\mathcal H}_{\mathcal E} \ci S'$. This yields a probability measure $\mathbb{P}$ on $S'$ and an isometric embedding of ${\mathcal H}_{\mathcal E}$ into $L^2(S',\mathbb{P})$, and hence gives a concrete representation of the boundary as a certain class of "distributions" in $S'$. In a previous paper, we proved a discrete Gauss-Green identity for infinite networks which produces a boundary representation for harmonic functions of finite energy, given as a certain limit. In this paper, we use techniques from stochastic integration to make the boundary $\operatorname{bd}G$ precise as a measure space, and obtain a boundary integral representation as an integral over $S'$.
△ Less
Submitted 16 August, 2012; v1 submitted 15 June, 2009;
originally announced June 2009.
-
A Hilbert space approach to effective resistance metric
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure (which we call the energy space ${\mathcal H}_{\mathcal E}$) on the space of functions of finite energy.
We use the reproducing kernel $\{v_x\}$ c…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as conductors of possibly varying strengths. The Dirichlet energy form $\mathcal E$ produces a Hilbert space structure (which we call the energy space ${\mathcal H}_{\mathcal E}$) on the space of functions of finite energy.
We use the reproducing kernel $\{v_x\}$ constructed in \cite{DGG} to analyze the effective resistance $R$, which is a natural metric for such a network. It is known that when $(G,c)$ supports nonconstant harmonic functions of finite energy, the effective resistance metric is not unique. The two most natural choices for $R(x,y)$ are the ``free resistance'' $R^F$, and the ``wired resistance'' $R^W$. We define $R^F$ and $R^W$ in terms of the functions $v_x$ (and certain projections of them). This provides a way to express $R^F$ and $R^W$ as norms of certain operators, and explain $R^F \neq R^W$ in terms of Neumann vs. Dirichlet boundary conditions. We show that the metric space $(G,R^F)$ embeds isometrically into ${\mathcal H}_{\mathcal E}$, and the metric space $(G,R^W)$ embeds isometrically into the closure of the space of finitely supported functions; a subspace of ${\mathcal H}_{\mathcal E}$.
Typically, $R^F$ and $R^W$ are computed as limits of restrictions to finite subnetworks. A third formulation $R^{tr}$ is given in terms of the trace of the Dirichlet form $\mathcal E$ to finite subnetworks. A probabilistic approach shows that in the limit, $R^{tr}$ coincides with $R^F$. This suggests a comparison between the probabilistic interpretations of $R^F$ vs. $R^W$.
△ Less
Submitted 12 September, 2009; v1 submitted 14 June, 2009;
originally announced June 2009.
-
A discrete Gauss-Green identity for unbounded Laplace operators and transience of random walks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as resistors of possibly varying strengths. The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner pro…
▽ More
A resistance network is a connected graph $(G,c)$. The conductance function $c_{xy}$ weights the edges, which are then interpreted as resistors of possibly varying strengths. The relationship between the natural Dirichlet form $\mathcal E$ and the discrete Laplace operator $Δ$ on a finite network is given by $\mathcal E(u,v) = \la u, \Lap v\ra_2$, where the latter is the usual $\ell^2$ inner product. We extend this formula to infinite networks, where a new (boundary) term appears. The Laplace operator is typically unbounded in this context; we construct a reproducing kernel for the space of functions of finite energy which allows us to specify a dense domain for $Δ$ and give several criteria for the transience of the random walk on the network. The extended Gauss-Green identity and the reproducing kernel are the foundation for a boundary integral representation for harmonic functions of finite energy, akin to that of Martin boundary theory.
△ Less
Submitted 18 February, 2010; v1 submitted 8 June, 2009;
originally announced June 2009.
-
Analysis of unbounded operators and random motion
Authors:
Palle E. T. Jorgensen
Abstract:
We study infinite weighted graphs with view to \textquotedblleft limits at infinity,\textquotedblright or boundaries at infinity. Examples of such weighted graphs arise in infinite (in practice, that means \textquotedblleft very\textquotedblright large) networks of resistors, or in statistical mechanics models for classical or quantum systems. But more generally our analysis includes reproducing…
▽ More
We study infinite weighted graphs with view to \textquotedblleft limits at infinity,\textquotedblright or boundaries at infinity. Examples of such weighted graphs arise in infinite (in practice, that means \textquotedblleft very\textquotedblright large) networks of resistors, or in statistical mechanics models for classical or quantum systems. But more generally our analysis includes reproducing kernel Hilbert spaces and associated operators on them. If $X$ is some infinite set of vertices or nodes, in applications the essential ingredient going into the definition is a reproducing kernel Hilbert space; it measures the differences of functions on $X$ evaluated on pairs of points in $X$. And the Hilbert norm-squared in $\mathcal{H}(X)$ will represent a suitable measure of energy. Associated unbounded operators will define a notion or dissipation, it can be a graph Laplacian, or a more abstract unbounded Hermitian operator defined from the reproducing kernel Hilbert space under study. We prove that there are two closed subspaces in reproducing kernel Hilbert space $\mathcal{H}(X)$ which measure quantitative notions of limits at infinity in $X$, one generalizes finite-energy harmonic functions in $\mathcal{H}(X)$, and the other a deficiency index of a natural operator in $\mathcal{H}(X)$ associated directly with the diffusion. We establish these results in the abstract, and we offer examples and applications. Our results are related to, but different from, potential theoretic notions of \textquotedblleft boundaries\textquotedblright in more standard random walk models. Comparisons are made.
△ Less
Submitted 13 May, 2009;
originally announced May 2009.
-
A duality theory for unbounded Hermitian operators in Hilbert space
Authors:
Palle E. T. Jorgensen
Abstract:
We develop a duality theory for unbounded Hermitian operators with dense domain in Hilbert space. As is known, the obstruction for a Hermitian operator to be selfadjoint or to have selfadjoint extensions is measured by a pair of deficiency indices, and associated deficiency spaces; but in practical problems, the direct computation of these indices can be difficult. Instead, in this paper we iden…
▽ More
We develop a duality theory for unbounded Hermitian operators with dense domain in Hilbert space. As is known, the obstruction for a Hermitian operator to be selfadjoint or to have selfadjoint extensions is measured by a pair of deficiency indices, and associated deficiency spaces; but in practical problems, the direct computation of these indices can be difficult. Instead, in this paper we identify additional structures that throw light on the problem. While duality considerations are a tested tool in mathematics, we will attack the problem of computing deficiency spaces for a single Hermitian operator with dense domain in a Hilbert space which occurs in a duality relation with a second Hermitian operator, often in the same Hilbert space.
△ Less
Submitted 10 April, 2009;
originally announced April 2009.
-
Spectral Theory of Discrete Processes
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
We offer a spectral analysis for a class of transfer operators. These transfer operators arise for a wide range of stochastic processes, ranging from random walks on infinite graphs to the processes that govern signals and recursive wavelet algorithms; even spectral theory for fractal measures. In each case, there is an associated class of harmonic functions which we study. And in addition, we s…
▽ More
We offer a spectral analysis for a class of transfer operators. These transfer operators arise for a wide range of stochastic processes, ranging from random walks on infinite graphs to the processes that govern signals and recursive wavelet algorithms; even spectral theory for fractal measures. In each case, there is an associated class of harmonic functions which we study. And in addition, we study three questions in depth:
In specific applications, and for a specific stochastic process, how do we realize the transfer operator $T$ as an operator in a suitable Hilbert space? And how to spectral analyze $T$ once the right Hilbert space $\mathcal{H}$ has been selected? Finally we characterize the stochastic processes that are governed by a single transfer operator.
In our applications, the particular stochastic process will live on an infinite path-space which is realized in turn on a state space $S$. In the case of random walk on graphs $G$, $S$ will be the set of vertices of $G$. The Hilbert space $\mathcal{H}$ on which the transfer operator $T$ acts will then be an $L^{2}$ space on $S$, or a Hilbert space defined from an energy-quadratic form.
This circle of problems is both interesting and non-trivial as it turns out that $T$ may often be an unbounded linear operator in $\mathcal{H}$; but even if it is bounded, it is a non-normal operator, so its spectral theory is not amenable to an analysis with the use of von Neumann's spectral theorem. While we offer a number of applications, we believe that our spectral analysis will have intrinsic interest for the theory of operators in Hilbert space.
△ Less
Submitted 18 March, 2009;
originally announced March 2009.
-
On common fundamental domains
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Deguang Han,
Gabriel Picioroaga
Abstract:
We find conditions under which two measure preserving actions of two groups on the same space have a common fundamental domain. Our results apply to commuting actions with separate fundamental domains, lattices in groups of polynomial growth, and some semidirect products. We prove that two lattices of equal co-volume in a group of polynomial growth, one acting on the left, the other on the right,…
▽ More
We find conditions under which two measure preserving actions of two groups on the same space have a common fundamental domain. Our results apply to commuting actions with separate fundamental domains, lattices in groups of polynomial growth, and some semidirect products. We prove that two lattices of equal co-volume in a group of polynomial growth, one acting on the left, the other on the right, have a common fundamental domain.
△ Less
Submitted 18 February, 2013; v1 submitted 8 March, 2009;
originally announced March 2009.
-
Classification of Graph Fractaloids
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
In this paper, we observe graph fractaloids, which are the graph groupoids with fractal property. In particular, we classify them in terms of the spectral data of certain Hilbert space operators, called the radial operators. Based on these information, we can define the pair of two numbers $(N_{0},$ $N^{0})$, for a given graph fractaloid G, called the fractal pair of G. The graph fractaloids are…
▽ More
In this paper, we observe graph fractaloids, which are the graph groupoids with fractal property. In particular, we classify them in terms of the spectral data of certain Hilbert space operators, called the radial operators. Based on these information, we can define the pair of two numbers $(N_{0},$ $N^{0})$, for a given graph fractaloid G, called the fractal pair of G. The graph fractaloids are classified by such pairs.
△ Less
Submitted 3 February, 2009;
originally announced February 2009.
-
Orthogonal exponentials, translations, and Bohr completions
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Deguang Han
Abstract:
We are concerned with an harmonic analysis in Hilbert spaces $L^2(μ)$, where $μ$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_λ(x) = \exp(2πi λx)$ in $L^2(μ)$. This question in turn is connected to the existence of a natural embedding of $L^2(μ)$ into an $L^2$-space of Bohr almost periodic functions on $\br^n$. In…
▽ More
We are concerned with an harmonic analysis in Hilbert spaces $L^2(μ)$, where $μ$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_λ(x) = \exp(2πi λx)$ in $L^2(μ)$. This question in turn is connected to the existence of a natural embedding of $L^2(μ)$ into an $L^2$-space of Bohr almost periodic functions on $\br^n$. In particular we explore when $L^2(μ)$ contains an orthogonal basis of $e_λ$ functions, for $λ$ in a suitable discrete subset in $\br^n$; i.e, when the measure $μ$ is spectral. We give a new characterization of finite spectral sets in terms of the existence of a group of local translation. We also consider measures $μ$ that arise as fixed points (in the sense of Hutchinson) of iterated function systems (IFSs), and we specialize to the case when the function system in the IFS consists of affine and contractive mappings in $\br^n$. We show in this case that if $μ$ is then assumed spectral then its partitions induced by the IFS at hand have zero overlap measured in $μ$. This solves part of the Łaba-Wang conjecture. As an application of the new non-overlap result, we solve the spectral-pair problem for Bernoulli convolutions advancing in this way a theorem of Ka-Sing Lau. In addition we present a new perspective on spectral measures and orthogonal Fourier exponentials via the Bohr compactification.
△ Less
Submitted 14 May, 2009; v1 submitted 26 January, 2009;
originally announced January 2009.
-
An extension of Wiener integration with the use of operator theory
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
With the use of tensor product of Hilbert space, and a diagonalization procedure from operator theory, we derive an approximation formula for a general class of stochastic integrals. Further we establish a generalized Fourier expansion for these stochastic integrals. In our extension, we circumvent some of the limitations of the more widely used stochastic integral due to Wiener and Ito, i.e., s…
▽ More
With the use of tensor product of Hilbert space, and a diagonalization procedure from operator theory, we derive an approximation formula for a general class of stochastic integrals. Further we establish a generalized Fourier expansion for these stochastic integrals. In our extension, we circumvent some of the limitations of the more widely used stochastic integral due to Wiener and Ito, i.e., stochastic integration with respect to Brownian motion. Finally we discuss the connection between the two approaches, as well as a priori estimates and applications.
△ Less
Submitted 1 January, 2009;
originally announced January 2009.
-
Applications of Automata and Graphs: Labeling Operators in Hilbert Space II
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
We introduced a family of infinite graphs directly associated with a class of von Neumann automaton model A_{G}. These are finite state models used in symbolic dynamics: stimuli models and in control theory. In the context of groupoid von Neumann algebras, and an associated fractal group, we prove a classification theorem for representations of automata.
We introduced a family of infinite graphs directly associated with a class of von Neumann automaton model A_{G}. These are finite state models used in symbolic dynamics: stimuli models and in control theory. In the context of groupoid von Neumann algebras, and an associated fractal group, we prove a classification theorem for representations of automata.
△ Less
Submitted 26 September, 2008;
originally announced September 2008.
-
Duality questions for operators, spectrum and measures
Authors:
Dorim Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We explore spectral duality in the context of measures in $\br^n$, starting with partial differential operators and Fuglede's question (1974) about the relationship between orthogonal bases of complex exponentials in $L^2(Ω)$ and tiling properties of $Ω$, then continuing with affine iterated function systems. We review results in the literature from 1974 up to the present, and we relate them to…
▽ More
We explore spectral duality in the context of measures in $\br^n$, starting with partial differential operators and Fuglede's question (1974) about the relationship between orthogonal bases of complex exponentials in $L^2(Ω)$ and tiling properties of $Ω$, then continuing with affine iterated function systems. We review results in the literature from 1974 up to the present, and we relate them to a general framework for spectral duality for pairs of Borel measures in $\br^n$, formulated first by Jorgensen and Pedersen.
△ Less
Submitted 18 September, 2008;
originally announced September 2008.
-
Spectral duality for a class of unbounded operators
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We establish a spectral duality for certain unbounded operators in Hilbert space. The class of operators includes discrete graph Laplacians arising from infinite weighted graphs. The problem in this context is to establish a practical approximation of infinite models with suitable sequences of finite models which in turn allow (relatively) easy computations.
Let $X$ be an infinite set and let…
▽ More
We establish a spectral duality for certain unbounded operators in Hilbert space. The class of operators includes discrete graph Laplacians arising from infinite weighted graphs. The problem in this context is to establish a practical approximation of infinite models with suitable sequences of finite models which in turn allow (relatively) easy computations.
Let $X$ be an infinite set and let $\H$ be a Hilbert space of functions on $X$ with inner product $\ip{\cdot}{\cdot}=\ip{\cdot}{\cdot}_{\H}$. We will be assuming that the Dirac masses $δ_x$, for $x\in X$, are contained in $\H$. And we then define an associated operator $Δ$ in $\H$ given by $$(Δv)(x):=\ip{δ_x}{v}_{\H}.$$ Similarly, for every finite subset $F\subset X$, we get an operator $Δ_F$.
If $F_1\subset F_2\subset...$ is an ascending sequence of finite subsets such that $\cup_{k\in\bn}F_k=X$, we are interested in the following two problems:
(a) obtaining an approximation formula $$\lim_{k\to\infty}Δ_{F_k}=Δ;$$ and
(b) establish a computational spectral analysis for the truncated operators $Δ_F$ in (a).
△ Less
Submitted 4 August, 2008;
originally announced August 2008.
-
Operator theory of electrical resistance networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
A resistance network is a weighted graph $(G,c)$ with intrinsic (resistance) metric $R$. We embed the resistance network into the Hilbert space ${\mathcal H}_{\mathcal E}$ of functions of finite energy. We use the resistance metric to study ${\mathcal H}_{\mathcal E}$, and vice versa and show that the embedded images of the vertices $\{v_x\}$ form a reproducing kernel for this Hilbert space. We…
▽ More
A resistance network is a weighted graph $(G,c)$ with intrinsic (resistance) metric $R$. We embed the resistance network into the Hilbert space ${\mathcal H}_{\mathcal E}$ of functions of finite energy. We use the resistance metric to study ${\mathcal H}_{\mathcal E}$, and vice versa and show that the embedded images of the vertices $\{v_x\}$ form a reproducing kernel for this Hilbert space. We also obtain a discrete version of the Gauss-Green formula for resistance networks and show that resistance networks which support nonconstant harmonic functions of finite energy have a certain type of \emph{boundary}. We obtain an analytic boundary representation for the harmonic functions of finite energy in a sense analogous to the Poisson or Martin boundary representations, but with different hypotheses, and for a different class of functions. In the process, we construct a dense space of "smooth" functions of finite energy and obtain a Gel'fand triple for ${\mathcal H}_{\mathcal E}$. This allows us to represent the resistance network as a system of Gaussian random variables indexed by vertices. We also study the spectral representation for $Δ$ on ${\mathcal H}_{\mathcal E}$ and show how nonzero defect entails a nontrivial boundary. All of the above are are detected by the operator theory of ${\mathcal H}_{\mathcal E}$ but not $\ell^2$. Our results apply to the Heisenberg model for the isotropic ferromagnet, improving earlier results of R. T. Powers on the problem of long-range order (in reference to KMS states on the $C^\ast$-algebra of the model).
△ Less
Submitted 28 November, 2009; v1 submitted 23 June, 2008;
originally announced June 2008.
-
Applications of Automata and Graphs: Labeling-Operators in Hilbert Space I
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
We show that certain representations of graphs by operators on Hilbert space have uses in signal processing and in symbolic dynamics. Our main result is that graphs built on automata have fractal characteristics. We make this precise with the use of Representation Theory and of Spectral Theory of a certain family of Hecke operators. Let G be a directed graph. We begin by building the graph group…
▽ More
We show that certain representations of graphs by operators on Hilbert space have uses in signal processing and in symbolic dynamics. Our main result is that graphs built on automata have fractal characteristics. We make this precise with the use of Representation Theory and of Spectral Theory of a certain family of Hecke operators. Let G be a directed graph. We begin by building the graph groupoid G induced by G, and representations of G. Our main application is to the groupoids defined from automata. By assigning weights to the edges of a fixed graph G, we give conditions for G to acquire fractal-like properties, and hence we can have fractaloids or G-fractals. Our standing assumption on G is that it is locally finite and connected, and our labeling of G is determined by the "out-degrees of vertices". From our labeling, we arrive at a family of Hecke-type operators whose spectrum is computed. As applications, we are able to build representations by operators on Hilbert spaces (including the Hecke operators); and we further show that automata built on a finite alphabet generate fractaloids. Our Hecke-type operators, or labeling operators, come from an amalgamated free probability construction, and we compute the corresponding amalgamated free moments. We show that the free moments are completely determined by certain scalar-valued functions.
△ Less
Submitted 13 March, 2008;
originally announced March 2008.
-
Spectral Theory for Discrete Lapacians
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We give the spectral representation for a class of selfadjoint discrete graph Laplacians $Δ$, with $Δ$ depending on a chosen graph $G$ and a conductance function $c$ defined on the edges of $G$. We show that the spectral representations for $Δ$ fall in two model classes, (1) tree-graphs with $N$-adic branching laws, and (2) lattice graphs. We show that the spectral theory of the first class may…
▽ More
We give the spectral representation for a class of selfadjoint discrete graph Laplacians $Δ$, with $Δ$ depending on a chosen graph $G$ and a conductance function $c$ defined on the edges of $G$. We show that the spectral representations for $Δ$ fall in two model classes, (1) tree-graphs with $N$-adic branching laws, and (2) lattice graphs. We show that the spectral theory of the first class may be computed with the use of rank-one perturbations of the real part of the unilateral shift, while the second is analogously built up with the use of the bilateral shift. We further analyze the effect on spectra of the conductance function $c$: How the spectral representation of $Δ$ depends on $c$.
Using $Δ_G$, we introduce a resistance metric, and we show that it embeds isometrically into an energy Hilbert space. We introduce an associated random walk and we calculate return probabilities, and a path counting number.
△ Less
Submitted 2 June, 2008; v1 submitted 16 February, 2008;
originally announced February 2008.
-
Essential selfadjointness of the graph-Laplacian
Authors:
Palle E. T. Jorgensen
Abstract:
We study the operator theory associated with such infinite graphs $G$ as occur in electrical networks, in fractals, in statistical mechanics, and even in internet search engines. Our emphasis is on the determination of spectral data for a natural Laplace operator associated with the graph in question. This operator $Δ$ will depend not only on $G$, but also on a prescribed positive real valued fu…
▽ More
We study the operator theory associated with such infinite graphs $G$ as occur in electrical networks, in fractals, in statistical mechanics, and even in internet search engines. Our emphasis is on the determination of spectral data for a natural Laplace operator associated with the graph in question. This operator $Δ$ will depend not only on $G$, but also on a prescribed positive real valued function $c$ defined on the edges in $G$. In electrical network models, this function $c$ will determine a conductance number for each edge. We show that the corresponding Laplace operator $Δ$ is automatically essential selfadjoint. By this we mean that $Δ$ is defined on the dense subspace $\mathcal{D}$ (of all the real valued functions on the set of vertices $G^{0}$ with finite support) in the Hilbert space $l^{2}% (G^{0})$. The conclusion is that the closure of the operator $Δ$ is selfadjoint in $l^{2}(G^{0})$, and so in particular that it has a unique spectral resolution, determined by a projection valued measure on the Borel subsets of the infinite half-line. We prove that generically our graph Laplace operator $Δ=Δ_{c}$ will have continuous spectrum. For a given infinite graph $G$ with conductance function $c$, we set up a system of finite graphs with periodic boundary conditions such the finite spectra, for an ascending family of finite graphs, will have the Laplace operator for $G$ as its limit.
△ Less
Submitted 1 February, 2008;
originally announced February 2008.
-
C*-Algebras Generated by Partial Isometries
Authors:
Ilwoo Cho,
Palle E. T. Jorgensen
Abstract:
In this paper, we characterize the C*-Algebra generated by partial isometries.
In this paper, we characterize the C*-Algebra generated by partial isometries.
△ Less
Submitted 14 December, 2007;
originally announced December 2007.
-
Optimal Decompositions of Translations of $L^{2}$-functions
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
In this paper we offer a computational approach to the spectral function for a finite family of commuting operators, and give applications. Motivated by questions in wavelets and in signal processing, we study a problem about spectral concentration of integral translations of functions in the Hilbert space $L^{2}(\mathbb{R}^{n})$. Our approach applies more generally to families of $n$ arbitrary…
▽ More
In this paper we offer a computational approach to the spectral function for a finite family of commuting operators, and give applications. Motivated by questions in wavelets and in signal processing, we study a problem about spectral concentration of integral translations of functions in the Hilbert space $L^{2}(\mathbb{R}^{n})$. Our approach applies more generally to families of $n$ arbitrary commuting unitary operators in a complex Hilbert space $\mathcal{H}$, or equivalent the spectral theory of a unitary representation $U$ of the rank-$n$ lattice $\mathbb{Z}^{n}$ in $\mathbb{R}^{n}$. Starting with a non-zero vector $ψ\in \mathcal{H}$, we look for relations among the vectors in the cyclic subspace in $\mathcal{H}$ generated by $ψ$. Since these vectors $\{U(k)ψ| k \in \mathbb{Z}^{n}\}$ involve infinite ``linear combinations," the problem arises of giving geometric characterizations of these non-trivial linear relations. A special case of the problem arose initially in work of Kolmogorov under the name $L^{2}$-independence. This refers to \textit{infinite} linear combinations of integral translates of a fixed function with $l^{2}$-coefficients. While we were motivated by the study of translation operators arising in wavelet and frame theory, we stress that our present results are general; our theorems are about spectral densities for general unitary operators, and for stochastic integrals.
△ Less
Submitted 30 November, 2007;
originally announced November 2007.
-
Quasiperiodic Spectra and Orthogonality for Iterated Function System Measures
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We extend classical basis constructions from Fourier analysis to attractors for affine iterated function systems (IFSs). This is of interest since these attractors have fractal features, e.g., measures with fractal scaling dimension. Moreover, the spectrum is then typically quasi-periodic, but non-periodic, i.e., the spectrum is a ``small perturbation'' of a lattice. Due to earlier research on I…
▽ More
We extend classical basis constructions from Fourier analysis to attractors for affine iterated function systems (IFSs). This is of interest since these attractors have fractal features, e.g., measures with fractal scaling dimension. Moreover, the spectrum is then typically quasi-periodic, but non-periodic, i.e., the spectrum is a ``small perturbation'' of a lattice. Due to earlier research on IFSs, there are known results on certain classes of spectral duality-pairs, also called spectral pairs or spectral measures. It is known that some duality pairs are associated with complex Hadamard matrices. However, not all IFSs $X$ admit spectral duality. When $X$ is given, we identify geometric conditions on $X$ for the existence of a Fourier spectrum, serving as the second part in a spectral pair. We show how these spectral pairs compose, and we characterize the decompositions in terms of atoms. The decompositions refer to tensor product factorizations for associated complex Hadamard matrices.
△ Less
Submitted 13 February, 2008; v1 submitted 19 November, 2007;
originally announced November 2007.
-
Fourier series on fractals: a parallel with wavelet theory
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We study orthogonality relations for Fourier frequencies and complex exponentials in Hilbert spaces $L^2(μ)$ with measures $μ$ arising from iterated function systems (IFS). This includes equilibrium measures in complex dynamics. Motivated by applications, we draw parallels between analysis of fractal measures on the one hand, and the geometry of wavelets on the other.
We are motivated by spect…
▽ More
We study orthogonality relations for Fourier frequencies and complex exponentials in Hilbert spaces $L^2(μ)$ with measures $μ$ arising from iterated function systems (IFS). This includes equilibrium measures in complex dynamics. Motivated by applications, we draw parallels between analysis of fractal measures on the one hand, and the geometry of wavelets on the other.
We are motivated by spectral theory for commuting partial differential operators and related duality notions. While stated initially for bounded and open regions in $\br^d$, they have since found reformulations in the theory of fractals and wavelets. We include a historical sketch with questions from early operator theory.
△ Less
Submitted 28 September, 2007; v1 submitted 17 September, 2007;
originally announced September 2007.
-
Affine systems: asymptotics at infinity for fractal measures
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
We study measures on $\mathbb{R}^d$ which are induced by a class of infinite and recursive iterations in symbolic dynamics. Beginning with a finite set of data, we analyze prescribed recursive iteration systems, each involving subdivisions. The construction includes measures arising from affine and contractive iterated function systems with and without overlap (IFSs), i.e., limit measures $μ$ in…
▽ More
We study measures on $\mathbb{R}^d$ which are induced by a class of infinite and recursive iterations in symbolic dynamics. Beginning with a finite set of data, we analyze prescribed recursive iteration systems, each involving subdivisions. The construction includes measures arising from affine and contractive iterated function systems with and without overlap (IFSs), i.e., limit measures $μ$ induced by a finite family of affine mappings in $\mathbb{R}^d$ (the focus of our paper), as well as equilibrium measures in complex dynamics.
By a systematic analysis of the Fourier transform of the measure $μ$ at hand (frequency domain), we identify asymptotic laws, spectral types, dichotomy, and chaos laws. In particular we show that the cases when $μ$ is singular carry a gradation, ranging from Cantor-like fractal measures to measures exhibiting chaos, i.e., a situation when small changes in the initial data produce large fluctuations in the outcome, or rather, the iteration limit (in this case the measures). Our method depends on asymptotic estimates on the Fourier transform of $μ$ for paths at infinity in $\mathbb{R}^d$. We show how properties of $μ$ depend on perturbations of the initial data, e.g., variations in a prescribed finite set of affine mappings in $\mathbb{R}^d$, in parameters of a rational function in one complex variable (Julia sets and equilibrium measures), or in the entries of a given infinite positive definite matrix.
△ Less
Submitted 20 August, 2007; v1 submitted 9 July, 2007;
originally announced July 2007.
-
Unitary Representations of Wavelet Groups and Encoding of Iterated Function Systems in Solenoids
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Gabriel Picioroaga
Abstract:
For points in $d$ real dimensions, we introduce a geometry for general digit sets. We introduce a positional number system where the basis for our representation is a fixed $d$ by $d$ matrix over $\bz$. Our starting point is a given pair $(A, \mathcal D)$ with the matrix $A$ assumed expansive, and $\mathcal D$ a chosen complete digit set, i.e., in bijective correspondence with the points in…
▽ More
For points in $d$ real dimensions, we introduce a geometry for general digit sets. We introduce a positional number system where the basis for our representation is a fixed $d$ by $d$ matrix over $\bz$. Our starting point is a given pair $(A, \mathcal D)$ with the matrix $A$ assumed expansive, and $\mathcal D$ a chosen complete digit set, i.e., in bijective correspondence with the points in $\bz^d/A^T\bz^d$. We give an explicit geometric representation and encoding with infinite words in letters from $\mathcal D$. We show that the attractor $X(A^T,\mathcal D)$ for an affine Iterated Function System (IFS) based on $(A,\mathcal D)$ is a set of fractions for our digital representation of points in $\br^d$. Moreover our positional "number representation" is spelled out in the form of an explicit IFS-encoding of a compact solenoid $\sa$ associated with the pair $(A,\mathcal D)$. The intricate part (Theorem \ref{thenccycl}) is played by the cycles in $\bz^d$ for the initial $(A,\mathcal D)$-IFS. Using these cycles we are able to write down formulas for the two maps which do the encoding as well as the decoding in our positional $\mathcal D$-representation.
We show how some wavelet representations can be realized on the solenoid, and on symbolic spaces.
△ Less
Submitted 7 October, 2008; v1 submitted 11 June, 2007;
originally announced June 2007.
-
Multiresolution wavelet analysis of integer scale Bessel functions
Authors:
Sergio Albeverio,
Palle E. T. Jorgensen,
Anna M. Paolucci
Abstract:
We identify multiresolution subspaces giving rise via Hankel transforms to Bessel functions. They emerge as orthogonal systems derived from geometric Hilbert-space considerations, the same way the wavelet functions from a multiresolution scaling wavelet construction arise from a scale of Hilbert spaces. We study the theory of representations of the $C^{\ast}$-algebra $% O_{ν+1}$ arising from thi…
▽ More
We identify multiresolution subspaces giving rise via Hankel transforms to Bessel functions. They emerge as orthogonal systems derived from geometric Hilbert-space considerations, the same way the wavelet functions from a multiresolution scaling wavelet construction arise from a scale of Hilbert spaces. We study the theory of representations of the $C^{\ast}$-algebra $% O_{ν+1}$ arising from this multiresolution analysis. A connection with Markov chains and representations of $O_{ν+1}$ is found. Projection valued measures arising from the multiresolution analysis give rise to a Markov trace for quantum groups $SO_q$.
△ Less
Submitted 16 May, 2007; v1 submitted 15 May, 2007;
originally announced May 2007.
-
Comparison of Discrete and Continuous Wavelet Transforms
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
In this paper we outline several points of view on the interplay between discrete and continuous wavelet transforms; stressing both pure and applied aspects of both. We outline some new links between the two transform technologies based on the theory of representations of generators and relations. By this we mean a finite system of generators which are represented by operators in Hilbert space.…
▽ More
In this paper we outline several points of view on the interplay between discrete and continuous wavelet transforms; stressing both pure and applied aspects of both. We outline some new links between the two transform technologies based on the theory of representations of generators and relations. By this we mean a finite system of generators which are represented by operators in Hilbert space. We further outline how these representations yield sub-band filter banks for signal and image processing algorithms.
△ Less
Submitted 24 August, 2007; v1 submitted 1 May, 2007;
originally announced May 2007.
-
A duality approach to representations of Baumslag-Solitar groups
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We give an operator theoretic approach to the constructions of multiresolutions as they are used in a number of basis constructions with wavelets, and in Hilbert spaces on fractals. Our approach starts with the following version of the classical Baumslag-Solitar relations $u t = t^2 u$ where $t$ is a unitary operator in a Hilbert space $\mathcal H$ and $u$ is an isometry in $\mathcal H$. There a…
▽ More
We give an operator theoretic approach to the constructions of multiresolutions as they are used in a number of basis constructions with wavelets, and in Hilbert spaces on fractals. Our approach starts with the following version of the classical Baumslag-Solitar relations $u t = t^2 u$ where $t$ is a unitary operator in a Hilbert space $\mathcal H$ and $u$ is an isometry in $\mathcal H$. There are isometric dilations of this system into a bigger Hilbert space, relevant for wavelets. For a variety of carefully selected dilations, the ``bigger'' Hilbert space may be $L^2(\br)$, and the dilated operators may be the unitary operators which define a dyadic wavelet multiresolutions of $L^2(\br)$ with the subspace $\mathcal H$ serving as the corresponding resolution subspace. That is, the initialized resolution which is generated by the wavelet scaling function(s). In the dilated Hilbert space, the Baumslag-Solitar relations then take the more familiar form $u t u^{-1} = t^2$.
We offer an operator theoretic framework including the standard construction; and we show how the representations of certain discrete semidirect group products serve to classify the possibilities. For this we analyze and compare several types of unitary representations of these semidirect products: the induced representations in Mackey's theory, the wavelet representations on $L^2(\br)$, the irreducible representation on the dual, the finite dimensional representations, and the the regular representation.
△ Less
Submitted 25 June, 2007; v1 submitted 16 April, 2007;
originally announced April 2007.
-
The Measure of a Measurement
Authors:
Palle E. T. Jorgensen
Abstract:
While finite non-commutative operator systems lie at the foundation of quantum measurement, they are also tools for understanding geometric iterations as used in the theory of iterated function systems (IFSs) and in wavelet analysis. Key is a certain splitting of the total Hilbert space and its recursive iterations to further iterated subdivisions. This paper explores some implications for assoc…
▽ More
While finite non-commutative operator systems lie at the foundation of quantum measurement, they are also tools for understanding geometric iterations as used in the theory of iterated function systems (IFSs) and in wavelet analysis. Key is a certain splitting of the total Hilbert space and its recursive iterations to further iterated subdivisions. This paper explores some implications for associated probability measures (in the classical sense of measure theory), specifically their fractal components.
We identify a fractal scale $s$ in a family of Borel probability measures $μ$ on the unit interval which arises independently in quantum information theory and in wavelet analysis. The scales $s$ we find satisfy $s\in \mathbb{R}_{+}$ and $s\not =1$, some $s <1$ and some $s>1$. We identify these scales $s$ by considering the asymptotic properties of $μ(J) /| J| ^{s}$ where $J$ are dyadic subintervals, and $| J| \to0$.
△ Less
Submitted 23 July, 2007; v1 submitted 15 February, 2007;
originally announced February 2007.
-
Harmonic analysis of iterated function systems with overlap
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
In this paper we extend previous work on IFSs without overlap. Our method involves systems of operators generalizing the more familiar Cuntz relations from operator algebra theory, and from subband filter operators in signal processing.
In this paper we extend previous work on IFSs without overlap. Our method involves systems of operators generalizing the more familiar Cuntz relations from operator algebra theory, and from subband filter operators in signal processing.
△ Less
Submitted 27 January, 2007;
originally announced January 2007.
-
Entropy Encoding, Hilbert Space and Karhunen-Loeve Transforms
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
By introducing Hilbert space and operators, we show how probabilities, approximations and entropy encoding from signal and image processing allow precise formulas and quantitative estimates. Our main results yield orthogonal bases which optimize distinct measures of data encoding.
By introducing Hilbert space and operators, we show how probabilities, approximations and entropy encoding from signal and image processing allow precise formulas and quantitative estimates. Our main results yield orthogonal bases which optimize distinct measures of data encoding.
△ Less
Submitted 22 August, 2007; v1 submitted 22 January, 2007;
originally announced January 2007.
-
Kadison-Singer from mathematical physics: An introduction
Authors:
Palle E. T. Jorgensen
Abstract:
We give an informal overview of the Kadison-Singer extension problem with emphasis on its initial connections to Dirac's formulation of quantum mechanics.
Let H be an infinite dimensional separable Hilbert space, and B(H) the algebra of all bounded operators in H. In the language of operator algebras, the Kadison-Singer problem asks whether or not for a given MASA D in B(H), every pure state o…
▽ More
We give an informal overview of the Kadison-Singer extension problem with emphasis on its initial connections to Dirac's formulation of quantum mechanics.
Let H be an infinite dimensional separable Hilbert space, and B(H) the algebra of all bounded operators in H. In the language of operator algebras, the Kadison-Singer problem asks whether or not for a given MASA D in B(H), every pure state on D has a unique extension to a pure state on B(H). In other words, are these pure-state extensions unique?
It was shown recently by Pete Casazza and co-workers that this problem is closely connected to central open problems in other parts of mathematics (harmonic analysis, combinatorics (via Anderson pavings), Banach space theory, frame theory), and applications (signal processing, internet coding, coding theory, and more).
△ Less
Submitted 20 November, 2006; v1 submitted 16 November, 2006;
originally announced November 2006.
