Searcharxiv⌕ Search

arXiv subjects

Daniel Alpay

Publications and source records attributed to Daniel Alpay.

At least 91 records · Page 5Linked to original sources
arXiv2016

W-Markov measures, transfer operators, wavelets and multiresolutions

In a general setting we solve the following inverse problem: Given a positive operators $R$, acting on measurable functions on a fixed measure space $(X,\mathcal B_X)$, we construct an associated Markov chain. Specifically, starting with a choice of $R$ (the transfer operator), and a probability measure $μ_0$ on $(X, \mathcal B_X)$, we then build an associated Markov chain $T_0, T_1, T_2,\ldots$, with these random variables (r.v) realized in a suitable probability space $(Ω,\mathcal F, \mathbb P)$, and each r.v. taking values in $X$, and with $T_0$ having the probability $μ_0$ as law. We further show how spectral data for $R$, e.g., the presence of $R$-harmonic functions, propagate to the Markov chain. Conversely, in a general setting, we show that every Markov chain is determined by its transfer operator. In a range of examples we put this correspondence into practical terms: $(i)$ iterated function systems (IFS), $(ii)$ wavelet multiresolution constructions, and $(iii)$ IFSs with random control.

math.PR↗
arXiv2016

Adaptative decomposition: the case of the Drury-Arveson space

The maximum selection principle allows to give expansions, in an adaptive way, of functions in the Hardy space $\mathbf H_2$ of the disk in terms of Blaschke products. The expansion is specific to the given function. Blaschke factors and products have counterparts in the unit ball of $\mathbb C^N$, and this fact allows us to extend in the present paper the maximum selection principle to the case of functions in the Drury-Arveson space of functions analytic in the unit ball of $\mathbb C^N$. This will give rise to an algorithm which is a variation in this higher dimensional case of the greedy algorithm. We also introduce infinite Blaschke products in this setting and study their convergence.

math.CV↗
arXiv2016

On the equivalence of probability spaces

For a general class of Gaussian processes $W$, indexed by a sigma-algebra $\mathscr F$ of a general measure space $(M,\mathscr F, σ)$, we give necessary and sufficient conditions for the validity of a quadratic variation representation for such Gaussian processes, thus recovering $σ(A)$, for $A\in\mathscr F$, as a quadratic variation of $W$ over $A$. We further provide a harmonic analysis representation for this general class of processes. We apply these two results to: $(i)$ a computation of generalized Ito-integrals; and $(ii)$ a proof of an explicit, and measure-theoretic equivalence formula, realizing an equivalence between the two approaches to Gaussian processes, one where the choice of sample space is the traditional path-space, and the other where it is Schwartz' space of tempered distributions.

math.PR↗
arXiv2015

Beurling-Lax type theorems in the complex and quaternionic setting: the half-space case

We give a generalization of the Beurling-Lax theorem both in the complex and quaternionic settings. We consider in the first case functions meromorphic in the right complex half-plane, and functions slice hypermeromorphic in the right quaternionic half-space in the second case. In both settings we also discuss a unified framework, which includes both the disk and the half-plane for the complex case and the open unit ball and the half-space in the quaternionic setting.

math.FA↗
arXiv2015

Kolmogorov's axioms for probabilities with values in hyperbolic numbers

We introduce the notion of a probabilistic measure which takes values in hyperbolic numbers and which satisfies the system of axioms generalizing directly Kolmogorov's system of axioms. We show that this new measure verifies the usual properties of a probability; in particular, we treat the conditional hyperbolic probability and we prove the hyperbolic analogues of the multiplication theorem, of the law of total probability and of Bayes' theorem. Our probability may take values which are zero--divisors and we discuss carefully this peculiarity.

math.PR↗
arXiv2015

A new realization of rational functions, with applications to linear combination interpolation

