-
Factorization of positive definite kernels. Correspondences: $C^{*}$-algebraic and operator valued context vs scalar valued kernels
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
We introduce and study a class $\mathcal{M}$ of generalized positive definite kernels of the form $K\colon X\times X\to L(\mathfrak{A},L(H))$, where $\mathfrak{A}$ is a unital $C^{*}$-algebra and $H$ a Hilbert space. These kernels encode operator-valued correlations governed by the algebraic structure of $\mathfrak{A}$, and generalize classical scalar-valued positive definite kernels, completely p…
▽ More
We introduce and study a class $\mathcal{M}$ of generalized positive definite kernels of the form $K\colon X\times X\to L(\mathfrak{A},L(H))$, where $\mathfrak{A}$ is a unital $C^{*}$-algebra and $H$ a Hilbert space. These kernels encode operator-valued correlations governed by the algebraic structure of $\mathfrak{A}$, and generalize classical scalar-valued positive definite kernels, completely positive (CP) maps, and states on $C^{*}$-algebras. Our approach is based on a scalar-valued kernel $\tilde{K}\colon(X\times\mathfrak{A}\times H)^{2}\to\mathbb{C}$ associated to $K$, which defines a reproducing kernel Hilbert space (RKHS) and enables a concrete, representation-theoretic analysis of the structure of such kernels. We show that every $K\in\mathcal{M}$ admits a Stinespring-type factorization $K(s,t)(a)=V(s)^{*}π(a)V(t)$. In analogy with the Radon--Nikodym theory for CP maps, we characterize kernel domination $K\leq L$ in terms of a positive operator $A\inπ_{L}(\mathfrak{A})'$ satisfying $K(s,t)(a)=V_{L}(s)^{*}π_{L}(a)AV_{L}(t)$. We further show that when $π_{L}$ is irreducible, domination implies scalar proportionality, thus recovering the classical correspondence between pure states and irreducible representations.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
The Fractal Lie Derivative: Theory and Applications
Authors:
Alireza Khalili Golmankhaneh,
Elham Hashemzadeh,
Carlo Cattani,
Donal O'Regan,
Palle E. T. Jørgensen
Abstract:
This paper presents a new Lie theoretic approach to fractal calculus, which in turn yields such new results as a Fractal Noether's Theorem, a setting for fractal differential forms, for vector fields, and Lie derivatives, as well as k-fractal jet space, and algorithms for k-th fractal prolongation. The symmetries of the fractal nonlinear \(n\)-th \(α\)-order differential equation are examined, fol…
▽ More
This paper presents a new Lie theoretic approach to fractal calculus, which in turn yields such new results as a Fractal Noether's Theorem, a setting for fractal differential forms, for vector fields, and Lie derivatives, as well as k-fractal jet space, and algorithms for k-th fractal prolongation. The symmetries of the fractal nonlinear \(n\)-th \(α\)-order differential equation are examined, followed by a discussion of the symmetries of the fractal linear \(n\)-th \(α\)-order differential equation. Additionally, the symmetries of the fractal linear first \(α\)-order differential equation are derived. Several examples are provided to illustrate and highlight the details of these concepts.
△ Less
Submitted 18 March, 2025;
originally announced April 2025.
-
New duality in choices of feature spaces via kernel analysis
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
We present a systematic study of the family of positive definite (p.d.) kernels with the use of their associated feature maps and feature spaces. For a fixed set $X$, generalizing Loewner, we make precise the corresponding partially ordered set $Pos\left(X\right)$ of all p.d. kernels on $X$, as well as a study of its global properties. This new analysis includes both results dealing with applicati…
▽ More
We present a systematic study of the family of positive definite (p.d.) kernels with the use of their associated feature maps and feature spaces. For a fixed set $X$, generalizing Loewner, we make precise the corresponding partially ordered set $Pos\left(X\right)$ of all p.d. kernels on $X$, as well as a study of its global properties. This new analysis includes both results dealing with applications and concrete examples, including such general notions for $Pos\left(X\right)$ as the structure of its partial order, its products, sums, and limits; as well as their Hilbert space-theoretic counterparts. For this purpose, we introduce a new duality for feature spaces, feature selections, and feature mappings. For our analysis, we further introduce a general notion of dual pairs of p.d. kernels. Three special classes of kernels are studied in detail: (a) the case when the reproducing kernel Hilbert spaces (RKHSs) may be chosen as Hilbert spaces of analytic functions, (b) when they are realized in spaces of Schwartz-distributions, and (c) arise as fractal limits. We further prove inverse theorems in which we derive results for the analysis of $Pos\left(X\right)$ from the operator theory of specified counterpart-feature spaces. We present constructions of new p.d. kernels in two ways: (i) as limits of monotone families in $Pos\left(X\right)$, and (ii) as p.d. kernels which model fractal limits, i.e., are invariant with respect to certain iterated function systems (IFS)-transformations.
△ Less
Submitted 19 January, 2025;
originally announced January 2025.
-
Fuglede's conjecture, differential operators and unitary groups of local translations
Authors:
Piyali Chakraborty,
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
The purpose of the present paper is to address multiple aspects of the Fuglede question dealing (Fourier spectra vs geometry) with a variety of $L^2$ contexts where we make precise the interplay between the three sides of the question: (i) existence of orthogonal families of Fourier basis functions (and associated spectra) on the one hand, (ii) extensions of partial derivative operators, and (iii)…
▽ More
The purpose of the present paper is to address multiple aspects of the Fuglede question dealing (Fourier spectra vs geometry) with a variety of $L^2$ contexts where we make precise the interplay between the three sides of the question: (i) existence of orthogonal families of Fourier basis functions (and associated spectra) on the one hand, (ii) extensions of partial derivative operators, and (iii) geometry of the corresponding domains, stressing systems of translation-tiles. We emphasize an account of old and new developments since the original 1974-paper by Bent Fuglede where the co-authors and Steen Pedersen have contributed.
△ Less
Submitted 10 March, 2025; v1 submitted 4 October, 2024;
originally announced October 2024.
-
Horizontally stationary generalized Bratteli diagrams
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen,
Olena Karpel,
Jan Kwiatkowski
Abstract:
Bratteli diagrams with countably infinite levels exhibit a new phenomenon: they can be horizontally stationary. The incidence matrices of these horizontally stationary Bratteli diagrams are infinite banded Toeplitz matrices. In this paper, we study the fundamental properties of horizontally stationary Bratteli diagrams. In these diagrams, we provide an explicit description of ergodic tail invarian…
▽ More
Bratteli diagrams with countably infinite levels exhibit a new phenomenon: they can be horizontally stationary. The incidence matrices of these horizontally stationary Bratteli diagrams are infinite banded Toeplitz matrices. In this paper, we study the fundamental properties of horizontally stationary Bratteli diagrams. In these diagrams, we provide an explicit description of ergodic tail invariant probability measures. For a certain class of horizontally stationary Bratteli diagrams, we prove that all ergodic tail invariant probability measures are extensions of measures from odometers. Additionally, we establish conditions for the existence of a continuous Vershik map on the path space of a horizontally stationary Bratteli diagram.
△ Less
Submitted 17 February, 2025; v1 submitted 16 September, 2024;
originally announced September 2024.
-
Gaussian processes in Non-commutative probability
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
Motivated by questions in quantum theory, we study Hilbert space valued Gaussian processes, and operator-valued kernels, i.e., kernels taking values in B(H) (= all bounded linear operators in a fixed Hilbert space H). We begin with a systematic study of p.d. B(H)-valued kernels and the associated of H-valued Gaussian processes, together with their correlation and transfer operators. In our conside…
▽ More
Motivated by questions in quantum theory, we study Hilbert space valued Gaussian processes, and operator-valued kernels, i.e., kernels taking values in B(H) (= all bounded linear operators in a fixed Hilbert space H). We begin with a systematic study of p.d. B(H)-valued kernels and the associated of H-valued Gaussian processes, together with their correlation and transfer operators. In our consideration of B(H)-valued kernels, we drop the p.d. assumption. We show that input-output models can be computed for systems of signed kernels taking the precise form of realizability via associated transfer block matrices (of operators analogous to the realization transforms in systems theory), i.e., represented via 2\times2 operator valued block matrices. In the context of B(H)-valued kernels we present new results on regression with H-valued Gaussian processes.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
From Classical to Quantum: Polymorphisms in Non-Commutative Probability
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
We present a parallel between commutative and non-commutative polymorphisms. Our emphasis is the applications to conditional distributions from stochastic processes. In the classical case, both the measures and the positive definite kernels are scalar valued. But the non-commutative framework (as motivated by quantum theory) dictates a setting where instead now both the measures (in the form of qu…
▽ More
We present a parallel between commutative and non-commutative polymorphisms. Our emphasis is the applications to conditional distributions from stochastic processes. In the classical case, both the measures and the positive definite kernels are scalar valued. But the non-commutative framework (as motivated by quantum theory) dictates a setting where instead now both the measures (in the form of quantum states), and the positive definite kernels, are operator valued. The non-commutative theory entails a systematic study of positive operator valued measures, abbreviated POVMs. And quantum states (normal states) are indexed by normalized positive trace-class operators. In the non-commutative theory, the parallel to the commutative/scalar valued theory helps us understand entanglement in quantum information. A further implication of our study of the non-commutative framework will entail an interplay between the two cases, scalar valued, vs operator valued.
△ Less
Submitted 19 January, 2025; v1 submitted 16 July, 2024;
originally announced July 2024.
-
Operator-Valued Kernels, Machine Learning, and Dynamical Systems
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
In the context of kernel optimization, we prove a result that yields new factorizations and realizations. Our initial context is that of general positive operator-valued kernels. We further present implications for Hilbert space-valued Gaussian processes, as they arise in applications to dynamics and to machine learning. Further applications are given in non-commutative probability theory, includi…
▽ More
In the context of kernel optimization, we prove a result that yields new factorizations and realizations. Our initial context is that of general positive operator-valued kernels. We further present implications for Hilbert space-valued Gaussian processes, as they arise in applications to dynamics and to machine learning. Further applications are given in non-commutative probability theory, including a new non-commutative Radon--Nikodym theorem.
△ Less
Submitted 11 October, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Hilbert space-valued Gaussian processes, and quantum states
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
We offer new results and new directions in the study of operator-valued kernels and their factorizations. Our approach provides both more explicit realizations and new results, as well as new applications. These include: (i) an explicit covariance analysis for Hilbert space-valued Gaussian processes, (ii) optimization results for quantum gates (from quantum information), (iii) new results for posi…
▽ More
We offer new results and new directions in the study of operator-valued kernels and their factorizations. Our approach provides both more explicit realizations and new results, as well as new applications. These include: (i) an explicit covariance analysis for Hilbert space-valued Gaussian processes, (ii) optimization results for quantum gates (from quantum information), (iii) new results for positive operator-valued measures (POVMs), and (iv) a new approach/result in inverse problems for quantum measurements.
△ Less
Submitted 3 March, 2025; v1 submitted 4 May, 2024;
originally announced May 2024.
-
Hilbert space valued Gaussian processes, their kernels, factorizations, and covariance structure
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
Motivated by applications, we introduce a general and new framework for operator valued positive definite kernels. We further give applications both to operator theory and to stochastic processes. The first one yields several dilation constructions in operator theory, and the second to general classes of stochastic processes. For the latter, we apply our operator valued kernel-results in order to…
▽ More
Motivated by applications, we introduce a general and new framework for operator valued positive definite kernels. We further give applications both to operator theory and to stochastic processes. The first one yields several dilation constructions in operator theory, and the second to general classes of stochastic processes. For the latter, we apply our operator valued kernel-results in order to build new Hilbert space-valued Gaussian processes, and to analyze their structures of covariance configurations.
△ Less
Submitted 30 July, 2024; v1 submitted 22 April, 2024;
originally announced April 2024.
-
Fractal Calculus to Derive Fractal Frenet Equations for Fractal Curves
Authors:
Alireza Khalili Golmankhaneh,
Palle E. T. Jørgensen,
Dimiter Prodanov
Abstract:
This paper introduces the concept of Fractal Frenet equations, a set of differential equations used to describe the behavior of vectors along fractal curves. The study explores the analogue of arc length for fractal curves, providing a measure to quantify their length. It also discusses fundamental mathematical constructs, such as the analogue of the unit tangent vector, which indicates the curve'…
▽ More
This paper introduces the concept of Fractal Frenet equations, a set of differential equations used to describe the behavior of vectors along fractal curves. The study explores the analogue of arc length for fractal curves, providing a measure to quantify their length. It also discusses fundamental mathematical constructs, such as the analogue of the unit tangent vector, which indicates the curve's direction at different points, and the analogue of curvature vector or fractal curvature vector, which characterizes its curvature at various locations. The concept of torsion, describing the twisting and turning of fractal curves in three-dimensional space, is also explored. Specific examples, like the fractal helix and the fractal snowflake, illustrate the application and significance of the Fractal Frenet equations.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Fourier series for singular measures in higher dimensions
Authors:
Chad Berner,
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
For multi-variable finite measure spaces, we present in this paper a new framework for non-orthogonal $L^2$ Fourier expansions. Our results hold for probability measures $μ$ with finite support in $\mathbb{R}^d$ that satisfy a certain disintegration condition that we refer to as ``slice-singular''. In this general framework, we present explicit $L^{2}(μ)$-Fourier expansions, with Fourier exponenti…
▽ More
For multi-variable finite measure spaces, we present in this paper a new framework for non-orthogonal $L^2$ Fourier expansions. Our results hold for probability measures $μ$ with finite support in $\mathbb{R}^d$ that satisfy a certain disintegration condition that we refer to as ``slice-singular''. In this general framework, we present explicit $L^{2}(μ)$-Fourier expansions, with Fourier exponentials having positive Fourier frequencies in each of the d coordinates. Our Fourier representations apply to every $f \in L^2(μ)$, are based on an extended Kaczmarz algorithm, and use a new recursive $μ$ Rokhlin disintegration representation. In detail, our Fourier series expansion for $f$ is in terms of the multivariate Fourier exponentials $\{e_n\}$, but the associated Fourier coefficients for $f$ are now computed from a Kaczmarz system $\{g_n\}$ in $L^{2}(μ)$ which is dual to the Fourier exponentials. The $\{g_n\}$ system is shown to be a Parseval frame for $L^{2}(μ)$. Explicit computations for our new Fourier expansions entail a detailed analysis of subspaces of the Hardy space on the polydisk, dual to $L^{2}(μ)$, and an associated d-variable Normalized Cauchy Transform. Our results extend earlier work for measures $μ$ in one and two dimensions, i.e., $d=1 (μ$ singular), and $d=2 (μ$ assumed slice-singular). Here our focus is the extension to the cases of measures $μ$ in dimensions $d >2$. Our results are illustrated with the use of explicit iterated function systems (IFSs), including the IFS generated Menger sponge for $d=3$.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Conditional mean embeddings and optimal feature selection via positive definite kernels
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song,
James Tian
Abstract:
Motivated by applications, we consider here new operator theoretic approaches to Conditional mean embeddings (CME). Our present results combine a spectral analysis-based optimization scheme with the use of kernels, stochastic processes, and constructive learning algorithms. For initially given non-linear data, we consider optimization-based feature selections. This entails the use of convex sets o…
▽ More
Motivated by applications, we consider here new operator theoretic approaches to Conditional mean embeddings (CME). Our present results combine a spectral analysis-based optimization scheme with the use of kernels, stochastic processes, and constructive learning algorithms. For initially given non-linear data, we consider optimization-based feature selections. This entails the use of convex sets of positive definite (p.d.) kernels in a construction of optimal feature selection via regression algorithms from learning models. Thus, with initial inputs of training data (for a suitable learning algorithm,) each choice of p.d. kernel $K$ in turn yields a variety of Hilbert spaces and realizations of features. A novel idea here is that we shall allow an optimization over selected sets of kernels $K$ from a convex set $C$ of positive definite kernels $K$. Hence our \textquotedblleft optimal\textquotedblright{} choices of feature representations will depend on a secondary optimization over p.d. kernels $K$ within a specified convex set $C$.
△ Less
Submitted 14 May, 2023;
originally announced May 2023.
-
Measurable multiresolution systems, endomorphisms, and representations of Cuntz relations
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
The purpose of this paper is to present new classes of function systems as part of multiresolution analyses. Our approach is representation theoretic, and it makes use of generalized multiresolution function systems (MRSs). It further entails new ideas from measurable endomorphisms-dynamics. Our results yield applications that are not amenable to more traditional techniques used on metric spaces.…
▽ More
The purpose of this paper is to present new classes of function systems as part of multiresolution analyses. Our approach is representation theoretic, and it makes use of generalized multiresolution function systems (MRSs). It further entails new ideas from measurable endomorphisms-dynamics. Our results yield applications that are not amenable to more traditional techniques used on metric spaces. As the main tool in our approach, we make precise new classes of generalized MRSs which arise directly from a dynamical theory approach to the study of surjective endomorphisms on measure spaces. In particular, we give the necessary and sufficient conditions for a family of functions to define generators of Cuntz relations. We find an explicit description of the set of generalized wavelet filters. Our results are motivated in part by analyses of sub-band filters in signal/image processing. But our paper goes further, and it applies to such wider contexts as measurable dynamical systems, and complex dynamics.
A unifying theme in our results is a new analysis of endomorphisms in general measure space, and its connection to multi-resolutions, to representation theory, and generalized wavelet systems.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
The Mellin Transform and Non-local Derivatives of Fractal Calculus
Authors:
Alireza Khalili Golmankhaneh,
Kerri Welch,
Cristina Serpa,
Palle E. T. Jørgensen
Abstract:
In this paper, the fractal calculus of fractal sets and fractal curves are compared. The analogues of the Riemann-Liouville and the Caputo integrals and derivatives are defined for the fractal curves which are non-local derivatives. The analogous for the fractional Laplace concepts are defined to solve fractal non-local differential equations on fractal curves. The fractal local Mellin and fractal…
▽ More
In this paper, the fractal calculus of fractal sets and fractal curves are compared. The analogues of the Riemann-Liouville and the Caputo integrals and derivatives are defined for the fractal curves which are non-local derivatives. The analogous for the fractional Laplace concepts are defined to solve fractal non-local differential equations on fractal curves. The fractal local Mellin and fractal non-local transforms are defined to solve fractal differential equations. We present tables and examples to illustrate the results.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
Fuzzification of Fractal Calculus
Authors:
Alireza Khalili Golmankhaneh,
Kerri Welch,
Cristina Serpa,
Palle E. T. Jørgensen
Abstract:
In this manuscript, fractal and fuzzy calculus are summarized. Fuzzy calculus in terms of fractal limit, continuity, its derivative, and integral are formulated. The fractal fuzzy calculus is a new framework that includes fractal fuzzy derivatives and fractal fuzzy integral. In this framework, fuzzy number-valued functions with fractal support are the solutions of fractal fuzzy differential equati…
▽ More
In this manuscript, fractal and fuzzy calculus are summarized. Fuzzy calculus in terms of fractal limit, continuity, its derivative, and integral are formulated. The fractal fuzzy calculus is a new framework that includes fractal fuzzy derivatives and fractal fuzzy integral. In this framework, fuzzy number-valued functions with fractal support are the solutions of fractal fuzzy differential equations. Different kinds of fractal fuzzy differential equations are given and solved.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
The momentum operator on a union of intervals and the Fuglede conjecture
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
The purpose of the present paper is to place a number of geometric (and hands-on) configurations relating to spectrum and geometry inside a general framework for the {\it Fuglede conjecture}. Note that in its general form, the Fuglede conjecture concerns general Borel sets $Ω$ in a fixed number of dimensions $d$ such that $Ω$ has finite positive Lebesgue measure. The conjecture proposes a correspo…
▽ More
The purpose of the present paper is to place a number of geometric (and hands-on) configurations relating to spectrum and geometry inside a general framework for the {\it Fuglede conjecture}. Note that in its general form, the Fuglede conjecture concerns general Borel sets $Ω$ in a fixed number of dimensions $d$ such that $Ω$ has finite positive Lebesgue measure. The conjecture proposes a correspondence between two properties for $Ω$, one takes the form of spectrum, while the other refers to a translation-tiling property. We focus here on the case of dimension one, and the connections between the Fuglede conjecture and properties of the self-adjoint extensions of the momentum operator $\frac{1}{2πi}\frac{d}{dx}$, realized in $L^2$ of a union of intervals.
△ Less
Submitted 10 August, 2023; v1 submitted 26 January, 2023;
originally announced January 2023.
-
Operator theory, kernels, and Feedforward Neural Networks
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song,
James Tian
Abstract:
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.
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.
△ Less
Submitted 5 January, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Bratteli diagrams in Borel dynamics
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen,
Olena Karpel,
Shrey Sanadhya
Abstract:
Bratteli-Vershik models have been very successfully applied to the study of various dynamical systems, in particular, in Cantor dynamics. In this paper, we study dynamics on the path spaces of generalized Bratteli diagrams that form models for non-compact Borel dynamical systems. Generalized Bratteli diagrams have countably infinite many vertices at each level, thus the corresponding incidence mat…
▽ More
Bratteli-Vershik models have been very successfully applied to the study of various dynamical systems, in particular, in Cantor dynamics. In this paper, we study dynamics on the path spaces of generalized Bratteli diagrams that form models for non-compact Borel dynamical systems. Generalized Bratteli diagrams have countably infinite many vertices at each level, thus the corresponding incidence matrices are also countably infinite. We emphasize differences (and similarities) between generalized and classical Bratteli diagrams. Our main results: $(i)$ We utilize Perron-Frobenius theory for countably infinite matrices to establish criteria for the existence and uniqueness of tail-invariant path space measures (both probability and $σ$-finite). $(ii)$ We provide criteria for the topological transitivity of the tail equivalence relation. $(iii)$ We describe classes of stationary generalized Bratteli diagrams (hence Borel dynamical systems) that: $(a)$ do not support a probability tail-invariant measure, $(b)$ are not uniquely ergodic with respect to the tail equivalence relation. $(iv)$ We describe classes of generalized Bratteli diagrams which can or cannot admit a continuous Vershik map and construct a Vershik map which is a minimal homeomorphism of a (non locally compact) Polish space. $(v)$ We provide an application of the theory of stochastic matrices to analyze diagrams with positive recurrent incidence matrices.
△ Less
Submitted 13 July, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
IFS measures on generalized Bratteli diagrams
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
The purpose of the paper is a general analysis of path space
measures. Our focus is a certain path space analysis
on generalized Bratteli diagrams. We use this in a systematic study of systems of self-similar measures (the term ``IFS measures'' is used in the paper) for both types of such diagrams, discrete and continuous. In special
cases, such measures arise in the study of iterated functi…
▽ More
The purpose of the paper is a general analysis of path space
measures. Our focus is a certain path space analysis
on generalized Bratteli diagrams. We use this in a systematic study of systems of self-similar measures (the term ``IFS measures'' is used in the paper) for both types of such diagrams, discrete and continuous. In special
cases, such measures arise in the study of iterated function
systems (IFS). In the literature, similarity may be defined by,
e.g., systems of affine maps (Sierpinski), or systems of conformal
maps (Julia). We study new classes of semi-branching
function systems related to stationary Bratteli diagrams. The
latter plays a big role in our understanding
of new forms of harmonic analysis on fractals. The measures
considered here arise in classes of discrete-time, multi-level
dynamical systems where similarity is specified between levels.
These structures are made precise by prescribed systems of
functions which in turn serve to define self-similarity, i.e., the similarity of large scales, and small scales.
For path space systems, in our main result, we give a necessary and sufficient condition for the existence of such generalized IFS measures. For the corresponding semi-branching function systems, we further identify the measures which are also shift-invariant.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Infinite-Dimensional Stochastic Transforms and Reproducing Kernel Hilbert space
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song,
James Feng Tian
Abstract:
By way of concrete presentations, we construct two infinite-dimensional transforms at the crossroads of Gaussian fields and reproducing kernel Hilbert spaces (RKHS), thus leading to a new infinite-dimensional Fourier transform in a general setting of Gaussian processes. Our results serve to unify existing tools from infinite-dimensional analysis.
By way of concrete presentations, we construct two infinite-dimensional transforms at the crossroads of Gaussian fields and reproducing kernel Hilbert spaces (RKHS), thus leading to a new infinite-dimensional Fourier transform in a general setting of Gaussian processes. Our results serve to unify existing tools from infinite-dimensional analysis.
△ Less
Submitted 29 March, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Dual pairs of operators, harmonic analysis of singular non-atomic measures and Krein-Feller diffusion
Authors:
Palle E. T. Jorgensen,
James Tian
Abstract:
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 containe…
▽ More
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.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Substitution-dynamics and invariant measures for infinite alphabet-path space
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen,
Shrey Sanadhya
Abstract:
We study substitutions on countably infinite alphabet (without compactification) as Borel dynamical systems. We construct stationary and non-stationary generalized Bratteli-Vershik models for a class of such substitutions, known as left determined. In this setting of Borel dynamics, using a stationary generalized Bratteli-Vershik model, we provide a new and canonical construction of shift-invarian…
▽ More
We study substitutions on countably infinite alphabet (without compactification) as Borel dynamical systems. We construct stationary and non-stationary generalized Bratteli-Vershik models for a class of such substitutions, known as left determined. In this setting of Borel dynamics, using a stationary generalized Bratteli-Vershik model, we provide a new and canonical construction of shift-invariant measures (both finite and infinite) for the associated class of subshifts.
△ Less
Submitted 6 March, 2024; v1 submitted 26 March, 2022;
originally announced March 2022.
-
Positive Definite Kernels, Algorithms, Frames, and Approximations
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song,
James Tian
Abstract:
The main purpose of our paper is a new approach to design of algorithms of Kaczmarz type in the framework of operators in Hilbert space. Our applications include a diverse list of optimization problems, new Karhunen-Loève transforms, and Principal Component Analysis (PCA) for digital images. A key feature of our algorithms is our use of recursive systems of projection operators. Specifically, we a…
▽ More
The main purpose of our paper is a new approach to design of algorithms of Kaczmarz type in the framework of operators in Hilbert space. Our applications include a diverse list of optimization problems, new Karhunen-Loève transforms, and Principal Component Analysis (PCA) for digital images. A key feature of our algorithms is our use of recursive systems of projection operators. Specifically, we apply our recursive projection algorithms for new computations of PCA probabilities and of variance data. For this we also make use of specific reproducing kernel Hilbert spaces, factorization for kernels, and finite-dimensional approximations. Our projection algorithms are designed with view to maximum likelihood solutions, minimization of "cost" problems, identification of principal components, and data-dimension reduction.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Harmonic analysis invariants for infinite graphs via operators and algorithms
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
We present recent advances in harmonic analysis on infinite graphs. Our approach combines combinatorial tools with new results from the theory of unbounded Hermitian operators in Hilbert space, geometry, boundary constructions, and spectral invariants. We focus on particular classes of infinite graphs, including such weighted graphs which arise in electrical network models, as well as new diagramm…
▽ More
We present recent advances in harmonic analysis on infinite graphs. Our approach combines combinatorial tools with new results from the theory of unbounded Hermitian operators in Hilbert space, geometry, boundary constructions, and spectral invariants. We focus on particular classes of infinite graphs, including such weighted graphs which arise in electrical network models, as well as new diagrammatic graph representations. We further stress some direct parallels between our present analysis on infinite graphs, on the one hand, and, on the other, specific areas of potential theory, Fourier duality, probability, harmonic functions, sampling/interpolation, and boundary theory. With the use of limit constructions, finite to infinite, and local to global, we outline how our results for infinite graphs may be viewed as extensions of Shannon's theory: Starting with a countable infinite graph $G$, and a suitable fixed positive weight function, we show that there are certain continua (certain ambient sets $X$) extending $G$, and associated notions of interpolation for (Hilbert spaces of) functions on $X$ from their restrictions to the discrete graph $G$.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Harmonic analysis on graphs via Bratteli diagrams and path-space measures
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
An Infinite Dimensional Analysis of Kernel Principal Components
Authors:
Palle E. T. Jorgensen,
Sooran Kang,
Myung-Sin Song,
Feng Tian
Abstract:
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 optimizat…
▽ More
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.
△ Less
Submitted 8 September, 2022; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Laplace operators in finite energy and dissipation spaces
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
Recent applications of large network models to machine learning, and to neural network suggest a need for a systematic study of the general correspondence, (i) discrete vs (ii) continuous. Even if the starting point is (i), limit considerations lead to (ii), or, more precisely, to a measure theoretic framework which we make precise. Our motivation derives from graph analysis, e.g., studies of (inf…
▽ More
Recent applications of large network models to machine learning, and to neural network suggest a need for a systematic study of the general correspondence, (i) discrete vs (ii) continuous. Even if the starting point is (i), limit considerations lead to (ii), or, more precisely, to a measure theoretic framework which we make precise. Our motivation derives from graph analysis, e.g., studies of (infinite) electrical networks of resistors, but our focus will be (ii), i.e., the measure theoretic setting. In electrical networks of resistors, one considers pairs (of typically countably infinite), sets $V$ (vertices), $E$ (edges) a suitable subset of $V \times V$, and prescribed positive symmetric functions $c$ on $E$ . A conductance function $c$ is defined on $E$ (edges), or on $V \times V$, but with $E$ as its support. From an initial triple $(V, E, c)$ , one gets graph-Laplacians, generalized Dirichlet spaces (also called energy Hilbert spaces), dipoles, relative reproducing kernel-theory, dissipation spaces, reversible Markov chains, and more.
Our main results include: spectral theory and Green's functions for measure theoretic graph-Laplace operators; the theory of reproducing kernel Hilbert spaces related to Laplace operators; a rigorous analysis of the Laplacian on Borel equivalence relations; a new decomposition theory; irreducibility criteria; dynamical systems governed by endomorphisms and measurable fields; orbit equivalence criteria; and path-space measures and induced dissipation Hilbert spaces. We consider several applications of our results to other fields such as machine learning problems, reproducing kernel Hilbert spaces, Gaussian and determinantal processes, and joinings.
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
Markov operators generated by symmetric measures
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
With view to applications, we here give an explicit correspondence between the following two: (i) the set of symmetric and positive measures $ρ$ on one hand, and (ii) a certain family of generalized Markov transition measures $P$, with their associated Markov random walk models, on the other. By a generalized Markov transition measure we mean a measurable and measure-valued function $P$ on…
▽ More
With view to applications, we here give an explicit correspondence between the following two: (i) the set of symmetric and positive measures $ρ$ on one hand, and (ii) a certain family of generalized Markov transition measures $P$, with their associated Markov random walk models, on the other. By a generalized Markov transition measure we mean a measurable and measure-valued function $P$ on $(V, \mathcal B)$, such that for every $x \in V , P(x; \cdot)$ is a probability measure on $(V, \mathcal B$). Hence, with the use of our correspondence (i) - (ii), we study generalized Markov transitions $P$ and path-space dynamics. Given $P$, we introduce an associated operator, also denoted by $P$ , and we analyze its spectral theoretic properties with reference to a system of precise $L^2$ spaces.
Our setting is more general than that of earlier treatments of reversible Markov processes. In a potential theoretic analysis of our processes, we introduce and study an associated energy Hilbert space $\mathcal H_E$, not directly linked to the initial $L^2$-spaces. Its properties are subtle, and our applications include a study of the $P$-harmonic functions. They may be in $\mathcal H_E$, called finite-energy harmonic functions. A second reason for $\mathcal H_E$ is that it plays a key role in our introduction of a generalized Greens function. (The latter stands in relation to our present measure theoretic Laplace operator in a way that parallels more traditional settings of Greens functions from classical potential theory.) A third reason for $\mathcal H_E$ is its use in our analysis of path-space dynamics for generalized Markov transition systems.
△ Less
Submitted 30 November, 2018;
originally announced December 2018.
-
Representations of higher-rank graph $C^*$-algebras associated to $Λ$-semibranching function systems
Authors:
Carla Farsi,
Elizabeth Gillaspy,
Palle E. T. Jorgensen,
Sooran Kang,
Judith Packer
Abstract:
In this paper, we discuss a method of constructing separable representations of the $C^*$-algebras associated to strongly connected row-finite $k$-graphs $Λ$. We begin by giving an alternative characterization of the $Λ$-semibranching function systems introduced in an earlier paper, with an eye towards constructing such representations that are faithful. Our new characterization allows us to more…
▽ More
In this paper, we discuss a method of constructing separable representations of the $C^*$-algebras associated to strongly connected row-finite $k$-graphs $Λ$. We begin by giving an alternative characterization of the $Λ$-semibranching function systems introduced in an earlier paper, with an eye towards constructing such representations that are faithful. Our new characterization allows us to more easily check that examples satisfy certain necessary and sufficient conditions. We present a variety of new examples relying on this characterization. We then use some of these methods and a direct limit procedure to construct a faithful separable representation for any row-finite source-free $k$-graph.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
A Characterization of Boundary Representations of Positive Matrices in the Hardy Space via the Abel Product
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We prove a characterization of those represe…
▽ More
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We prove a characterization of those representing measures via a matrix identity by introducing a new operator product called the Abel Product.
△ Less
Submitted 28 February, 2018;
originally announced March 2018.
-
Graph Laplace and Markov operators on a measure space
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
The main goal of this paper is to build a measurable analogue to the theory of weighted networks on infinite graphs. Our basic setting is an infinite $σ$-finite measure space $(V, \mathcal B, μ)$ and a symmetric measure $ρ$ on $(V\times V, \mathcal B\times \mathcal B)$ supported by a measurable symmetric subset $E\subset V\times V$. This applies to such diverse areas as optimization, graphons (lim…
▽ More
The main goal of this paper is to build a measurable analogue to the theory of weighted networks on infinite graphs. Our basic setting is an infinite $σ$-finite measure space $(V, \mathcal B, μ)$ and a symmetric measure $ρ$ on $(V\times V, \mathcal B\times \mathcal B)$ supported by a measurable symmetric subset $E\subset V\times V$. This applies to such diverse areas as optimization, graphons (limits of finite graphs), symbolic dynamics, measurable equivalence relations, to determinantal processes, to jump-processes; and it extends earlier studies of infinite graphs $G = (V, E)$ which are endowed with a symmetric weight function $c_{xy}$ defined on the set of edges $E$. As in the theory of weighted networks, we consider the Hilbert spaces $L^2(μ), L^2(cμ)$ and define two other Hilbert spaces, the dissipation space $Diss$ and finite energy space $\mathcal H_E$. Our main results include a number of explicit spectral theoretic and potential theoretic theorems that apply to two realizations of Laplace operators, and the associated jump-diffusion semigroups, one in $L^2(μ)$, and, the second, its counterpart in $\mathcal H_E$. We show in particular that it is the second setting (the energy-Hilbert space and the dissipation Hilbert space) which is needed in a detailed study of transient Markov processes.
△ Less
Submitted 13 January, 2018;
originally announced January 2018.
-
A matrix characterization of boundary representations of positive matrices in the Hardy space
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We introduce a potential characterization of…
▽ More
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We introduce a potential characterization of those measures via a matrix identity and show that the characterization holds in several important special cases.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
Infinite-dimensional transfer operators, endomorphisms, and measurable partitions
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard Borel spaces is adopted; and this generality is wide enough to cover a host of applications. While the mathematical structures of positive operators, endomorphisms…
▽ More
We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard Borel spaces is adopted; and this generality is wide enough to cover a host of applications. While the mathematical structures of positive operators, endomorphisms, transfer operators, measurable partitions, and Markov processes arise in a host of settings, both pure and applied, we propose here a unified study. This is the general setting of dynamics in Borel measure spaces. Hence the corresponding linear structures are infinite-dimensional. Nonetheless, we prove a number of analogues of the more familiar finite-dimensional settings, for example, the Perron-Frobenius theorem for positive matrices, and the corresponding Markov chains. Tools from the theory of operators in Hilbert space of special significance to us will be the use of a certain universal Hilbert space, as well as classes of operators in it, directly related to the central theme of duality for transfer operators. From ergodic theory, we address such questions as measurable cross sections, partitions, and Rohlin analysis of endomorphisms of measure spaces. While there are classical theorems dealing with analogous questions for automorphisms of measure spaces, a systematic study of endomorphisms is of more recent vintage;-- in its infancy. In order to make the exposition accessible to students and to researchers in neighboring areas, we have included a number of explicit examples and applications.
△ Less
Submitted 8 February, 2017;
originally announced February 2017.
-
Reproducing Kernel Hilbert Space vs. Frame Estimates
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 June, 2016;
originally announced June 2016.
-
Infinite-Dimensional Measure Spaces and Frame Analysis
Authors:
Palle E. T. Jorgensen,
Myung-Sin Song
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 11 September, 2016; v1 submitted 15 June, 2016;
originally announced June 2016.
-
Positive Matrices in the Hardy Space with Prescribed Boundary Representations via the Kaczmarz Algorithm
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
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 subspace…
▽ More
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.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Reflection positive affine actions and stochastic processes
Authors:
P. E. T. Jorgensen,
K-H. Neeb,
G. Olafsson
Abstract:
In this note we continue our investigations of the representation theoretic aspects of reflection positivity, also called Osterwalder--Schrader positivity. We explain how this concept relates to affine isometric actions on real Hilbert spaces and how this is connected with Gaussian processes with stationary increments.
In this note we continue our investigations of the representation theoretic aspects of reflection positivity, also called Osterwalder--Schrader positivity. We explain how this concept relates to affine isometric actions on real Hilbert spaces and how this is connected with Gaussian processes with stationary increments.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
Symmetric pairs of unbounded operators in Hilbert space, and their applications in mathematical physics
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and $B$, with $A \subseteq B^\star$ and $B \subseteq A^\star$. In this paper, we will show by example that symmetric pairs may be used to deduce closability of operat…
▽ More
In a previous paper, the authors introduced the idea of a symmetric pair of operators as a way to compute self-adjoint extensions of symmetric operators. In brief, a symmetric pair consists of two densely defined linear operators $A$ and $B$, with $A \subseteq B^\star$ and $B \subseteq A^\star$. In this paper, we will show by example that symmetric pairs may be used to deduce closability of operators and sometimes even compute adjoints. In particular, we prove that the Malliavin derivative and Skorokhod integral of stochastic calculus are closable, and the closures are mutually adjoint. We also prove that the basic involutions of Tomita-Takesaki theory are closable and that their closures are mutually adjoint. Applications to functions of finite energy on infinite graphs are also discussed, wherein the Laplace operator and inclusion operator form a symmetric pair.
△ Less
Submitted 26 August, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
-
Symmetric pairs and self-adjoint extensions of operators, with applications to energy networks
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
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…
▽ More
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).
△ Less
Submitted 14 January, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Reflection Positive Stochastic Processes Indexed by Lie Groups
Authors:
Palle E. T. Jorgensen,
Karl-Hermann Neeb,
Gestur Olafsson
Abstract:
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 represe…
▽ More
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.
△ Less
Submitted 21 June, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Monopoles, dipoles, and harmonic functions on Bratteli diagrams
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
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 algor…
▽ More
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.
△ Less
Submitted 5 August, 2015;
originally announced August 2015.
-
Unbounded containment in the energy space of a network and the Krein extension of the energy Laplacian
Authors:
Palle E. T. Jorgensen,
Erin P. J. Pearse
Abstract:
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 constructi…
▽ More
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.
△ Less
Submitted 10 July, 2015; v1 submitted 6 April, 2015;
originally announced April 2015.
-
A global solution to the Schrödinger equation: from Henstock to Feynman
Authors:
E. S. Nathanson,
P. E. T. Jørgensen
Abstract:
One of the key elements of Feynman's formulation of non-relativistic quantum mechanics is a so-called Feynman path integral. It plays an important role in the theory, but it appears as a postulate based on intuition rather than a well-defined object. All previous attempts to supply Feynman's theory with rigorous mathematics have not been satisfactory. The difficulty comes from a need to define a m…
▽ More
One of the key elements of Feynman's formulation of non-relativistic quantum mechanics is a so-called Feynman path integral. It plays an important role in the theory, but it appears as a postulate based on intuition rather than a well-defined object. All previous attempts to supply Feynman's theory with rigorous mathematics have not been satisfactory. The difficulty comes from a need to define a measure on the infinite dimensional space of paths and to create an integral that would possess all of the properties requested by Feynman.
In the present paper, we consider a new approach to defining the Feynman's path integral, based on the theory developed by P. Muldowney. Muldowney uses the Henstock integration technique, and non-absolute integrability of the Fresnel integrals in order to obtain a representation of the Feynman's path integral as a functional. This approach offers a mathematically rigorous definition supporting Feynman's intuitive derivations. But in his work, Muldowney gives only local in space-time solutions. A physical solution to the non-relativistic Schrödinger equation must be global, and it must be given in the form of a unitary one-parameter group in L^2. The purpose of this paper is to show that one-dimensional Muldowney's local solutions may be extended to yield a global solution. Moreover, the global extension can be represented by a unitary one-parameter group acting in L^2.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Representations of Cuntz-Krieger relations, dynamics on Bratteli diagrams, and path-space measures
Authors:
Sergey Bezuglyi,
Palle E. T. Jorgensen
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 October, 2014;
originally announced October 2014.
-
Representations of Cuntz algebras associated to quasi-invariant Markov measures
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
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…
▽ More
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.
△ Less
Submitted 31 March, 2014; v1 submitted 29 January, 2014;
originally announced January 2014.
-
Monic representations of the Cuntz algebra and Markov measures
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 January, 2014;
originally announced January 2014.
-
Atomic representations of Cuntz algebras
Authors:
Dorin Ervin Dutkay,
John Haussermann,
Palle E. T. Jorgensen
Abstract:
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, representation…
▽ More
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.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Additive spectra of the 1/4 Cantor measure
Authors:
Palle E. T. Jorgensen,
Keri A. Kornelson,
Karen L. Shuman
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 27 October, 2013;
originally announced October 2013.
-
The role of transfer operators and shifts in the study of fractals: encoding-models, analysis and geometry, commutative and non-commutative
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 February, 2013;
originally announced February 2013.
