BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Palle E. T. Jorgensen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we show how specific families of positive definite kernels serve as powerful tools in analyses of iteration algorithms for multiple layer feedforward Neural Network models. Our focus is on particular kernels that adapt well to learning algorithms for data-sets/features which display intrinsic self-similarities at feedforward iterations of scaling.
We study non-linear data-dimension reduction. We are motivated by the classical linear framework of Principal Component Analysis. In nonlinear case, we introduce instead a new kernel-Principal Component Analysis, manifold and feature space transforms. Our results extend earlier work for probabilistic Karhunen-Loève transforms on compression of wavelet images. Our object is algorithms for optimization, selection of efficient bases, or components, which serve to minimize entropy and error; and hence to improve digital representation of images, and hence of optimal storage, and transmission. We prove several new theorems for data-dimension reduction. Moreover, with the use of frames in Hilbert space, and a new Hilbert-Schmidt analysis, we identify when a choice of Gaussian kernel is optimal.
We show that a Krein-Feller operator is naturally associated to a fixed measure $μ$, assumed positive, $σ$-finite, and non-atomic. Dual pairs of operators are introduced, carried by the two Hilbert spaces, $L^{2}\left(μ\right)$ and $L^{2}\left(λ\right)$, where $λ$ denotes Lebesgue measure. An associated operator pair consists of two specific densely defined (unbounded) operators, each one contained in the adjoint of the other. This then yields a rigorous analysis of the corresponding $μ$-Krein-Feller operator as a closable quadratic form. As an application, for a given measure $μ$, including the case of fractal measures, we compute the associated diffusion, semigroup, Dirichlet forms, and $μ$-generalized heat equation.
The past decade has seen a flourishing of advances in harmonic analysis of graphs. They lie at the crossroads of graph theory and such analytical tools as graph Laplacians, Markov processes and associated boundaries, analysis of path-space, harmonic analysis, dynamics, and tail-invariant measures. Motivated by recent advances for the special case of Bratteli diagrams, our present focus will be on those graph systems $G$ with the property that the sets of vertices $V$ and edges $E$ admit discrete level structures. A choice of discrete levels in turn leads to new and intriguing discrete-time random-walk models. Our main extension (which greatly expands the earlier analysis of Bratteli diagrams) is the case when the levels in the graph system $G$ under consideration are now allowed to be standard measure spaces. Hence, in the measure framework, we must deal with systems of transition probabilities, as opposed to incidence matrices (for the traditional Bratteli diagrams). The paper is divided into two parts, (i) the special case when the levels are countable discrete systems, and (ii) the (non-atomic) measurable category, i.e., when each level is a prescribed measure space with standard Borel structure. The study of the two cases together is motivated in part by recent new results on graph-limits. Our results depend on a new analysis of certain duality systems for operators in Hilbert space; specifically, one dual system of operator for each level. We prove new results in both cases, (i) and (ii); and we further stress both similarities, and differences, between results and techniques involved in the two cases.
We study certain infinite-dimensional probability measures in connection with frame analysis. Earlier work on frame-measures has so far focused on the case of finite-dimensional frames. We point out that there are good reasons for a sharp distinction between stochastic analysis involving frames in finite vs infinite dimensions. For the case of infinite-dimensional Hilbert space $\mathcal{H}$, we study three cases of measures. We first show that, for $\mathcal{H}$ infinite dimensional, 1 one must resort to infinite dimensional measure spaces which properly contain $\mathcal{H}$. The three cases we consider are: (i) Gaussian frame measures, (ii) Markov path-space measures, and (iii) determinantal measures.
For a singular probability measure $μ$ on the circle, we show the existence of positive matrices on the unit disc which admit a boundary representation on the unit circle with respect to $μ$. These positive matrices are constructed in several different ways using the Kaczmarz algorithm. Some of these positive matrices correspond to the projection of the Szegő kernel on the disc to certain subspaces of the Hardy space corresponding to the normalized Cauchy transform of $μ$. Other positive matrices are obtained which correspond to subspaces of the Hardy space after a renormalization, and so are not projections of the Szegő kernel. We show that these positive matrices are a generalization of a spectrum or Fourier frame for $μ$, and the existence of such a positive matrix does not require $μ$ to be spectral.
Reflection positivity originates from one of the Osterwalder-Schrader axioms for constructive quantum field theory. It serves as a bridge between euclidean and relativistic quantum field theory. In mathematics, more specifically, in representation theory, it is related to the Cartan duality of symmetric Lie groups (Lie groups with an involution) and results in a transformation of a unitary representation of a symmetric Lie group to a unitary representation of its Cartan dual. In this article we continue our investigation of representation theoretic aspects of reflection positivity by discussing reflection positive Markov processes indexed by Lie groups, measures on path spaces, and invariant gaussian measures in spaces of distribution vectors. This provides new constructions of reflection positive unitary representations.
We consider conditions on a given system $\mathcal{F}$ of vectors in Hilbert space $\mathcal{H}$, forming a frame, which turn $\mathcal{H}$ into a reproducing kernel Hilbert space. It is assumed that the vectors in $\mathcal{F}$ are functions on some set $Ω$. We then identify conditions on these functions which automatically give $\mathcal{H}$ the structure of a reproducing kernel Hilbert space of functions on $Ω$. We further give an explicit formula for the kernel, and for the corresponding isometric isomorphism. Applications are given to Hilbert spaces associated to families of Gaussian processes.
We provide a streamlined construction of the Friedrichs extension of a densely-defined self-adjoint and semibounded operator $A$ on a Hilbert space $\mathcal{H}$, by means of a symmetric pair of operators. A \emph{symmetric pair} is comprised of densely defined operators $J: \mathcal{H}_1 \to \mathcal{H}_2$ and $K: \mathcal{H}_2 \to \mathcal{H}_1$ which are compatible in a certain sense. With the appropriate definitions of $\mathcal{H}_1$ and $J$ in terms of $A$ and $\mathcal{H}$, we show that $(JJ^\star)^{-1}$ is the Friedrichs extension of $A$. Furthermore, we use related ideas (including the notion of unbounded containment) to construct a generalization of the construction of the Krein extension of $A$ as laid out in a previous paper of the authors. These results are applied to the study of the graph Laplacian on infinite networks, in relation to the Hilbert spaces $\ell^2(G)$ and $\mathcal{H}_{\mathcal E}$ (the energy space).
In our study of electrical networks we develop two themes: finding explicit formulas for special classes of functions defined on the vertices of a transient network, namely monopoles, dipoles, and harmonic functions. Secondly, our interest is focused on the properties of electrical networks supported on Bratteli diagrams. We show that the structure of Bratteli diagrams allows one to describe algorithmically harmonic functions as well as monopoles and dipoles. We also discuss some special classes of Bratteli diagrams (stationary, Pascal, trees), and we give conditions under which the harmonic functions defined on these diagrams have finite energy.
We compare the space of square-summable functions on an infinite graph (denoted $\ell^2(G)$) with the space of functions of finite energy (denoted $\mathcal{H}_{\mathcal{E}}$). There is a notion of inclusion that allows $\ell^2(G)$ to be embedded into $\mathcal{H}_{\mathcal{E}}$, but the required inclusion operator is unbounded in most interesting cases. These observations assist in the construction of the Krein extension of the Laplace operator on $\mathcal{H}_{\mathcal{E}}$. We investigate the Krein extension and compare it to the Friedrichs extension developed by the authors in a previous paper.
We study representations of the Cuntz algebras $Ø_N$. While, for fixed $N$, the set of equivalence classes of representations of $Ø_N$ is known not to have a Borel cross section, there are various subclasses of representations which can be classified. We study monic representations of $Ø_N$, that have a cyclic vector for the canonical abelian subalgebra. We show that $Ø_N$ has a certain universal representation which contains all positive monic representations. A large class of examples of monic representations is based on Markov measures. We classify them and as a consequence we obtain that different parameters yield mutually singular Markov measure, extending the classical result of Kakutani. The monic representations based on the Kakutani measures are exactly the ones that have a one-dimensional cyclic $S_i^*$-invariant space.
In this paper, we answer the question of equivalence, or singularity, of two given quasi-stationary Markov measures on one-sided infinite words, and the corresponding question of equivalence of associated Cuntz algebra $Ø_N$ representations. We do this by associating certain monic representations of $Ø_N$ to quasi-stationary Markov measures, and then proving that equivalence for pairs of measures is decided by unitary equivalence of the corresponding pair of representations.
We study a new class of representations of the Cuntz-Krieger algebras $\mathcal O_A$ constructed by semibranching function systems, naturally related to stationary Bratteli diagrams. The notion of isomorphic semibranching function systems is defined and studied. We show that any isomorphism of such systems implies the equivalence of the corresponding representations of Cuntz-Krieger algebra $\mathcal O_A$. In particular, we show that equivalent measures generate equivalent representations of $\mathcal O_A$. We use Markov measures which are defined on the path space of stationary Bratteli diagrams to construct isomorphic representations of $\mathcal O_A$. To do this, we associate a (strongly) directed graph to a stationary (simple) Bratteli diagram, and show that isomorphic graphs generate isomorphic semibranching function systems. We also consider a class of monic representations of the Cuntz-Krieger algebras, and we classify them up to unitary equivalence. Several examples that illustrate the results are included in the paper.
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.
In this paper, we add to the characterization of the Fourier spectra for Bernoulli convolution measures. These measures are supported on Cantor subsets of the line. We prove that performing an odd additive translation to half the canonical spectrum for the 1/4 Cantor measure always yields an alternate spectrum. We call this set an additive spectrum. The proof works by connecting the additive set to a spectrum formed by odd multiplicative scaling.
To a representation of $Ø_N$ (the Cuntz algebra with $N$ generators) we associate a projection valued measure and we study the case when this measure has atoms. The main technical tool are the spaces invariant for all the operators $S_i^*$. We classify the purely atomic representations and find when such representations are permutative. Applications include: wavelet representations, representations generated by finitely correlated states, representation associated to Hadamard triples (or fractal spectral measures) and representations associated to generalized Walsh bases.
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.
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 study a class of dynamical systems in $L^2$ spaces of infinite products $X$. Fix a compact Hausdorff space $B$. Our setting encompasses such cases when the dynamics on $X = B^\bn$ is determined by the one-sided shift in $X$, and by a given transition-operator $R$. Our results apply to any positive operator $R$ in $C(B)$ such that $R1 = 1$. From this we obtain induced measures $Σ$ on $X$, and we study spectral theory in the associated $L^2(X,Σ)$. For the second class of dynamics, we introduce a fixed endomorphism $r$ in the base space $B$, and specialize to the induced solenoid $\Sol(r)$. The solenoid $\Sol(r)$ is then naturally embedded in $X = B^\bn$, and $r$ induces an automorphism in $\Sol(r)$. The induced systems will then live in $L^2(\Sol(r), Σ)$. The applications include wavelet analysis, both in the classical setting of $\br^n$, and Cantor-wavelets in the setting of fractals induced by affine iterated function systems (IFS). But our solenoid analysis includes such hyperbolic systems as the Smale-Williams attractor, with the endomorphism $r$ there prescribed to preserve a foliation by meridional disks. And our setting includes the study of Julia set-attractors in complex dynamics.
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'$.
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$.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 $μ$.
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.
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.
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.
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$.
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$.
In this paper, we consider the relation between Toeplitz operators and elements in von Neumann algebras generated by certain graph groupoids.
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$.
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.
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.
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.
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.
We show that compactly supported wavelets in L^2(R) of scale N may be effectively parameterized with a finite set of spin vectors in C^N, and conversely that every set of spin vectors corresponds to a wavelet. The characterization is given in terms of irreducible representations of orthogonality relations defined from multiresolution wavelet filters.
We study representations of the Cuntz algebras O_d and their associated decompositions. In the case that these representations are irreducible, their restrictions to the gauge-invariant subalgebra UHF_d have an interesting cyclic structure. If S_i, 1 \leq i \leq d, are representatives of the Cuntz relations on a Hilbert space H, special attention is given to the subspaces which are invariant under S_i^*. The applications include wavelet multiresolutions corresponding to wavelets of compact support (to appear in the later paper \cite{BEJ97}), and finitely correlated states on one-dimensional quantum spin chains.
We consider the following class of unitary representations $π$ of some (real) Lie group $G$ which has a matched pair of symmetries described as follows: (i) Suppose $G$ has a period-2 automorphism $τ$, and that the Hilbert space $\mathbf{H} (π)$ carries a unitary operator $J$ such that $Jπ=(π\circ τ)J$ (i.e., selfsimilarity). (ii) An added symmetry is implied if $\mathbf{H} (π)$ further contains a closed subspace $\mathbf{K}_0 $ having a certain order-covariance property, and satisfying the $\mathbf{K}_0 $-restricted positivity: $< v \mid Jv > \ge 0$, $\forall v\in \mathbf{K}_0 $, where $< \cdot \mid \cdot >$ is the inner product in $\mathbf{H} (π)$. From (i)--(ii), we get an induced dual representation of an associated dual group $G^c$. All three properties, selfsimilarity, order-covariance, and positivity, are satisfied in a natural context when $G$ is semisimple and hermitean; but when $G$ is the $(ax+b)$-group, or the Heisenberg group, positivity is incompatible with the other two axioms for the infinite-dimensional irreducible representations. We describe a class of $G$, containing the latter two, which admits a classification of the possible spaces $\mathbf{K}_0 \subset \mathbf{H} (π)$ satisfying the axioms of selfsimilarity and order-covariance.
We describe a class of measurable subsets $Ω$ in $\br^d$ such that $L^2(Ω)$ has an orthogonal basis of frequencies $e_λ(x)=e^{i2πλ\cdot x}(x\inΩ)$ indexed by $λ\inΛ\subset\br^d$. We show that such spectral pairs $(Ω,Λ)$ have a self-similarity which may be used to generate associated fractal measures $μ$ with Cantor set support. The Hilbert space $L^2(μ)$ does not have a total set of orthogonal frequencies, but a harmonic analysis of $μ$ may be built instead from a natural representation of the Cuntz C$^*$- algebra which is constructed from a pair of lattices supporting the given spectral pair $(Ω,Λ)$. We show conversely that such a pair may be reconstructed from a certain Cuntz-representation given to act on $L^2(μ)$.