We introduce the following linear combination interpolation problem (LCI): Given $N$ distinct numbers $w_1,\ldots w_N$ and $N+1$ complex numbers $a_1,\ldots, a_N$ and $c$, find all functions $f(z)$ analytic in a simply connected set (depending on $f$) containing the points $w_1,\ldots,w_N$ such that \[ \sum_{u=1}^Na_uf(w_u)=c. \] To this end we prove a representation theorem for such functions $f$ in terms of an associated polynomial $p(z)$. We first introduce the following two operations, $(i)$ substitution of $p$, and $(ii)$ multiplication by monomials $z^j, 0\le j < N$. Then let $M$ be the module generated by these two operations, acting on functions analytic near $0$. We prove that every function $f$, analytic in a neighborhood of the roots of $p$, is in $M$. In fact, this representation of $f$ is unique. To solve the above interpolation problem, we employ an adapted systems theoretic realization, as well as an associated representation of the Cuntz relations (from multi-variable operator theory.) We study these operations in reproducing kernel Hilbert space): We give necessary and sufficient condition for existence of realizations of these representation of the Cuntz relations by operators in certain reproducing kernel Hilbert spaces, and offer infinite product factorizations of the corresponding kernels.

math.FA↗
arXiv2015

Functions of the infinitesimal generator of a strongly continuous quaternionic group

The analogue of the Riesz-Dunford functional calculus has been introduced and studied recently as well as the theory of semigroups and groups of linear quaternionic operators. In this paper we suppose that $T$ is the infinitesimal generator of a strongly continuous group of operators $(\mathcal{Z}_T(t))_{t \in \mathbb{R}}$ and we show how we can define bounded operators $f(T)$, where $f$ belongs to a class of functions which is larger than the class of slice regular functions, using the quaternionic Laplace-Stieltjes transform. This class will include functions that are slice regular on the $S$-spectrum of $T$ but not necessarily at infinity. Moreover, we establish the relation of $f(T)$ with the quaternionic functional calculus and we study the problem of finding the inverse of $f(T)$.

math.SP↗
arXiv2015

Realizations of infinite products, Ruelle operators and wavelet filters

Using the notions and tools from realization in the sense of systems theory, we establish an explicit and new realization formula for families of infinite products of rational matrix-functions of a single complex variable. Our realizations of these resulting infinite products have the following four features: 1) Our infinite product realizations are functions defined in an infinite-dimensional complex domain. 2) Starting with a realization of a single rational matrix-function $M$, we show that a resulting infinite product realization obtained from $M$ takes the form of an (infinite-dimensional) Toeplitz operator with a symbol that is a reflection of the initial realization for $M$. 3) Starting with a subclass of rational matrix functions, including scalar-valued corresponding to low-pass wavelet filters, we obtain the corresponding infinite products that realize the Fourier transforms of generators of $\mathbf L_2(\mathbb R)$ wavelets. 4) We use both the realizations for $M$ and the corresponding infinite product to produce a matrix representation of the Ruelle-transfer operators used in wavelet theory. By matrix representation we refer to the slanted (and sparse) matrix which realizes the Ruelle-transfer operator under consideration.

math.CV↗
arXiv2015

Wiener algebra for the quaternions

We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.

math.CV↗
arXiv2015

Characterizations of rectangular (para)-unitary rational Functions

We here present three characterizations of not necessarily causal, rational functions which are (co)-isometric on the unit circle: (i) Through the realization matrix of Schur stable systems. (ii) The Blaschke-Potapov product, which is then employed to introduce an easy-to-use description of all these functions with dimensions and McMillan degree as parameters. (iii) Through the (not necessarily reducible) Matrix Fraction Description (MFD). In cases (ii) and (iii) the poles of the rational functions involved may be anywhere in the complex plane, but the unit circle (including both zero and infinity). A special attention is devoted to exploring the gap between the square and rectangular cases.

math.CV↗
arXiv2014

Reproducing kernel Hilbert spaces generated by the binomial coefficients

We study a reproducing kernel Hilbert space of functions defined on the positive integers and associated to the binomial coefficients. We introduce two transforms, which allow us to develop a related harmonic analysis in this Hilbert space. Finally, we mention connections with the theory of discrete analytic functions and with the quantum case.

math.CV↗
arXiv2014

The spectral theorem for quaternionic unbounded normal operators based on the S-spectrum

