2,965 research outputs found

    Martingales, endomorphisms, and covariant systems of operators in Hilbert space

    Full text link
    We show that a class of dynamical systems induces an associated operator system in Hilbert space. The dynamical systems are defined from a fixed finite-to-one mapping in a compact metric space, and the induced operators form a covariant system in a Hilbert space of L^2-martingales. Our martingale construction depends on a prescribed set of transition probabilities, given by a non-negative function. Our main theorem describes the induced martingale systems completely. The applications of our theorem include wavelets, the dynamics defined by iterations of rational functions, and sub-shifts in symbolic dynamics. In the theory of wavelets, in the study of subshifts, in the analysis of Julia sets of rational maps of a complex variable, and, more generally, in the study of dynamical systems, we are faced with the problem of building a unitary operator from a mapping r in a compact metric space X. The space X may be a torus, or the state space of subshift dynamical systems, or a Julia set. While our motivation derives from some wavelet problems, we have in mind other applications as well; and the issues involving covariant operator systems may be of independent interest.Comment: 44 pages, LaTeX2e ("jotart" document class); v2: A few opening paragraphs were added to the paper; an addition where a bit of the history is explained, and where some more relevant papers are cited. Corrected a typographical error in Proposition 8.1. v3: A few minor additions: More motivation and explanations in the Intro; Remark 3.3 is new; and eleven relevant references/citations are added; v4: corrected and updated bibliography; v5: more bibliography updates and change of LaTeX document clas

    On the universal tiling conjecture in dimension one

    Full text link
    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.Comment: arXiv admin note: text overlap with arXiv:1205.435

    Hilbert spaces built on a similarity and on dynamical renormalization

    Full text link
    We develop a Hilbert space framework for a number of general multi-scale problems from dynamics. The aim is to identify a spectral theory for a class of systems based on iterations of a non-invertible endomorphism. We are motivated by the more familiar approach to wavelet theory which starts with the two-to-one endomorphism r:zz2r: z \mapsto z^2 in the one-torus \bt, a wavelet filter, and an associated transfer operator. This leads to a scaling function and a corresponding closed subspace V0V_0 in the Hilbert space L^2(\br). Using the dyadic scaling on the line \br, one has a nested family of closed subspaces VnV_n, n \in \bz, with trivial intersection, and with dense union in L^2(\br). More generally, we achieve the same outcome, but in different Hilbert spaces, for a class of non-linear problems. In fact, we see that the geometry of scales of subspaces in Hilbert space is ubiquitous in the analysis of multiscale problems, e.g., martingales, complex iteration dynamical systems, graph-iterated function systems of affine type, and subshifts in symbolic dynamics. We develop a general framework for these examples which starts with a fixed endomorphism rr (i.e., generalizing r(z)=z2r(z) = z^2) in a compact metric space XX. It is assumed that r:XXr : X\to X is onto, and finite-to-one.Comment: v3, minor addition

    Fourier duality for fractal measures with affine scales

    Full text link
    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 BB in \br^d, and the other by a related subset LL. Among other things, we show that there is then a pair of infinite discrete sets Γ(L)\Gamma(L) and Γ(B)\Gamma(B) in \br^d such that the Γ(L)\Gamma(L)-Fourier exponentials are orthogonal in L2(μB)L^2(\mu_B), and the Γ(B)\Gamma(B)-Fourier exponentials are orthogonal in L2(μL)L^2(\mu_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 L2(μ)L^2(\mu)-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.Comment: v

    Unitary groups and spectral sets

    Full text link
    We study spectral theory for bounded Borel subsets of \br and in particular finite unions of intervals. For Hilbert space, we take L2L^2 of the union of the intervals. This yields a boundary value problem arising from the minimal operator \Ds = \frac1{2\pi i}\frac{d}{dx} with domain consisting of CC^\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 Ω\Omega in \br^k such that L2(Ω)L^2(\Omega) has an orthogonal basis of Fourier frequencies (spectrum), i.e., a total set of orthogonal complex exponentials restricted to Ω\Omega. In the general case, we characterize Borel sets Ω\Omega having this spectral property in terms of a unitary representation of (\br, +) acting by local translations. The case of k=1k = 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.Comment: We improved the paper and partition it into several independent part

    Isospectral measures

    Full text link
    In recent papers a number of authors have considered Borel probability measures μ\mu in \br^d such that the Hilbert space L2(μ)L^2(\mu) has a Fourier basis (orthogonal) of complex exponentials. If μ\mu satisfies this property, the set of frequencies in this set are called a spectrum for μ\mu. Here we fix a spectrum, say Γ\Gamma, and we study the possibilities for measures μ\mu having Γ\Gamma as spectrum.Comment: v
    corecore