Searcharxiv⌕ Search

arXiv subjects

Dorin Ervin Dutkay

Publications and source records attributed to Dorin Ervin Dutkay.

At least 37 records · Page 2Linked to original sources
arXiv2016

Fourier bases and Fourier frames on self-affine measures

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.

math.FA↗
arXiv2015

Spectral measures generated by arbitrary and random convolutions

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.

math.FA↗
arXiv2015

Hadamard triples generate self-affine spectral measures

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.

math.FA↗
arXiv2014

Unitary groups and spectral sets

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.

math.FA↗
arXiv2014

Spectral Properties of Small Hadamard Matrices

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.

math.SP↗
arXiv2014

Representations of Cuntz algebras associated to quasi-invariant Markov measures

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.

math.OA↗
arXiv2014

Monic representations of the Cuntz algebra and Markov measures

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.

math.FA↗
arXiv2013

Atomic representations of Cuntz algebras

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.

math.OA↗
arXiv2013

Local translations associated to spectral sets

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.

math.FA↗
arXiv2013

On common fundamental domains

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.

math.FA↗
arXiv2013

The role of transfer operators and shifts in the study of fractals: encoding-models, analysis and geometry, commutative and non-commutative

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.

math.FA↗
arXiv2013

On the universal tiling conjecture in dimension one

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.

math.FA↗
arXiv2013

Some reductions of the spectral set conjecture to integers

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.

math.FA↗
arXiv2012

Orthonormal bases generated by Cuntz algebras

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.

math.FA↗
arXiv2012

Tiling properties of spectra of measures

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.

math.FA↗
arXiv2012

Divergence of mock and scrambled Fourier series

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.

math.FA↗
arXiv2012

Spectra of measures and wandering vectors

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.

math.FA↗