In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of $S$-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundation of spectral analysis of quaternionic operators. The $S$-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of spectrum for quaternionic operators was not previously known has been one of the main obstructions to fully understanding the spectral theorem in this setting. A prime motivation for studying the spectral theorem for quaternionic unbounded normal operators is given by the subclass of unbounded anti-self adjoint quaternionic operators which play a crucial role in the quaternionic quantum mechanics.

math.SP↗
arXiv2014

Characterizations of families of rectangular finite impulse response, para-unitary systems

We here study Finite Impulse Response (FIR) rectangular, not necessarily causal, systems which are (para)-unitary on the unit circle (=the class $\mathcal{U}$). First, we offer three characterizations of these systems. Then, introduce a %easy-to-use description of all FIRs in $\mathcal{U}$, as copies of a real polytope, parametrized by the dimensions and the McMillan degree of the FIRs. Finally, we present six simple ways (along with their combinations) to construct, from any FIR, a large family of FIRs, of various dimensions and McMillan degrees, so that whenever the original system is in $\mathcal{U}$, so is the whole family. A key role is played by Hankel matrices.

math.CV↗
arXiv2014

Generalized quaternionic Schur functions in the ball and half-space and Krein-Langer factorization

In this paper we prove a new version of Krein-Langer factorization theorem in the slice hyperholomorphic setting which is more general than the one proved in [D. Alpay, F. Colombo, I. Sabadini, Krein-Langer factorization and related topics in the slice hyperholomorphic setting, J. Geom. Anal., 24 (2014), 843--872]. We treat both the case of functions with $κ$ negative squares defined on subsets of the quaternionic unit ball or on subsets of the half space of quaternions with positive real part. A crucial tool in the proof of our results is the Schauder-Tychonoff theorem and an invariant subspace theorem for contractions in a Pontryagin space.

math.CV↗
arXiv2014

The Fock space in the slice hyperholomorphic setting

In this paper we introduce and study some basic properties of the Fock space (also known as Segal-Bargmann space) in the slice hyperholomorphic setting. We discuss both the case of slice regular functions over quaternions and also the case of slice monogenic functions with values in a Clifford algebra. In the specific setting of quaternions, we also introduce the full Fock space. This paper can be seen as the beginning of the study of infinite dimensional analysis in the quaternionic setting.

math.CV↗
arXiv2013

On free stochastic processes and their derivatives

We study a family of free stochastic processes whose covariance kernels $K$ may be derived as a transform of a tempered measure $σ$. These processes arise, for example, in consideration non-commutative analysis involving free probability. Hence our use of semi-circle distributions, as opposed to Gaussians. In this setting we find an orthonormal bases in the corresponding non-commutative $L^2$ of sample-space. We define a stochastic integral for our family of free processes.

math.OA↗
arXiv2013

A new resolvent equation for the S-functional calculus

The S-functional calculus is a functional calculus for $(n+1)$-tuples of non necessarily commuting operators that can be considered a higher dimensional version of the classical Riesz-Dunford functional calculus for a single operator. In this last calculus, the resolvent equation plays an important role in the proof of several results. Associated with the S-functional calculus there are two resolvent operators: the left $S_L^{-1}(s,T)$ and the right one $S_R^{-1}(s,T)$, where $s=(s_0,s_1,\ldots,s_n)\in \mathbb{R}^{n+1}$ and $T=(T_0,T_1,\ldots,T_n)$ is an $(n+1)$-tuple of non commuting operators. These two S-resolvent operators satisfy the S-resolvent equations $S_L^{-1}(s,T)s-TS_L^{-1}(s,T)=\mathcal{I}$, and $sS_R^{-1}(s,T)-S_R^{-1}(s,T)T=\mathcal{I}$, respectively, where $\mathcal{I}$ denotes the identity operator. These equations allows to prove some properties of the S-functional calculus. In this paper we prove a new resolvent equation for the S-functional calculus which is the analogue of the classical resolvent equation. It is interesting to note that the equation involves both the left and the right S-resolvent operators simultaneously.

math.FA↗