-
Commuting self-adjoint extensions of the partial differential operators on disconnected sets
Authors:
Piyali Chakraborty,
Dorin Dutkay
Abstract:
In connection with the Fuglede conjecture, we study the existence of commuting self-adjoint extensions of the partial differential operators on arbitrary, possibly disconnected domains in $\br^d$, the associated unitary group, the spectral measure and some geometric properties.
In connection with the Fuglede conjecture, we study the existence of commuting self-adjoint extensions of the partial differential operators on arbitrary, possibly disconnected domains in $\br^d$, the associated unitary group, the spectral measure and some geometric properties.
△ Less
Submitted 30 June, 2025;
originally announced June 2025.
-
Spectral properties of unions of intervals and groups of local translations
Authors:
Bryan Ducasse,
Dorin Ervin Dutkay,
Colby Fernandez
Abstract:
In connection to the Fuglede conjecture, and to Fuglede's original work \cite{Fug74}, we study one-parameter unitary groups associated to self-adjoint extensions of the differential operator $Df=\frac1{2πi}f'$ on a union of finite intervals. We present a formula for such unitary groups and we use it to discover some geometric properties of such sets in $\br$ which admit orthogonal bases of exponen…
▽ More
In connection to the Fuglede conjecture, and to Fuglede's original work \cite{Fug74}, we study one-parameter unitary groups associated to self-adjoint extensions of the differential operator $Df=\frac1{2πi}f'$ on a union of finite intervals. We present a formula for such unitary groups and we use it to discover some geometric properties of such sets in $\br$ which admit orthogonal bases of exponential functions (also called spectral sets).
△ Less
Submitted 23 June, 2025;
originally announced June 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.
-
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.
-
Parseval Frames from Compressions of Cuntz Algebras
Authors:
Nicholas Christoffersen,
Dorin Ervin Dutkay,
Gabriel Picioroaga,
Eric Weber
Abstract:
A row co-isometry is a family $(V_i)_{i=0}^{N-1}$ of operators on a Hilbert space, subject to the relation $$\sum_{i=0}^{N-1}V_iV_i^*=I.$$ As shown in \cite{BJK00}, row co-isometries appear as compressions of representations of Cuntz algebras.
In this paper we will present some general constructions of Parseval frames for Hilbert spaces, obtained by iterating the operators $V_i$ on a finite set…
▽ More
A row co-isometry is a family $(V_i)_{i=0}^{N-1}$ of operators on a Hilbert space, subject to the relation $$\sum_{i=0}^{N-1}V_iV_i^*=I.$$ As shown in \cite{BJK00}, row co-isometries appear as compressions of representations of Cuntz algebras.
In this paper we will present some general constructions of Parseval frames for Hilbert spaces, obtained by iterating the operators $V_i$ on a finite set of vectors. The constructions are based on random walks on finite graphs. As applications of our constructions we obtain Parseval Fourier bases on self-affine measures and Parseval Walsh bases on the interval. \end{abstract}
△ Less
Submitted 12 January, 2023; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Representations of Cuntz algebras associated to random walks on graphs
Authors:
Dorin Ervin Dutkay,
Nicholas Christoffersen
Abstract:
Motivated by the harmonic analysis of self-affine measures, we introduce a class of representations of the Cuntz algebra associated to random walks on graphs. The representations are constructed using the dilation theory of row coisometries. We study these representations, their commutant and the intertwining operators.
Motivated by the harmonic analysis of self-affine measures, we introduce a class of representations of the Cuntz algebra associated to random walks on graphs. The representations are constructed using the dilation theory of row coisometries. We study these representations, their commutant and the intertwining operators.
△ Less
Submitted 27 April, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
A duality principle for groups II: Multi-frames meet super-frames
Authors:
Radu Balan,
Dorin Ervin Dutkay,
Deguang Han,
David Larson,
Franz Luef
Abstract:
The duality principle for group representations developed in \cite{DHL-JFA, HL_BLM} exhibits a fact that the well-known duality principle in Gabor analysis is not an isolated incident but a more general phenomenon residing in the context of group representation theory. There are two other well-known fundamental properties in Gabor analysis: The Wexler-Raz biorthogonality and the Fundamental Identi…
▽ More
The duality principle for group representations developed in \cite{DHL-JFA, HL_BLM} exhibits a fact that the well-known duality principle in Gabor analysis is not an isolated incident but a more general phenomenon residing in the context of group representation theory. There are two other well-known fundamental properties in Gabor analysis: The Wexler-Raz biorthogonality and the Fundamental Identity of Gabor analysis. In this paper we will show that these fundamental properties remain to be true for general projective unitary group representations. The main purpose of this paper is present a more general duality theorem which shows that that muti-frame generators meet super-frame generators through a dual commutant pairs. In particular, for the Gabor representations $π_Λ$ and $π_{Λ^{o}}$ with respect to a pair of dual time-frequency lattices $Λ$ and $Λ^{o}$ in $\R^{d}\times \R^{d}$ we have that $\{π_Λ(m, n)g_{1} \oplus ... \oplus π_Λ(m, n)g_{k}\}_{m, n \in \Z^{d}}$ is a frame for $L^{2}(\R^{d})\oplus ... \oplus L^{2}(\R^{d})$ if and only if $\cup_{i=1}^{k}\{π_{Λ^{o}}(m, n)g_{i}\}_{m, n\in\Z^{d}}$ is a Riesz sequence, and $\cup_{i=1}^{k}\{π_Λ(m, n)g_{i}\}_{m, n\in\Z^{d}}$ is a frame for $L^{2}(\R^{d})$ if and only if $\{π_{Λ^{o}}(m, n)g_{1} \oplus ... \oplus π_{Λ^{o}}(m, n)g_{k}\}_{m, n \in \Z^{d}}$ is a Riesz sequence. This appears to be new even in the context of Gabor analysis.
△ Less
Submitted 7 December, 2018;
originally announced December 2018.
-
Existence and exactness of exponential Riesz sequences and frames for fractal measures
Authors:
Dorin Ervin Dutkay,
Shahram Emami,
Chun-Kit Lai
Abstract:
We study the construction of exponential frames and Riesz sequences for a class of fractal measures on ${\mathbb R}^d$ generated by infinite convolution of discrete measures using the idea of frame towers and Riesz-sequence towers. The exactness and overcompleteness of the constructed exponential frame or Riesz sequence is completely classified in terms of the cardinality at each level of the towe…
▽ More
We study the construction of exponential frames and Riesz sequences for a class of fractal measures on ${\mathbb R}^d$ generated by infinite convolution of discrete measures using the idea of frame towers and Riesz-sequence towers. The exactness and overcompleteness of the constructed exponential frame or Riesz sequence is completely classified in terms of the cardinality at each level of the tower. Using a version of the solution of the Kadison-Singer problem, known as the $R_ε$-conjecture, we show that all these measures contain exponential Riesz sequences of infinite cardinality. Furthermore, when the measure is the middle-third Cantor measure, or more generally for self-similar measures with no-overlap condition, there are always exponential Riesz sequences of maximal possible Beurling dimension.
△ Less
Submitted 3 June, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
Parseval frames of piecewise constant functions
Authors:
Dorin Ervin Dutkay,
Rajitha Ranasinghe
Abstract:
We present a way to construct Parseval frames of piecewise constant functions for $L^2[0,1]$. The construction is similar to the generalized Walsh bases. It is based on iteration of operators that satisfy a Cuntz-type relation, but without the isometry property. We also show how the Parseval frame can be dilated to an orthonormal basis and the operators can be dilated to true Cuntz isometries.
We present a way to construct Parseval frames of piecewise constant functions for $L^2[0,1]$. The construction is similar to the generalized Walsh bases. It is based on iteration of operators that satisfy a Cuntz-type relation, but without the isometry property. We also show how the Parseval frame can be dilated to an orthonormal basis and the operators can be dilated to true Cuntz isometries.
△ Less
Submitted 9 January, 2019; v1 submitted 10 April, 2018;
originally announced April 2018.
-
On generalized Walsh bases
Authors:
Dorin Ervin Dutkay,
Gabriel Picioroaga,
Sergei Silvestrov
Abstract:
This paper continues the study of orthonormal bases (ONB) of $L^2[0,1]$ introduced in \cite{DPS14} by means of Cuntz algebra $\mathcal{O}_N$ representations on $L^2[0,1]$. For $N=2$, one obtains the classic Walsh system. We show that the ONB property holds precisely because the $\mathcal{O}_N$ representations are irreducible. We prove an uncertainty principle related to these bases. As an applicat…
▽ More
This paper continues the study of orthonormal bases (ONB) of $L^2[0,1]$ introduced in \cite{DPS14} by means of Cuntz algebra $\mathcal{O}_N$ representations on $L^2[0,1]$. For $N=2$, one obtains the classic Walsh system. We show that the ONB property holds precisely because the $\mathcal{O}_N$ representations are irreducible. We prove an uncertainty principle related to these bases. As an application to discrete signal processing we find a fast generalized transform and compare this generalized transform with the classic one with respect to compression and sparse signal recovery.
△ Less
Submitted 28 February, 2018;
originally announced March 2018.
-
Weighted Fourier Frames on Self-Affine Measures
Authors:
Dorin Ervin Dutkay,
Rajitha Ranasinghe
Abstract:
Continuing the ideas from our previous paper, we construct Parseval frames of weighted exponential functions for self-affine measures.
Continuing the ideas from our previous paper, we construct Parseval frames of weighted exponential functions for self-affine measures.
△ Less
Submitted 10 October, 2017; v1 submitted 3 October, 2017;
originally announced October 2017.
-
On spectral sets of integers
Authors:
Dorin Ervin Dutkay,
Isabelle Kraus
Abstract:
Based on tiles and on the Coven-Meyerowitz property, we present some examples and some general constructions of spectral subsets of integers.
Based on tiles and on the Coven-Meyerowitz property, we present some examples and some general constructions of spectral subsets of integers.
△ Less
Submitted 20 June, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
Scaling of spectra of Cantor-type measures and some number theoretic considerations
Authors:
Dorin Ervin Dutkay,
Isabelle Kraus
Abstract:
We investigate some relations between number theory and spectral measures related to the harmonic analysis of a Cantor set. Specifically, we explore ways to determine when an odd natural number $m$ generates a complete or incomplete Fourier basis for a Cantor-type measure with scale $g$.
We investigate some relations between number theory and spectral measures related to the harmonic analysis of a Cantor set. Specifically, we explore ways to determine when an odd natural number $m$ generates a complete or incomplete Fourier basis for a Cantor-type measure with scale $g$.
△ Less
Submitted 9 October, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Hadamard triples generate self-affine spectral measures
Authors:
Dorin Dutkay,
John Haussermann,
Chun-Kit Lai
Abstract:
Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$ in the sense that the matrix $$ \frac{1}{\sqrt{|\det R|}}\left[e^{2πi \langle R^{-1}b,\ell\rangle}\right]_{\ell\in L,b\in B}
$$ is unitary. We prove that the associated fractal self-affine measure $μ= μ(R,B)$ obtained by an infinite convolution of a…
▽ More
Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$ in the sense that the matrix $$ \frac{1}{\sqrt{|\det R|}}\left[e^{2πi \langle R^{-1}b,\ell\rangle}\right]_{\ell\in L,b\in B}
$$ is unitary. We prove that the associated fractal self-affine measure $μ= μ(R,B)$ obtained by an infinite convolution of atomic measures $$ μ(R,B) = δ_{R^{-1} B}\astδ_{R^{-2}B}\astδ_{R^{-3}B}\ast... $$ is a spectral measure, i.e., it admits an orthonormal basis of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors. Moreover, we also show that if we relax the Hadamard triple condition to an almost-Parseval-frame condition, then we obtain a sufficient condition for a self-affine measure to admit Fourier frames.
△ Less
Submitted 2 June, 2017; v1 submitted 27 July, 2016;
originally announced July 2016.
-
Fourier bases and Fourier frames on self-affine measures
Authors:
Dorin Ervin Dutkay,
Chun_Kit Lai,
Yang Wang
Abstract:
This paper gives a review of the recent progress in the study of Fourier bases and Fourier frames on self-affine measures. In particular, we emphasize the new matrix analysis approach for checking the completeness of a mutually orthogonal set. This method helps us settle down a long-standing conjecture that Hadamard triples generates self-affine spectral measures. It also gives us non-trivial exam…
▽ More
This paper gives a review of the recent progress in the study of Fourier bases and Fourier frames on self-affine measures. In particular, we emphasize the new matrix analysis approach for checking the completeness of a mutually orthogonal set. This method helps us settle down a long-standing conjecture that Hadamard triples generates self-affine spectral measures. It also gives us non-trivial examples of fractal measures with Fourier frames. Furthermore, a new avenue is open to investigate whether the Middle Third Cantor measure admits Fourier frames.
△ Less
Submitted 15 February, 2016;
originally announced February 2016.
-
Weighted Fourier frames on fractal measures
Authors:
Dorin Ervin Dutkay,
Rajitha Ranasinghe
Abstract:
We generalize an idea of Picioroaga and Weber to construct Paseval frames of weighted exponential functions for self-affine measures.
We generalize an idea of Picioroaga and Weber to construct Paseval frames of weighted exponential functions for self-affine measures.
△ Less
Submitted 16 June, 2016; v1 submitted 15 February, 2016;
originally announced February 2016.
-
Spectral measures generated by arbitrary and random convolutions
Authors:
Dorin Ervin Dutkay,
Chun-Kit Lai
Abstract:
We study spectral measures generated by infinite convolution products of discrete measures generated by Hadamard triples, and we present sufficient conditions for the measures to be spectral, generalizing a criterion by Strichartz. We then study the spectral measures generated by random convolutions of finite atomic measures and rescaling, where the digits are chosen from a finite collection of di…
▽ More
We study spectral measures generated by infinite convolution products of discrete measures generated by Hadamard triples, and we present sufficient conditions for the measures to be spectral, generalizing a criterion by Strichartz. We then study the spectral measures generated by random convolutions of finite atomic measures and rescaling, where the digits are chosen from a finite collection of digit sets. We show that in dimension one, or in higher dimensions under certain conditions, "almost all" such measures generate spectral measures, or, in the case of complete digit sets, translational tiles. Our proofs are based on the study of self-affine spectral measures and tiles generated by Hadamard triples in quasi-product form.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
Hadamard triples generate self-affine spectral measures
Authors:
Dorin Ervin Dutkay,
Chun-Kit Lai,
John Haussermann
Abstract:
Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studie…
▽ More
Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Self-affine spectral measures and frame spectral measures on ${\mathbb R}^d$
Authors:
Dorin Ervin Dutkay,
Chun-Kit Lai
Abstract:
We study Fourier bases on invariant measures generated by affine iterated function systems in ${\mathbb R}^d$ with integer coefficients. We show that, for simple digit sets, these systems satisfy the open set condition and have no overlap. We present natural geometric conditions under which such measures have an orthonormal basis or a frame of exponential functions with frequencies being a subset…
▽ More
We study Fourier bases on invariant measures generated by affine iterated function systems in ${\mathbb R}^d$ with integer coefficients. We show that, for simple digit sets, these systems satisfy the open set condition and have no overlap. We present natural geometric conditions under which such measures have an orthonormal basis or a frame of exponential functions with frequencies being a subset of ${\mathbb Z}^d$. Moreover, we characterize when such measures have a spectrum in ${\Bbb Z}^d$.
△ Less
Submitted 28 January, 2019; v1 submitted 11 February, 2015;
originally announced February 2015.
-
Number theory problems from the harmonic analysis of a fractal
Authors:
Dorin Ervin Dutkay,
John Haussermann
Abstract:
We study some number theory problems related to the harmonic analysis (Fourier bases) of the Cantor set introduced by Jorgensen and Pedersen in \cite{JP98}.
We study some number theory problems related to the harmonic analysis (Fourier bases) of the Cantor set introduced by Jorgensen and Pedersen in \cite{JP98}.
△ Less
Submitted 24 April, 2015; v1 submitted 26 October, 2014;
originally announced October 2014.
-
Spectral Properties of Small Hadamard Matrices
Authors:
Dorin Ervin Dutkay,
Eric Weber,
John Haussermann
Abstract:
We prove that if $A$ and $B$ are Hadamard matrices which are both of size $4 \times 4$ or $5 \times 5$ and in dephased form, then $tr(A) = tr(B)$ implies that $A$ and $B$ have the same eigenvalues, including multiplicity. We calculate explicitly the spectrum for these matrices. We also extend these results to larger Hadamard matrices which are permutations of the Fourier matrix and calculate their…
▽ More
We prove that if $A$ and $B$ are Hadamard matrices which are both of size $4 \times 4$ or $5 \times 5$ and in dephased form, then $tr(A) = tr(B)$ implies that $A$ and $B$ have the same eigenvalues, including multiplicity. We calculate explicitly the spectrum for these matrices. We also extend these results to larger Hadamard matrices which are permutations of the Fourier matrix and calculate their spectral multiplicities.
△ Less
Submitted 21 September, 2014; v1 submitted 3 September, 2014;
originally announced September 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.
-
Generalized Walsh Bases and Applications
Authors:
Dorin Dutkay,
Gabriel Picioroaga
Abstract:
We investigate convergence properties of generalized Walsh series associated with signals $f\in L^1[0,1]$. We also show how the dependence of the generalized Walsh bases on $N\times N$ unitary matrices allows for applications in signal encoding and encryption, provided the signals are piece-wise constant on $N$-adic subintervals of $[0,1]$.
We investigate convergence properties of generalized Walsh series associated with signals $f\in L^1[0,1]$. We also show how the dependence of the generalized Walsh bases on $N\times N$ unitary matrices allows for applications in signal encoding and encryption, provided the signals are piece-wise constant on $N$-adic subintervals of $[0,1]$.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
Local translations associated to spectral sets
Authors:
Dorin Ervin Dutkay,
John Haussermann
Abstract:
In connection to the Fuglede conjecture, we study groups of local translations associated to spectral sets, i.e., measurable sets in $\br$ or $\bz$ that have an orthogonal basis of exponential functions. We investigate the connections between the groups of local translations on $\bz$ and on $\br$ and present some examples for low cardinality. We present some relations between the group of local tr…
▽ More
In connection to the Fuglede conjecture, we study groups of local translations associated to spectral sets, i.e., measurable sets in $\br$ or $\bz$ that have an orthogonal basis of exponential functions. We investigate the connections between the groups of local translations on $\bz$ and on $\br$ and present some examples for low cardinality. We present some relations between the group of local translations and tilings.
△ Less
Submitted 17 July, 2013;
originally announced July 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.
-
Some reductions of the spectral set conjecture to integers
Authors:
Dorin Ervin Dutkay,
Chun-Kit Lai
Abstract:
The spectral set conjecture, also known as the Fuglede conjecture, asserts that every bounded spectral set is a tile and vice versa. While this conjecture remains open on ${\mathbb R}^1$, there are many results in the literature that discuss the relations among various forms of the Fuglede conjecture on ${\mathbb Z}_n$, ${\mathbb Z}$ and ${\mathbb R}^1$ and also the seemingly stronger universal ti…
▽ More
The spectral set conjecture, also known as the Fuglede conjecture, asserts that every bounded spectral set is a tile and vice versa. While this conjecture remains open on ${\mathbb R}^1$, there are many results in the literature that discuss the relations among various forms of the Fuglede conjecture on ${\mathbb Z}_n$, ${\mathbb Z}$ and ${\mathbb R}^1$ and also the seemingly stronger universal tiling (spectrum) conjectures on the respective groups. In this paper, we clarify the equivalences between these statements in dimension one. In addition, we show that if the Fuglede conjecture on ${\mathbb R}^1$ is true, then every spectral set with rational measure must have a rational spectrum. We then investigate the Coven-Meyerowitz property for finite sets of integers, introduced in \cite{CoMe99}, and we show that if the spectral sets and the tiles in ${\mathbb Z}$ satisfy the Coven-Meyerowitz property, then both sides of the Fuglede conjecture on ${\mathbb R}^1$ are true.
△ Less
Submitted 7 January, 2013; v1 submitted 4 January, 2013;
originally announced January 2013.
-
Orthonormal bases generated by Cuntz algebras
Authors:
Dorin Ervin Dutkay,
Gabriel Picioroaga,
Myung-Sin Song
Abstract:
We show how some orthonormal bases can be generated by representations of the Cuntz algebra; these include Fourier bases on fractal measures, generalized Walsh bases on the unit interval and piecewise exponential bases on the middle third Cantor set.
We show how some orthonormal bases can be generated by representations of the Cuntz algebra; these include Fourier bases on fractal measures, generalized Walsh bases on the unit interval and piecewise exponential bases on the middle third Cantor set.
△ Less
Submitted 17 December, 2012;
originally announced December 2012.
-
Tiling properties of spectra of measures
Authors:
Dorin Ervin Dutkay,
John Haussermann
Abstract:
We investigate tiling properties of spectra of measures, i.e., sets $Λ$ in $\br$ such that $\{e^{2πi λx}: λ\inΛ\}$ forms an orthogonal basis in $L^2(μ)$, where $μ$ is some finite Borel measure on $\br$. Such measures include Lebesgue measure on bounded Borel subsets, finite atomic measures and some fractal Hausdorff measures. We show that various classes of such spectra of measures have translatio…
▽ More
We investigate tiling properties of spectra of measures, i.e., sets $Λ$ in $\br$ such that $\{e^{2πi λx}: λ\inΛ\}$ forms an orthogonal basis in $L^2(μ)$, where $μ$ is some finite Borel measure on $\br$. Such measures include Lebesgue measure on bounded Borel subsets, finite atomic measures and some fractal Hausdorff measures. We show that various classes of such spectra of measures have translational tiling properties. This lead to some surprizing tiling properties for spectra of fractal measures, the existence of complementing sets and spectra for finite sets with the Coven-Meyerowitz property, the existence of complementing Hadamard pairs in the case of Hadamard pairs of size 2,3,4 or 5. In the context of the Fuglede conjecture, we prove that any spectral set is a tile, if the period of the spectrum is 2,3,4 or 5.
△ Less
Submitted 31 October, 2012;
originally announced October 2012.
-
On the universal tiling conjecture in dimension one
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We show that the spectral-tile implication in the Fuglede conjecture in dimension 1 is equivalent to a Universal Tiling Conjecture and also to similar forms of the same implication for some simpler sets, such as unions of intervals with rational or integer endpoints.
We show that the spectral-tile implication in the Fuglede conjecture in dimension 1 is equivalent to a Universal Tiling Conjecture and also to similar forms of the same implication for some simpler sets, such as unions of intervals with rational or integer endpoints.
△ Less
Submitted 24 January, 2013; v1 submitted 4 September, 2012;
originally announced September 2012.
-
Spectra of measures and wandering vectors
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We present a characterization of the sets that appear as Fourier spectra of measures in terms of the existence of a strongly continuous representation of the ambient group that has a wandering vector for the given set.
We present a characterization of the sets that appear as Fourier spectra of measures in terms of the existence of a strongly continuous representation of the ambient group that has a wandering vector for the given set.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
Unitary groups and spectral sets
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator $\Ds = \frac1{2πi}\frac{d}{dx}$ with domain consisting of $C^\infty$ functions vanishing at the endpoints. We offer a detailed interplay between geometric conf…
▽ More
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator $\Ds = \frac1{2πi}\frac{d}{dx}$ with domain consisting of $C^\infty$ functions vanishing at the endpoints. We offer a detailed interplay between geometric configurations of unions of intervals and a spectral theory for the corresponding selfadjoint extensions of $\Ds$ and for the associated unitary groups of local translations. While motivated by scattering theory and quantum graphs, our present focus is on the Fuglede-spectral pair problem. Stated more generally, this problem asks for a determination of those bounded Borel sets $Ω$ in $\br^k$ such that $L^2(Ω)$ has an orthogonal basis of Fourier frequencies (spectrum), i.e., a total set of orthogonal complex exponentials restricted to $Ω$.
In the general case, we characterize Borel sets $Ω$ having this spectral property in terms of a unitary representation of $(\br, +)$ acting by local translations. The case of $k = 1$ is of special interest, hence the interval-configurations. We give a characterization of those geometric interval-configurations which allow Fourier spectra directly in terms of the selfadjoint extensions of the minimal operator $\Ds$. This allows for a direct and explicit interplay between geometry and spectra. As an application, we offer a new look at the Universal Tiling Conjecture and show that the spectral-implies-tile part of the Fuglede conjecture is equivalent to it and can be reduced to a variant of the Fuglede conjecture for unions of integer intervals.
△ Less
Submitted 5 November, 2014; v1 submitted 19 May, 2012;
originally announced May 2012.
-
Uniformity of measures with Fourier frames
Authors:
Dorin Ervin Dutkay,
Chun-Kit Lai
Abstract:
We examine Fourier frames and, more generally, frame measures for different probability measures. We prove that if a measure has an associated frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. To be more precise, by considering certain absolute continuity properties of the measure and its translation, we recover the ch…
▽ More
We examine Fourier frames and, more generally, frame measures for different probability measures. We prove that if a measure has an associated frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. To be more precise, by considering certain absolute continuity properties of the measure and its translation, we recover the characterization on absolutely continuous measures $g\, dx$ with Fourier frames obtained in \cite{Lai11}. Moreover, we prove that the frame bounds are pushed away by the essential infimum and supremum of the function $g$. This also shows that absolutely continuous spectral measures supported on a set $Ω$, if they exist, must be the standard Lebesgue measure on $Ω$ up to a multiplicative constant. We then investigate affine iterated function systems (IFSs), we show that if an IFS with no overlap admits a frame measure then the probability weights are all equal. Moreover, we also show that the Łaba-Wang conjecture \cite{MR1929508} is true if the self-similar measure is absolutely continuous. Finally, we will present a new approach to the conjecture of Liu and Wang \cite{LW} about the structure of non-uniform Gabor orthonormal bases of the form ${\mathcal G}(g,Λ,{\mathcal J})$.
△ Less
Submitted 27 February, 2012;
originally announced February 2012.
-
Continuous and Discrete Fourier Frames for Fractal Measures
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Eric Weber
Abstract:
Motivated by the existence problem of Fourier frames on fractal measures, we introduce Bessel and frame measures for a given finite measure on $\br^d$, as extensions of the notions of Bessel and frame spectra that correspond to bases of exponential functions. Not every finite compactly supported Borel measure admits frame measures. We present a general way of constructing Bessel/frame measures for…
▽ More
Motivated by the existence problem of Fourier frames on fractal measures, we introduce Bessel and frame measures for a given finite measure on $\br^d$, as extensions of the notions of Bessel and frame spectra that correspond to bases of exponential functions. Not every finite compactly supported Borel measure admits frame measures. We present a general way of constructing Bessel/frame measures for a given measure. The idea is that if a convolution of two measures admits a Bessel measure then one can use the Fourier transform of one of the measures in the convolution as a weight for the Bessel measure to obtain a Bessel measure for the other measure in the convolution. The same is true for frame measures, but with certain restrictions. We investigate some general properties of frame measures and their Beurling dimensions. In particular we show that the Beurling dimension is invariant under convolution (with a probability measure) and under a certain type of discretization. Moreover, if a measure admits a frame measure then it admits an atomic one, and hence a weighted Fourier frame. We also construct some examples of frame measures for self-similar measures.
△ Less
Submitted 31 March, 2012; v1 submitted 5 October, 2011;
originally announced October 2011.
-
Iterative approximations of exponential bases on fractal measures
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Eric Weber
Abstract:
For some fractal measures it is a very difficult problem in general to prove the existence of spectrum (respectively, frame, Riesz and Bessel spectrum). In fact there are examples of extremely sparse sets that are not even Bessel spectra. In this paper we investigate this problem for general fractal measures induced by iterated function systems (IFS). We prove some existence results of spectra ass…
▽ More
For some fractal measures it is a very difficult problem in general to prove the existence of spectrum (respectively, frame, Riesz and Bessel spectrum). In fact there are examples of extremely sparse sets that are not even Bessel spectra. In this paper we investigate this problem for general fractal measures induced by iterated function systems (IFS). We prove some existence results of spectra associated with Hadamard pairs. We also obtain some characterizations of Bessel spectrum in terms of finite matrices for affine IFS measures, and one sufficient condition of frame spectrum in the case that the affine IFS has no overlap.
△ Less
Submitted 20 January, 2012; v1 submitted 21 September, 2011;
originally announced September 2011.
-
Decomposition of wavelet representations and Martin boundaries
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Sergei Silvestrov
Abstract:
We study a decomposition problem for a class of unitary representations associated with wavelet analysis, wavelet representations, but our framework is wider and has applications to multi-scale expansions arising in dynamical systems theory for non-invertible endomorphisms.
Our main results offer a direct integral decomposition for the general wavelet representation, and we solve a question pose…
▽ More
We study a decomposition problem for a class of unitary representations associated with wavelet analysis, wavelet representations, but our framework is wider and has applications to multi-scale expansions arising in dynamical systems theory for non-invertible endomorphisms.
Our main results offer a direct integral decomposition for the general wavelet representation, and we solve a question posed by Judith Packer. This entails a direct integral decomposition of the general wavelet representation. We further give a detailed analysis of the measures contributing to the decomposition into irreducible representations. We prove results for associated Martin boundaries, relevant for the understanding of wavelet filters and induced random-walks, as well as classes of harmonic functions.
Our setting entails representations built from certain finite-to-one endomorphisms $r$ in compact metric spaces $X$, and we study their dilations to automorphisms in induced solenoids. Our wavelet representations are covariant systems formed from the dilated automorphisms. They depend on assigned measures $μ$ on $X$. It is known that when the data $(X, r, μ)$ are given the associated wavelet representation is typically reducible. By introducing wavelet filters associated to $(X, r)$ we build random walks in $X$, path-space measures, harmonic functions, and an associated Martin boundary.
We construct measures on the solenoid $(X_\infty, r_\infty)$, built from $(X, r)$. We show that $r_\infty$ induces unitary operators $U$ on Hilbert space $\H$ and representations $π$ of the algebra $L^\infty(X)$ such that the pair $(U, r_\infty)$, together with the corresponding representation $π$ forms a cross-product in the sense of $C^*$-algebras. We note that the traditional wavelet representations fall within this wider framework of $(\H, U, π)$ covariant crossed products.
△ Less
Submitted 26 October, 2011; v1 submitted 17 May, 2011;
originally announced May 2011.
-
Divergence of mock and scrambled Fourier series
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Qiyu Sun
Abstract:
We study divergence properties of Fourier series on Cantor-type fractal measures, also called mock Fourier series. We show that in some cases the $L^1$-norm of the corresponding Dirichlet kernel grows exponentially fast, and therefore the Fourier series are not even pointwise convergent. We apply these results to the Lebesgue measure to show that a certain rearrangement of the exponential function…
▽ More
We study divergence properties of Fourier series on Cantor-type fractal measures, also called mock Fourier series. We show that in some cases the $L^1$-norm of the corresponding Dirichlet kernel grows exponentially fast, and therefore the Fourier series are not even pointwise convergent. We apply these results to the Lebesgue measure to show that a certain rearrangement of the exponential functions, which we call scrambled Fourier series, have a corresponding Dirichlet kernel whose $L^1$-norm grows exponentially fast, which is much worse than the known logarithmic bound. The divergence properties are related to the Mahler measure of certain polynomials and to spectral properties of Ruelle operators.
△ Less
Submitted 4 September, 2012; v1 submitted 22 March, 2011;
originally announced March 2011.
-
Isospectral measures
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
In recent papers a number of authors have considered Borel probability measures $μ$ in $\br^d$ such that the Hilbert space $L^2(μ)$ has a Fourier basis (orthogonal) of complex exponentials. If $μ$ satisfies this property, the set of frequencies in this set are called a spectrum for $μ$. Here we fix a spectrum, say $Γ$, and we study the possibilities for measures $μ$ having $Γ$ as spectrum.
In recent papers a number of authors have considered Borel probability measures $μ$ in $\br^d$ such that the Hilbert space $L^2(μ)$ has a Fourier basis (orthogonal) of complex exponentials. If $μ$ satisfies this property, the set of frequencies in this set are called a spectrum for $μ$. Here we fix a spectrum, say $Γ$, and we study the possibilities for measures $μ$ having $Γ$ as spectrum.
△ Less
Submitted 3 February, 2011; v1 submitted 5 November, 2010;
originally announced November 2010.
-
Reducibility of the wavelet representation associated to the Cantor set
Authors:
Dorin Ervin Dutkay,
Sergei Silvestrov
Abstract:
We answer a question by Judith Packer about the irreducibility of the wavelet representation associated to the Cantor set. We prove that if the QMF filter does not have constant absolute value, then the wavelet representations is reducible.
We answer a question by Judith Packer about the irreducibility of the wavelet representation associated to the Cantor set. We prove that if the QMF filter does not have constant absolute value, then the wavelet representations is reducible.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Bessel sequences of exponentials on fractal measures
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Eric Weber
Abstract:
Jorgensen and Pedersen have proven that a certain fractal measure $ν$ has no infinite set of complex exponentials which form an orthonormal set in $L^2(ν)$. We prove that any fractal measure $μ$ obtained from an affine iterated function system possesses a sequence of complex exponentials which forms a Riesz basic sequence, or more generally a Bessel sequence, in $L^2(μ)$ such that the frequencies…
▽ More
Jorgensen and Pedersen have proven that a certain fractal measure $ν$ has no infinite set of complex exponentials which form an orthonormal set in $L^2(ν)$. We prove that any fractal measure $μ$ obtained from an affine iterated function system possesses a sequence of complex exponentials which forms a Riesz basic sequence, or more generally a Bessel sequence, in $L^2(μ)$ such that the frequencies have positive Beurling dimension.
△ Less
Submitted 25 August, 2010;
originally announced August 2010.
-
Affine fractals as boundaries and their harmonic analysis
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We introduce the notion of boundary representation for fractal Fourier expansions, starting with a familiar notion of spectral pairs for affine fractal measures. Specializing to one dimension, we establish boundary representations for these fractals. We prove that as sets these fractals arise as boundaries of functions in closed subspaces of the Hardy space $H^2$. By this we mean that there are la…
▽ More
We introduce the notion of boundary representation for fractal Fourier expansions, starting with a familiar notion of spectral pairs for affine fractal measures. Specializing to one dimension, we establish boundary representations for these fractals. We prove that as sets these fractals arise as boundaries of functions in closed subspaces of the Hardy space $H^2$. By this we mean that there are lacunary subsets $Γ$ of the non-negative integers, and associated closed $Γ$-subspace in the Hardy space $H^2(\bd)$, $\bd$ denoting the disk, such that for every function $f$ in in $H^2(Γ)$, and for every point $z$ in $\bd$, $f(z)$ admits a boundary integral represented by an associated measure $μ$, with integration over $\suppμ$ placed as a Cantor subset on the circle $\bt := \{bd}(\bd)$.
We study families of pairs: measures $μ$ and sets $Γ$ of lacunary form, admitting lacunary Fourier series in $L^2(μ)$; i.e., configurations $Γ$ arranged with a geometric progression of empty spacing, or missing parts, gaps. Given $Γ$, we find corresponding generalized Szeg\" o kernels $G_Γ$, and we compare them to the classical Szeg\" o kernel for $\bd$. Rather than the more traditional approach of starting with $μ$, and then asking for possibilities for sets $Γ$, such that we get Fourier series representations, we turn the problem upside down; now starting instead with a countably infinite discrete subset $Γ$, and, within a new duality framework, we study the possibilities for choices of measures $μ$.
△ Less
Submitted 21 August, 2010; v1 submitted 2 June, 2010;
originally announced June 2010.
-
On the Beurling dimension of exponential frames
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Qiyu Sun,
Eric Weber
Abstract:
We study Fourier frames of exponentials on fractal measures associated with a class of affine iterated function systems. We prove that, under a mild technical condition, the Beurling dimension of a Fourier frame coincides with the Hausdorff dimension of the fractal.
We study Fourier frames of exponentials on fractal measures associated with a class of affine iterated function systems. We prove that, under a mild technical condition, the Beurling dimension of a Fourier frame coincides with the Hausdorff dimension of the fractal.
△ Less
Submitted 4 June, 2010; v1 submitted 26 May, 2010;
originally announced May 2010.
-
Spectral measures and Cuntz algebras
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
We consider a family of measures $μ$ supported in $\br^d$ and generated in the sense of Hutchinson by a finite family of affine transformations. It is known that interesting sub-families of these measures allow for an orthogonal basis in $L^2(μ)$ consisting of complex exponentials, i.e., a Fourier basis corresponding to a discrete subset $Γ$ in $\br^d$. Here we offer two computational devices fo…
▽ More
We consider a family of measures $μ$ supported in $\br^d$ and generated in the sense of Hutchinson by a finite family of affine transformations. It is known that interesting sub-families of these measures allow for an orthogonal basis in $L^2(μ)$ consisting of complex exponentials, i.e., a Fourier basis corresponding to a discrete subset $Γ$ in $\br^d$. Here we offer two computational devices for understanding the interplay between the possibilities for such sets $Γ$ (spectrum) and the measures $μ$ themselves. Our computations combine the following three tools: duality, discrete harmonic analysis, and dynamical systems based on representations of the Cuntz $C^*$-algebras $\mathcal O_N$.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
Fourier duality for fractal measures with affine scales
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen
Abstract:
For a family of fractal measures, we find an explicit Fourier duality. The measures in the pair have compact support in $\br^d$, and they both have the same matrix scaling. But the two use different translation vectors, one by a subset $B$ in $\br^d$, and the other by a related subset $L$. Among other things, we show that there is then a pair of infinite discrete sets $Γ(L)$ and $Γ(B)$ in $\br^d$…
▽ More
For a family of fractal measures, we find an explicit Fourier duality. The measures in the pair have compact support in $\br^d$, and they both have the same matrix scaling. But the two use different translation vectors, one by a subset $B$ in $\br^d$, and the other by a related subset $L$. Among other things, we show that there is then a pair of infinite discrete sets $Γ(L)$ and $Γ(B)$ in $\br^d$ such that the $Γ(L)$-Fourier exponentials are orthogonal in $L^2(μ_B)$, and the $Γ(B)$-Fourier exponentials are orthogonal in $L^2(μ_L)$. These sets of orthogonal "frequencies" are typically lacunary, and they will be obtained by scaling in the large. The nature of our duality is explored below both in higher dimensions and for examples on the real line.
Our duality pairs do not always yield orthonormal Fourier bases in the respective $L^2(μ)$-Hilbert spaces, but depending on the geometry of certain finite orbits, we show that they do in some cases. We further show that there are new and surprising scaling symmetries of relevance for the ergodic theory of these affine fractal measures.
△ Less
Submitted 19 June, 2011; v1 submitted 5 November, 2009;
originally announced November 2009.
-
Hearing the Hausdorff dimension
Authors:
Dorin Ervin Dutkay,
Deguang Han,
Qiyu Sun,
Eric Weber
Abstract:
None. This paper has been withdrawn by the authors.
None. This paper has been withdrawn by the authors.
△ Less
Submitted 26 May, 2010; v1 submitted 28 October, 2009;
originally announced October 2009.
-
Irreducible wavelet representations and ergodic automorphisms on solenoids
Authors:
Dorin Ervin Dutkay,
David R. Larson,
Sergei Silvestrov
Abstract:
We focus on the irreducibility of wavelet representations. We present some connections between the following notions: covariant wavelet representations, ergodic shifts on solenoids, fixed points of transfer (Ruelle) operators and solutions of refinement equations. We investigate the irreducibility of the wavelet representations, in particular the representation associated to the Cantor set, introd…
▽ More
We focus on the irreducibility of wavelet representations. We present some connections between the following notions: covariant wavelet representations, ergodic shifts on solenoids, fixed points of transfer (Ruelle) operators and solutions of refinement equations. We investigate the irreducibility of the wavelet representations, in particular the representation associated to the Cantor set, introduced in \cite{DuJo06b}, and we present several equivalent formulations of the problem.
△ Less
Submitted 5 November, 2010; v1 submitted 5 October, 2009;
originally announced October 2009.
-
On common fundamental domains
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Deguang Han,
Gabriel Picioroaga
Abstract:
We find conditions under which two measure preserving actions of two groups on the same space have a common fundamental domain. Our results apply to commuting actions with separate fundamental domains, lattices in groups of polynomial growth, and some semidirect products. We prove that two lattices of equal co-volume in a group of polynomial growth, one acting on the left, the other on the right,…
▽ More
We find conditions under which two measure preserving actions of two groups on the same space have a common fundamental domain. Our results apply to commuting actions with separate fundamental domains, lattices in groups of polynomial growth, and some semidirect products. We prove that two lattices of equal co-volume in a group of polynomial growth, one acting on the left, the other on the right, have a common fundamental domain.
△ Less
Submitted 18 February, 2013; v1 submitted 8 March, 2009;
originally announced March 2009.
-
A Duality principle for groups
Authors:
Dorin Ervin Dutkay,
Deguang Han,
David Larson
Abstract:
The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for $L^{2}(\R^{d})$ if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality principle extends to any dual pairs of projective unitary representations of countable groups. We examine the existence problem of dual pairs and establish some…
▽ More
The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for $L^{2}(\R^{d})$ if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality principle extends to any dual pairs of projective unitary representations of countable groups. We examine the existence problem of dual pairs and establish some connection with classification problems for $\rm II_{1}$ factors. While in general such a pair may not exist for some groups, we show that such a dual pair always exists for every subrepresentation of the left regular unitary representation when $G$ is an abelian infinite countable group or an amenable ICC group. For free groups with finitely many generators, the existence problem of such a dual pair is equivalent to the well known problem about the classification of free group von Neumann algebras.
△ Less
Submitted 16 February, 2009;
originally announced February 2009.
-
Orthogonal exponentials, translations, and Bohr completions
Authors:
Dorin Ervin Dutkay,
Palle E. T. Jorgensen,
Deguang Han
Abstract:
We are concerned with an harmonic analysis in Hilbert spaces $L^2(μ)$, where $μ$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_λ(x) = \exp(2πi λx)$ in $L^2(μ)$. This question in turn is connected to the existence of a natural embedding of $L^2(μ)$ into an $L^2$-space of Bohr almost periodic functions on $\br^n$. In…
▽ More
We are concerned with an harmonic analysis in Hilbert spaces $L^2(μ)$, where $μ$ is a probability measure on $\br^n$. The unifying question is the presence of families of orthogonal (complex) exponentials $e_λ(x) = \exp(2πi λx)$ in $L^2(μ)$. This question in turn is connected to the existence of a natural embedding of $L^2(μ)$ into an $L^2$-space of Bohr almost periodic functions on $\br^n$. In particular we explore when $L^2(μ)$ contains an orthogonal basis of $e_λ$ functions, for $λ$ in a suitable discrete subset in $\br^n$; i.e, when the measure $μ$ is spectral. We give a new characterization of finite spectral sets in terms of the existence of a group of local translation. We also consider measures $μ$ that arise as fixed points (in the sense of Hutchinson) of iterated function systems (IFSs), and we specialize to the case when the function system in the IFS consists of affine and contractive mappings in $\br^n$. We show in this case that if $μ$ is then assumed spectral then its partitions induced by the IFS at hand have zero overlap measured in $μ$. This solves part of the Łaba-Wang conjecture. As an application of the new non-overlap result, we solve the spectral-pair problem for Bernoulli convolutions advancing in this way a theorem of Ka-Sing Lau. In addition we present a new perspective on spectral measures and orthogonal Fourier exponentials via the Bohr compactification.
△ Less
Submitted 14 May, 2009; v1 submitted 26 January, 2009;
originally announced January 2009.
