Functional Analysis

AG-2025.10-791

math.FA

Analytic Langlands correspondence from SoV

Federico Ambrosino, Jörg Teschner

The analytic Langlands correspondence proposed by Etingof, Frenkel and Kazhdan describes the solution to the spectral problems naturally arising in the quantisation of the Hitchin integrable systems in terms of real opers, certain second order differential operators on a Riemann surface having real monodromy. We prove this correspondence in the cases associated to the group $\mathrm{PSL}(2,\mathbb{C})$, and Riemann surfaces of genus zero with a number of punctures larger than three. A crucial ingredient is a unitary integral transformation mapping products of solutions to the ordinary differential equation associated to a real oper to eigenfunctions of the quantised Hitchin Hamiltonians. This allows us to construct joint eigenfunctions of Hecke operators and Hitchin Hamiltonians from real opers.

AG-2025.05-1177

math.FA

Complexity of Radon transforms

I. V. Anikin

For the reconstruction problem, the universal representation of inverse Radon transforms implies the needed complexity of the direct Radon transforms which leads to the additional contributions. In the standard theory of generalized functions, if the outset (origin) function which generates the Radon image is a pure-real function, as a rule, the complexity of Radon transforms becomes in question. In the paper, we discuss the Fourier slice theorem analyzing the degenerated (singular) points as possible sources of the complexity. We also demonstrate the different methods to generate the needed complexity on the intermediate stage of calculations. Besides, we show that the introduction of the hybrid (Wigner-like) function ensures naturally the corresponding complexity. The discussed complexity provides not only the additional contribution to the inverse Radon transforms, but also it makes an essential impact on the reconstruction and optimization procedures within the frame of the incorrect problems. The presented methods can be effectively used for the practical tasks of reconstruction problems.

AG-2024.10-406

math.FA

Factorisation of symmetric matrices and applications in gravitational theories

M. Cristina Câmara, Gabriel Lopes Cardoso

We consider the canonical Wiener-Hopf factorisation of $2 \times 2$ symmetric matrices $\mathcal M$ with respect to a contour $Γ$. For the case that the quotient $q$ of the two diagonal elements of $\mathcal M$ is a rational function, we show that due to the symmetric nature of the matrix $\mathcal M$, the second column in each of the two matrix factors that arise in the factorisation is determined in terms of the first column in each of these matrix factors, by multiplication by a rational matrix, and we give a method for determining the second columns of these factors. We illustrate our method with two examples in the context of a Riemann-Hilbert approach to obtaining solutions to the Einstein field equations.

AG-2024.06-2350

math.FA

Infinite dimensional dynamical maps

Bihalan Bhattacharya, Uwe Franz, Saikat Patra, Ritabrata Sengupta

Completely positive trace preserving maps are widely used in quantum information theory. These are mostly studied using the master equation perspective. A central part in this theory is to study whether a given system of dynamical maps $\{Λ_t: t \ge 0\}$ is Markovian or non-Markovian. We study the problem when the underlying Hilbert space is of infinite dimensional. We construct a sufficient condition for checking P (resp. CP) divisibility of dynamical maps. We construct several examples where the underlying Hilbert space may not be of finite dimensional. We also give a special emphasis on Gaussian dynamical maps and get a version of our result in it.

AG-2024.05-2161

math.FA

A metaplectic perspective of uncertainty principles in the Linear Canonical Transform domain

Nuno Costa Dias, Maurice de Gosson, João Nuno Prata

We derive Heisenberg uncertainty principles for pairs of Linear Canonical Transforms of a given function, by resorting to the fact that these transforms are just metaplectic operators associated with free symplectic matrices. The results obtained synthesize and generalize previous results found in the literature, because they apply to all signals, in arbitrary dimension and any metaplectic operator (which includes Linear Canonical Transforms as particular cases). Moreover, we also obtain a generalization of the Robertson-Schrödinger uncertainty principle for Linear Canonical Transforms. We also propose a new quadratic phase-space distribution, which represents a signal along two intermediate directions in the time-frequency plane. The marginal distributions are always non-negative and permit a simple interpretation in terms of the Radon transform. We also give a geometric interpretation of this quadratic phase-space representation as a Wigner distribution obtained upon Weyl quantization on a non-standard symplectic vector space. Finally, we derive the multidimensional version of the Hardy uncertainty principle for metaplectic operators and the Paley-Wiener theorem for Linear Canonical Transforms.

AG-2024.05-1818

math.FA

The Spectral Gap of a Gaussian Quantum Markovian Generator

Franco Fagnola, Damiano Poletti, Emanuela Sasso, Veronica Umanità

Gaussian quantum Markov semigroups are the natural non-commutative extension of classical Ornstein-Uhlenbeck semigroups. They arise in open quantum systems of bosons where canonical non-commuting random variables of positions and momenta come into play. If there exits a faithful invariant density we explicitly compute the optimal exponential convergence rate, namely the spectral gap of the generator, in non-commutative $L^2$ spaces determined by the invariant density showing that the exact value is the lowest eigenvalue of a certain matrix determined by the diffusion and drift matrices. The spectral gap turns out to depend on the non-commutative $L^2$ space considered, whether the one determined by the so-called GNS or KMS multiplication by the square root of the invariant density. In the first case, it is strictly positive if and only if there is the maximum number of linearly independent noises. While, we exhibit explicit examples in which it is strictly positive only with KMS multiplication. We do not assume any symmetry or quantum detailed balance condition with respect to the invariant density.

AG-2024.04-1655

math.FA

Majorization in some symplectic weak supermajorizations

Shaowu Huang, Hemant K. Mishra

Symplectic eigenvalues are known to satisfy analogs of several classic eigenvalue inequalities. Of these is a set of weak supermajorization relations concerning symplectic eigenvalues that are weaker analogs of some majorization relations corresponding to eigenvalues. The aim of this letter is to establish necessary and sufficient conditions for the saturation of the symplectic weak supermajorization relations by majorization.

AG-2024.03-1919

math.FA

Orthosymplectic diagonalization in Williamson's theorem

Hemant K. Mishra

In this paper, we provide an algebraic condition on any $2n \times 2n$ real symmetric positive definite matrix which is necessary and sufficient for the matrix to be diagonalized by an orthosymplectic matrix in the sense of Williamson's theorem.

AG-2024.02-2022

math.FA

Log-majorization and matrix norm inequalities with application to quantum information

Fumio Hiai

We are concerned with log-majorization for matrices in connection with the multivariate Golden--Thompson trace inequality and the Karcher mean (i.e., a multivariate extension of the weighted geometric mean). We show an extension of Araki's log-majorization and apply it to the $α$-$z$-Rényi divergence in quantum information. We discuss the equality cases in the multivariate trace inequality of Golden--Thompson type and in the norm inequality for the Karcher mean. The paper includes an appendix to correct the proof of the author's old result on the equality case in the norm inequality for the weighted geometric mean.

AG-2024.01-1924

math.FA

From the Choi Formalism in Infinite Dimensions to Unique Decompositions of Generators of Completely Positive Dynamical Semigroups

Frederik vom Ende

Given any separable complex Hilbert space, any trace-class operator $B$ which does not have purely imaginary trace, and any generator $L$ of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a unique bounded operator $K$ and a unique completely positive map $Φ$ such that (i) $L=K(\cdot)+(\cdot)K^*+Φ$, (ii) the superoperator $Φ(B^*(\cdot)B)$ is trace class and has vanishing trace, and (iii) ${\rm tr}(B^*K)$ is a real number. Central to our proof is a modified version of the Choi formalism which relates completely positive maps to positive semi-definite operators. We characterize when this correspondence is injective and surjective, respectively, which in turn explains why the proof idea of our main result cannot extend to non-separable Hilbert spaces. In particular, we find examples of positive semi-definite operators which have empty pre-image under the Choi formalism as soon as the underlying Hilbert space is infinite-dimensional.

AG-2024.01-1478

math.FA

Intertwining Curvature Bounds for Graphs and Quantum Markov Semigroups

Florentin Münch, Melchior Wirth, Haonan Zhang

Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finite weighted graphs and graphs with Laplacians admitting nice mapping representations, as well as generalized dephasing semigroups and quantum Markov semigroups whose generators are formed by commuting jump operators. By improving on the best-known bounds for entropic curvature of depolarizing semigroups, we demonstrate that there can be a gap between the optimal intertwining and entropic curvature bound. In the case of qubits, this improved entropic curvature bound implies the modified logarithmic Sobolev inequality with optimal constant.

AG-2015.05-1664

math.FA

Weak Markov Processes as Linear Systems

Rolf Gohm

A noncommutative Fornasini-Marchesini system (a multi-variable version of a linear system) can be realized within a weak Markov process (a model for quantum evolution). For a discrete time parameter the resulting structure is worked out systematically and some quantum mechanical interpretations are given. We introduce subprocesses and quotient processes and then the notion of a $γ$-extension for processes which leads to a complete classification of all the ways in which processes can be built from subprocesses and quotient processes. We show that within a $γ$-extension we have a cascade of noncommutative Fornasini-Marchesini systems. We study observability in this setting and as an application we gain new insights into stationary Markov chains where observability for the system is closely related to asymptotic completeness in a scattering theory for the chain.

AG-2015.04-1197

math.FA

Integral triangular operators and Friedrichs model

Lev Sakhnovich

In the present paper we investigate a semi-group of triangular integral operators $V_β$, which is an analogue of the semi-group of the fractional integral operators $J^β$. With the help of these semi-groups, we construct and study two classes of triangular Friedrichs models $A_β$ and $B_β$, respectively. Using generalized wave operators we prove that $A_β$ and $B_β$ are linearly similar to a self-adjoint operator with absolutely continuous spectrum.

AG-2015.04-1012

math.FA

Nonlinear Maximal Monotone Extensions of Symmetric Operators

Andrea Posilicano

Given a linear semi-bounded symmetric operator $S\ge -ω$, we explicitly define, and provide their nonlinear resolvents, nonlinear maximal monotone operators $A_Θ$ of type $λ>ω$ (i.e. generators of one-parameter continuous nonlinear semi-groups of contractions of type $λ$) which coincide with the Friedrichs extension of $S$ on a convex set containing ${\mathscr D}(S)$. The extension parameter $Θ\subset{\mathfrak h}\times{\mathfrak h}$ ranges over the set of nonlinear maximal monotone relations on an auxiliary Hilbert space $\mathfrak h$ isomorphic to the deficiency subspace of $S$. Moreover $A_Θ+λ$ is a sub-potential operator (i.e. is the sub-differential of a lower semicontinuos convex function) whenever $Θ$ is sub-potential. Examples describing Laplacians with nonlinear singular perturbations supported on null sets and Laplacians with nonlinear boundary conditions on a bounded set are given.

AG-2015.04-689

math.FA

The Jones Strong Distribution Banach Spaces

Tepper L. Gill

In this note, we introduce a new class of separable Banach spaces, ${SD^p}[{\mathbb{R}^n}],\;1 \leqslant p \leqslant \infty$, which contain each $L^p$-space as a dense continuous and compact embedding. They also contain the nonabsolutely integrable functions and the space of test functions ${\mathcal{D}}[{\mathbb{R}^n}]$, as dense continuous embeddings. These spaces have the remarkable property that, for any multi-index $α, \; \left\| {{D^α}{\mathbf{u}}} \right\|_{SD} = \left\| {\mathbf{u}} \right\|_{SD}$, where $D$ is the distributional derivative. We call them Jones strong distribution Banach spaces because of the crucial role played by two special functions introduced in his book (see \cite{J}, page 249). After constructing the spaces, we discuss their basic properties and their relationship to ${\mathcal{D}}[{\mathbb{R}^n}]$ and ${\mathcal{D'}}[{\mathbb{R}^n}]$. As an application, we obtain new a priori bounds for the Navier-Stokes equation.

AG-2015.04-035

math.FA

On the Subadditivity of the Entropy on the Sphere

Amit Einav

We present a refinement of a known entropic inequality on the sphere, finding suitable conditions under which the uniform probability measure on the sphere behaves asymptomatically like the Gaussian measure on $\mathbb{R}^N$ with respect to the entropy.

AG-2015.03-1729

math.FA

The closedness of the generator of a semigroup

George Androulakis, Matthew Ziemke

We study semigroups of bounded operators on a Banach space such that the members of the semigroup are continuous with respect to various weak topologies and we give sufficient conditions for the generator of the semigroup to be closed with respect to the topologies involved. The proofs of these results use the Laplace transforms of the semigroup. Thus we first give sufficient conditions for Pettis integrability of vector valued functions with respect to scalar measures.

AG-2015.03-1210

math.FA

On a problem in eigenvalue perturbation theory

Fritz Gesztesy, Sergey N. Naboko, Roger Nichols

We consider additive perturbations of the type $K_t=K_0+tW$, $t\in [0,1]$, where $K_0$ and $W$ are self-adjoint operators in a separable Hilbert space $\mathcal{H}$ and $W$ is bounded. In addition, we assume that the range of $W$ is a generating (i.e., cyclic) subspace for $K_0$. If $λ_0$ is an eigenvalue of $K_0$, then under the additional assumption that $W$ is nonnegative, the Lebesgue measure of the set of all $t\in [0,1]$ for which $λ_0$ is an eigenvalue of $K_t$ is known to be zero. We recall this result with its proof and show by explicit counterexample that the nonnegativity assumption $W\geq 0$ cannot be removed.

AG-2015.03-653

math.FA

On weakly D-differentiable operators

Erik Christensen

For an unbounded self-adjoint operator D on a Hilbert space H and a bounded operator a on H we say that a is weakly D-differentiable if for any pair of vectors x, y in H the function <exp(itD) a exp(-itD)x, y> is differentiable at t =0. We find several conditions which are all equivalent to weak D-differentiability.

AG-2015.02-662

math.FA

Self-Adjointness criterion for operators in Fock spaces

Marco Falconi

In this paper we provide a criterion of essential self-adjointness for operators in the tensor product of a separable Hilbert space and a Fock space. The class of operators we consider may contain a self-adjoint part, a part that preserves the number of Fock space particles and a non-diagonal part that is at most quadratic with respect to the creation and annihilation operators. The hypotheses of the criterion are satisfied in several interesting applications.

AG-2015.01-1718

math.FA

Symbol calculus of square-integrable operator-valued maps

I. Beltita, D. Beltita, M. Mantoiu

We develop an abstract framework for the investigation of quantization and dequantization procedures based on orthogonality relations that do not necessarily involve group representations. To illustrate the usefulness of our abstract method we show that it behaves well with respect to the infinite tensor products. This construction subsumes examples coming from the study of magnetic Weyl calculus, the magnetic pseudo-differential Weyl calculus, the metaplectic representation on locally compact abelian groups, irreducible representations associated with finite-dimensional coadjoint orbits of some special infinite-dimensional Lie groups, and the square-integrability properties shared by arbitrary irreducible representations of nilpotent Lie groups.

AG-2015.01-687

math.FA

Some measure-theoretic properties of generalized means

Irina Navrotskaya, Patrick J. Rabier

If $Λ$ is a measure space, $u:Λ^{m}\rightarrow \Bbb{R}$ is a given function and $N\geq m,$ the function $U(x_{1},...,x_{N})=\left( \begin{array}{l} N \\ m \end{array} \right) ^{-1}\sum_{1\leq i_{1}<\cdots <i_{m}\leq N}u(x_{i_{1}},...,x_{i_{m}}) $ is called the generalized $N$-mean with kernel $u,$ a terminology borrowed from $U$-statistics. Physical potentials for systems of particles are also defined by generalized means. This paper investigates whether various measure-theoretic concepts for generalized $N$-means are equivalent to the analogous concepts for their kernels: a.e. convergence of sequences, measurability, essential boundedness and integrability with respect to absolutely continuous probability measures. The answer is often, but not always, positive. This information is crucial in some problems addressing the existence of generalized means satisfying given conditions, such as the classical Inverse Problem of statistical physics (in the canonical ensemble).

AG-2014.12-2061

math.FA

Around Ovsyannikov&#39;s method

Dmitri Finkelshtein

We study existence, uniqueness, and a limiting behaviour of solutions to an abstract linear evolution equation in a scale of Banach spaces. The generator of the equation is a perturbation of the operator which satisfies the classical assumptions of Ovsyannikov&#39;s method by a generator of a C_0-semigroup acting in each of the spaces of the scale. The results are (slightly modified) abstract version of those considered in [Math. Models Methods Appl. Sci., 25, 2, 2015, pp.343-370] for a particular equation. An application to a birth-and-death stochastic dynamics in the continuum is considered.

AG-2014.12-1523

math.FA

Mild solutions to a measure-valued mass evolution problem with flux boundary conditions

Joep H. M. Evers, Sander C. Hille, Adrian Muntean

We investigate the well-posedness and approximation of mild solutions to a class of linear transport equations on the unit interval $[0,1]$ endowed with a linear discontinuous production term, formulated in the space $\mathcal{M}([0,1])$ of finite Borel measures. Our working technique includes a detailed boundary layer analysis in terms of a semigroup representation of solutions in spaces of measures able to cope with the passage to the singular limit where thickness of the layer vanishes. We obtain not only a suitable concept of solutions to the chosen measure-valued evolution problem, but also derive convergence rates for the approximation procedure and get insight in the structure of flux boundary conditions for the limit problem.

AG-2014.12-1186

math.FA

Rigged Hilbert spaces and inductive limits

S. A. Pol&#39;shin

We construct a nuclear space $Φ$ as an inductive limit of finite-dimensional subspaces of a Hilbert space $H$ in such a way that $(Φ,H,Φ&#39;)$ becomes a rigged Hilbert space, thus simplifying the construction by Bellomonte and Trapani.

AG-2014.12-726

math.FA

Global properties of Dirichlet forms in terms of Green&#39;s formula

Sebastian Haeseler, Matthias Keller, Daniel Lenz, Jun Masamune, Marcel Schmidt

We study global properties of Dirichlet forms such as uniqueness of the Dirichlet extension, stochastic completeness and recurrence. We characterize these properties by means of vanishing of a boundary term in Green&#39;s formula for functions from suitable function spaces and suitable operators arising from extensions of the underlying form. We first present results in the framework of general Dirichlet forms on $σ$-finite measure spaces. For regular Dirichlet forms our results can be strengthened as all operators from the previous considerations turn out to be restrictions of a single operator. Finally, the results are applied to graphs, weighted manifolds, and metric graphs, where the operators under investigation can be determined rather explicitly.

AG-2014.10-3550

math.FA

Spectral Meromorphic Operators and Nonlinear Systems

P. G. Grinevich, S. Novikov

We study here class of 1D spectral-meromorphic (s-meromorphic) OD operators $L=\partial_x^n+\sum_{n-2\geq i\geq 0}a_{n-2-i}\partial_x^i$ with meromorphic coefficients $a_j$ near $x\in R$ such that all eigenfunctions $Lψ=αψ$ are $x$--meromorphic near $x\in R$ for all $α$. Symmetric $s$-meromorphic operators are self-adjoint with respect to indefinite inner product well-defined for some special spaces of singular functions. In particular, all algebraic operators $L$--i.e. operators entering Burchnall-Chaundy-Krichever (BChK) rank one commutative rings -- are s-meromorphic. For KdV system corresponding algebraic operator $L=-\partial_x^2+u(x,t)$ is called singular finite gap, singular soliton or algebrogeometric Schrodinger operator. This special case was already studied by the present authors in the recent works.

AG-2014.10-270

math.FA

Infinite Random Matrices and Ergodic decomposition of Finite or Infinite Hua-Pickrell measures

Yanqi Qiu

The ergodic decomposition of a family of Hua-Pickrell measures on the space of infinite Hermitian matrices is studied. Firstly, we show that the ergodic components of Hua-Pickrell probability measures have no Gaussian factors, this extends a result of Alexei Borodin and Grigori Olshanski. Secondly, we show that the sequence of asymptotic eigenvalues of Hua-Pickrell random matrices is balanced in certain sense and has a &#34;principal value&#34; coincides with the $γ_1$ parameter of ergodic components. This allow us to complete the program of Borodin and Olshanski on the description of the ergodic decomposition of Hua-Pickrell probability measures. Finally, we extend the aforesaid results to the case of infinite Hua-Pickrell measues. By using the theory of $σ$-finite infinite determinantal measures recently introduced by A. I. Bufetov, we are able to identify the ergodic decomposition of Hua-Pickrell infinite measures to some explicit $σ$-finite determinantal measures on the space of point configurations in $\mathbb{R}^*$. The paper resolves a problem of Borodin and Olshanski.

AG-2014.09-1125

math.FA

Spectra of Abelian C*-Subalgebra Sums

Christian Fleischhack

Let $C_b(X)$ be the C*-algebra of bounded continuous functions on some non-compact, but locally compact Hausdorff space $X$. Moreover, let $A_0$ be some ideal and $A_1$ be some unital C*-subalgebra of $C_b(X)$. For $A_0$ and $A_1$ having trivial intersection, we show that the spectrum of their vector space sum equals the disjoint union of their individual spectra, whereas their topologies are nontrivially interwoven. Indeed, they form a so-called twisted-sum topology which we will investigate before. Within the whole framework, e.g., the one-point compactification of $X$ and the spectrum of the algebra of asymptotically almost periodic functions can be described.

AG-2014.09-2808

math.FA

Real numerical shadow and generalized B-splines

Charles F. Dunkl, Piotr Gawron, Łukasz Pawela, Zbigniew Puchała, Karol Życzkowski

Restricted numerical shadow $P^X_A(z)$ of an operator $A$ of order $N$ is a probability distribution supported on the numerical range $W_X(A)$ restricted to a certain subset $X$ of the set of all pure states - normalized, one-dimensional vectors in ${\mathbb C}^N$. Its value at point $z \in {\mathbb C}$ equals to the probability that the inner product $< u |A| u >$ is equal to $z$, where $u$ stands for a random complex vector from the set $X$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini-Study measure. For a Hermitian operator $A$ of order $N$ we derive an explicit formula for its shadow restricted to real states, $P^{\mathbb R}_A(x)$, show relation of this density to the Dirichlet distribution and demonstrate that it forms a generalization of the $B$-spline. Furthermore, for operators acting on a space with tensor product structure, ${\cal H}_A \otimes {\cal H}_B$, we analyze the shadow restricted to the set of maximally entangled states and derive distributions for operators of order N=4.

AG-2014.09-061

math.FA

Spectral problems for non elliptic symmetric systems with dissipative boundary conditions

Ferruccio Colombini, Vesselin Petkov, Jeffrey Rauch

This paper considers and extends spectral and scattering theory to dissipative symmetric systems that may have zero speeds and in particular to strictly dissipative boundary conditions for Maxwell&#39;s equations. Consider symmetric systems $\partial_t - \sum_{j=1}^n A_j \partial_{x_j}$ in ${\mathbb R}^n,\: n \geq 3$, $n$ odd, in a smooth connected exterior domain $Ω:= {\mathbb R}^n \setminus \bar{K}$. Assume that the rank of $A(ξ) = \sum_{j= 1}^n A_j ξ_j$ is constant for $ξ\not= 0.$ For maximally dissipative boundary conditions on $Ω:={\mathbb R}^n \setminus \bar{K}$ with bounded open domain $K$ the solution of the boundary problem in ${\mathbb R}^{+} \times Ω$ is described by a contraction semigroup $V(t) = e^{t G_b},\:t \geq 0.$ Assuming coercive conditions for $G_b$ and its adjoint $G_b^*$ on the complement of their kernels, we prove that the spectrum of $G_b$ in the open half plane $\Re z < 0$ is formed only by isolated eigenvalues with finite multiplicities.

AG-2014.08-1731

math.FA

On a Block Matrix Inequality quantifying the Monogamy of the Negativity of Entanglement

Koenraad M. R. Audenaert

We convert a conjectured inequality from quantum information theory, due to He and Vidal, into a block matrix inequality and prove a special case. Given $n$ matrices $A_i$, $i=1,\ldots,n$, of the same size, let $Z_1$ and $Z_2$ be the block matrices $Z_1:=(A_jA_i^*)_{i,j=1}^n$ and $Z_2:=(A_j^*A_i)_{i,j=1}^n$. Then the conjectured inequality is \[ \left(||Z_1||_1-\trace Z_1\right)^2 + \left(||Z_2||_1-\trace Z_2\right)^2 \le \left(\sum_{i\neq j} ||A_i||_2 ||A_j||_2\right)^2. \] We prove this inequality for the already challenging case $n=2$ with $A_1$ equal to the identity matrix.

AG-2014.08-1622

math.FA

A Jost-Pais-type reduction of (modified) Fredholm determinants for semi-separable operators in infinite dimensions

Fritz Gesztesy, Roger Nichols

We study the analog of semi-separable integral kernels in $\mathcal{H}$ of the type $$ K(x,x&#39;)=\begin{cases} F_1(x)G_1(x&#39;), & a<x&#39;< x< b, \\ F_2(x)G_2(x&#39;), & a<x<x&#39;<b, \end{cases} $$ where $-\infty\leq a<b\leq \infty$, and for a.e.\ $x \in (a,b)$, $F_j (x) \in \mathcal{B}_2(\mathcal{H}_j,\mathcal{H})$ and $G_j(x) \in \mathcal{B}_2(\mathcal{H},\mathcal{H}_j)$ such that $F_j(\cdot)$ and $G_j(\cdot)$ are uniformly measurable, and $$ \|F_j(\cdot)\|_{\mathcal{B}_2(\mathcal{H}_j,\mathcal{H})} \in L^2((a,b)), \; \|G_j (\cdot)\|_{\mathcal{B}_2(\mathcal{H},\mathcal{H}_j)} \in L^2((a,b)), \quad j=1,2, $$ with $\mathcal{H}$ and $\mathcal{H}_j$, $j=1,2$, complex, separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a Hilbert-Schmidt operator $\mathbf{K}$ in $L^2((a,b);\mathcal{H})$, we derive the analog of the Jost-Pais reduction theory that succeeds in proving that the modified Fredholm determinant ${\det}_{2, L^2((a,b);\mathcal{H})}(\mathbf{I} - α\mathbf{K})$, $α\in \mathbb{C}$, naturally reduces to appropriate Fredholm determinants in the Hilbert spaces $\mathcal{H}$ (and $\mathcal{H} \oplus \mathcal{H}$). Some applications to Schrödinger operators with operator-valued potentials are provided.

AG-2014.07-1498

math.FA

Variational problems with percolation: rigid spin systems

G. Scilla

In this paper we describe the asymptotic behavior of rigid spin lattice energies by exhibiting a continuous interfacial limit energy as scaling to zero the lattice spacing. The limit is not trivial below a percolation threshold: it can be characterized by two phases separated by an interface. The macroscopic surface tension at this interface is defined through a first-passage percolation formula, related to the chemical distance on the square lattice. We also show a continuity result, that is the homogenization of rigid spin system is a limit case of the elliptic random homogenization.

AG-2014.07-1185

math.FA

Renormalized-Generalized Solutions for the KPZ Equation

P. Catuogno, C. Olivera

This work introduces a new notion of solution for the KPZ equation, in particular, our approach encompasses the Cole-Hopf solution. We set in the context of the distribution theory the proposed results by Bertini and Giacomin from the mid 90&#39;s. This new approach provides a pathwise notion of solution as well as a structured approximation theory. The developments are based on regularization arguments from the theory of distributions.

AG-2014.07-2995

math.FA

Continuous and holomorphic functions with values in closed operators

Jan Dereziński, Michał Wrochna

We systematically derive general properties of continuous and holomorphic functions with values in closed operators, allowing in particular for operators with empty resolvent set. We provide criteria for a given operator-valued function to be continuous or holomorphic. This includes sufficient conditions for the sum and product of operator-valued holomorphic functions to be holomorphic. Using graphs of operators, operator-valued functions are identified with functions with values in subspaces of a Banach space. A special role is thus played by projections onto closed subspaces of a Banach space, which depend holomorphically on a parameter.

AG-2014.07-589

math.FA

Hamiltonians with purely discrete spectrum

Vladimir Georgescu

We discuss criteria for a self-adjoint operator on L^2(X) to have empty essential spectrum. We state a general result for the case of a locally compact abelian group X and give examples for X=R^n.

AG-2014.07-326

math.FA

Time-ordered exponential on the complex plane and Gell-Mann -- Low formula as a mathematical theorem

Shinichiro Futakuchi, Kouta Usui

The time-ordered exponential representation of a complex time evolution operator in the interaction picture is studied. Using the complex time evolution, we prove the Gell-Mann -- Low formula under certain abstract conditions, in mathematically rigorous manner. We apply the abstract results to quantum electrodynamics with cutoffs.

AG-2014.06-1077

math.FA

Kato&#39;s theorem on the integration of non-autonomous linear evolution equations

Jochen Schmid, Marcel Griesemer

This paper is devoted to a comparison of early works of Kato and Yosida on the integration of non-autonomous linear evolution equations $\dot{x} = A(t)x$ in Banach space, where the domain $D$ of $A(t)$ is independent of $t$. Our focus is on the regularity assumed of $t\mapsto A(t)$ and our main objective is to clarify the meaning of the rather involved set of assumptions given in Yosida&#39;s classic and highly influential \emph{Functional Analysis}. We prove Yosida&#39;s assumptions to be equivalent to Kato&#39;s condition that $t\mapsto A(t)x$ is continuously differentiable for each $x\in D$.

AG-2014.06-2000

math.FA

Mathematical and physical aspects of complex symmetric operators

Stephan Ramon Garcia, Emil Prodan, Mihai Putinar

Recent advances in the theory of complex symmetric operators are presented and related to current studies in non-hermitian quantum mechanics. The main themes of the survey are: the structure of complex symmetric operators, $C$-selfadjoint extensions of $C$-symmetric unbounded operators, resolvent estimates, reality of spectrum, bases of $C$-orthonormal vectors, and conjugate-linear symmetric operators. The main results are complemented by a variety of natural examples arising in field theory, quantum physics, and complex variables.

AG-2014.05-817

math.FA

An operator-theoretical treatment of the Maskawa-Nakajima equation in the massless abelian gluon model

Shuji Watanabe

The Maskawa-Nakajima equation has attracted considerable interest in elementary particle physics. From the viewpoint of operator theory, we study the Maskawa-Nakajima equation in the massless abelian gluon model. We first show that there is a nonzero solution to the Maskawa-Nakajima equation when the parameter $λ$ satisfies $λ>2$. Moreover, we show that the solution is infinitely differentiable and strictly decreasing. We thus conclude that the massless abelian gluon model generates the nonzero quark mass spontaneously and exhibits the spontaneous chiral symmetry breaking when $λ>2$. We next show that there is a unique solution $0$ to the Maskawa-Nakajima equation when $0<λ<1$, from which we conclude that each quark remains massless and that the model realizes the chiral symmetry when $0<λ<1$.

AG-2014.05-655

math.FA

Diffusion determines the recurrent graph

Matthias Keller, Daniel Lenz, Marcel Schmidt, Melchior Wirth

We consider diffusion on discrete measure spaces as encoded by Markovian semigroups arising from weighted graphs. We study whether the graph is uniquely determined if the diffusion is given up to order isomorphism. If the graph is recurrent then the complete graph structure and the measure space are determined (up to an overall scaling). As shown by counterexamples this result is optimal. Without the recurrence assumption, the graph still turns out to be determined in the case of normalized diffusion on graphs with standard weights and in the case of arbitrary graphs over spaces in which each point has the same mass. These investigations provide discrete counterparts to studies of diffusion on Euclidean domains and manifolds initiated by Arendt and continued by Arendt/Biegert/ter Elst and Arendt/ter Elst. A crucial step in our considerations shows that order isomorphisms are actually unitary maps (up to a scaling) in our context.

AG-2014.05-301

math.FA

Some Operator Bounds Employing Complex Interpolation Revisited

Fritz Gesztesy, Yuri Latushkin, Fedor Sukochev, Yuri Tomilov

We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol Σ= \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$, $j=1,2$. We particularly single out the case of self-adjoint and sectorial operators $T_j$ in some separable complex Hilbert space $\cH_j$, $j=1,2$, and suppose that $S$ (resp., $S^*$) is a densely defined closed operator mapping $\dom(S) \subseteq \cH_1$ into $\cH_2$ (resp., $\dom(S^*) \subseteq \cH_2$ into $\cH_1$), relatively bounded with respect to $T_1$ (resp., $T_2^*$). Using complex interpolation methods, a generalized polar decomposition for $S$, and Heinz&#39;s inequality, the bounds we establish lead to inequalities of the following type, \begin{align*} & \big\|\ol{T_2^{-x}ST_1^{-1+x}}\big\|_{\cB(\cH_1,\cH_2)} \leq N_1 N_2 e^{(θ_1 + θ_2) [x(1-x)]^{1/2}} \\ & \quad \times \big\|ST_1^{-1}\big\|_{\cB(\cH_1,\cH_2)}^{1-x} \, \big\|S^*(T_2^*)^{-1}\big\|_{\cB(\cH_2,\cH_1)}^{x}, \quad x \in [0,1], \end{align*} assuming that $T_j$ have bounded imaginary powers, that is, for some $N_j\ge 1$ and $θ_j \ge 0,$ $$ \big\|T_j^{is}\big\|_{\cB(\cH)} \leq N_j e^{θ_j |s|}, \quad s \in \bbR, \; j=1,2. $$ We also derive analogous bounds with $\cB(\cH_1,\cH_2)$ replaced by trace ideals, $\cB_p(\cH_1, \cH_2)$, $p \in [1,\infty)$. The methods employed are elementary, predominantly relying on Hadamard&#39;s three-lines theorem and Heinz&#39;s inequality.

AG-2014.04-1152

math.FA

A Jost-Pais-type reduction of Fredholm determinants and some applications

Alan Carey, Fritz Gesztesy, Denis Potapov, Fedor Sukochev, Yuri Tomilov

We study the analog of semi-separable integral kernels in $\cH$ of the type {equation*} K(x,x&#39;)={cases} F_1(x)G_1(x&#39;), & a<x&#39;< x< b, \\ F_2(x)G_2(x&#39;), & a<x<x&#39;<b, {cases} {equation*} where $-\infty\leq a<b\leq \infty$, and for a.e.\ $x \in (a,b)$, $F_j (x) \in \cB_2(\cH_j,\cH)$ and $G_j(x) \in \cB_2(\cH,\cH_j)$ such that $F_j(\cdot)$ and $G_j(\cdot)$ are uniformly measurable, and {equation*} \|F_j(\cdot)\|_{\cB_2(\cH_j,\cH)} \in L^2((a,b)), \; \|G_j (\cdot)\|_{\cB_2(\cH,\cH_j)} \in L^2((a,b)), \quad j=1,2, {equation*} with $\cH$ and $\cH_j$, $j=1,2$, complex, separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a trace class operator $\bsK$ in $L^2((a,b);\cH)$, we derive the analog of the Jost-Pais reduction theory that succeeds in proving that the Fredholm determinant ${\det}_{L^2((a,b);\cH)}(\bsI - α\bsK)$, $α\in \bbC$, naturally reduces to appropriate Fredholm determinants in the Hilbert spaces $\cH$ (and $\cH_1 \oplus \cH_2$). Explicit applications of this reduction theory are made to Schrödinger operators with suitable bounded operator-valued potentials. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.

AG-2014.04-624

math.FA

A Dynamics Driven by Repeated Harmonic Perturbations

Hiroshi Tamura, Valentin Zagrebnov

We propose an exactly soluble W*-dynamical system generated by repeated harmonic perturbations of the one-mode quantum oscillator. In the present paper we deal with the case of isolated system. Although dynamics is Hamiltonian and quasi-free, it produces relaxation of initial state of the system to the steady state in the large-time limit. The relaxation is accompanied by the entropy production and we found explicitly the rate for it. Besides, we study evolution of subsystems to elucidate their eventual correlations and convergence to equilibrium state. Finally we prove a universality of the dynamics driven by repeated harmonic perturbations in a certain short-time interaction limit.

AG-2014.04-2523

math.FA

Channel capacities via $p$-summing norms

Marius Junge, Carlos Palazuelos

In this paper we show how \emph{the metric theory of tensor products} developed by Grothendieck perfectly fits in the study of channel capacities, a central topic in \emph{Shannon&#39;s information theory}. Furthermore, in the last years Shannon&#39;s theory has been generalized to the quantum setting to let the \emph{quantum information theory} step in. In this paper we consider the classical capacity of quantum channels with restricted assisted entanglement. In particular these capacities include the classical capacity and the unlimited entanglement-assisted classical capacity of a quantum channel. To deal with the quantum case we will use the noncommutative version of $p$-summing maps. More precisely, we prove that the (product state) classical capacity of a quantum channel with restricted assisted entanglement can be expressed as the derivative of a completely $p$-summing norm.

AG-2014.03-1820

math.FA

A smooth, complex generalization of the Hobby-Rice theorem

Oleg Lazarev, Elliott H. Lieb

The Hobby-Rice Theorem states that, given $n$ functions $f_j$ on ${\mathbb{R}}^N$, there exists a multiplier $h$ such that the integrals of $f_jh$ are all simultaneously zero. This multiplier takes values~$\pm1$ and is discontinuous. We show how to find a multiplier $h=e^{ig}$ that is infinitely differentiable, takes values on the unit circle, and is such that the integrals of $f_jh$ are all zero. We also show the existence of $n$ infinitely differentiable, real functions $g_j$ such that the $n$ functions $f_j e^{ig_j}$ are pairwise orthogonal.

AG-2014.02-1249

math.FA

A new approach to the Fourier analysis on semi-direct products of groups

Arash Ghaani Farashahi

Let $H$ and $K$ be locally compact groups and also $τ:H\to Aut(K)$ be a continuous homomorphism and $G_τ=H\ltimes_τK$ be the semi-direct product of $H$ and $K$ with respect to the continuous homomorphism $τ$. This paper presents a novel approach to the Fourier analysis of $G_τ$, when $K$ is abelian. We define the $τ$-dual group $G_{\hatτ}$ of $G_τ$ as the semi-direct product $H\ltimes_{\hatτ}\hat{K}$, where $\hatτ:H\to Aut(\hat{K})$ defined via (\ref{A}). We prove a Ponterjagin duality Theorem and also we study $τ$-Fourier transforms on $G_τ$. As a concrete application we show that how these techniques apply for the affine group and also we compute the $τ$-dual group of Euclidean groups and the Weyl-Heisenberg groups.

AG-2014.02-704

math.FA

Spectral properties of compact normal quaternionic operators

Riccardo Ghiloni, Valter Moretti, Alessandro Perotti

General, especially spectral, features of compact normal operators in quaternionic Hilbert spaces are studied and some results are established which generalize well-known properties of compact normal operators in complex Hilbert spaces. More precisely, it is proved that the norm of such an operator always coincides with the maximum of the set of absolute values of the eigenvalues (exploiting the notion of spherical eigenvalue). Moreover the structure of the spectral decomposition of a generic compact normal operator $T$ is discussed also proving a spectral characterization theorem for compact normal operators.

AG-2014.02-2559

math.FA

Statistical dynamics of continuous systems: perturbative and approximative approaches

Dmitri Finkelshtein, Yuri Kondratiev, Oleksandr Kutoviy

We discuss general concept of Markov statistical dynamics in the continuum. For a class of spatial birth-and-death models, we develop a perturbative technique for the construction of statistical dynamics. Particular examples of such systems are considered. For the case of Glauber type dynamics in the continuum we describe a Markov chain approximation approach that gives more detailed information about statistical evolution in this model.

AG-2014.01-663

math.FA

Essential spectrum of a fermionic quantum field model

Toshimitsu Takaesu

An interaction system of a fermionic quantum field is considered. The state space is defined by a tensor product space of a fermion Fock space and a Hilbert space. It is assumed that the total Hamiltonian is a self-adjoint operator on the state space and bounded from below. Then it is proven that a subset of real numbers is the essential spectrum of the total Hamiltonian. It is applied to the system of a Dirac field coupled to a Klein-Gordon field. Then the HVZ theorem for the system is obtained.

AG-2014.01-2907

math.FA

A symplectic extension map and a new Shubin class of pseudo-differential operators

Nuno Costa Dias, Maurice A. de Gosson, João Nuno Prata

For an arbitrary pseudo-differential operator $A:\mathcal{S}(\mathbb{R}% ^{n})\longrightarrow\mathcal{S}^{\prime}(\mathbb{R}^{n})$ with Weyl symbol $a\in\mathcal{S}^{\prime}(\mathbb{R}^{2n})$, we consider the pseudo-differential operators $\widetilde{A}:\mathcal{S}(\mathbb{R}% ^{n+k})\longrightarrow\mathcal{S}^{\prime}(\mathbb{R}^{n+k})$ associated with the Weyl symbols $\widetilde{a}=(a\otimes1_{2k})\circ{s}$, where $1_{2k}(x)=1$ for all $x\in\mathbb{R}^{2k}$ and ${s}$ is a linear symplectomorphism of $\mathbb{R}^{2(n+k)}$. We call the operators $\widetilde{A}$ symplectic dimensional extensions of $A$. In this paper we study the relation between $A$ and $\widetilde{A}$ in detail, in particular their regularity, invertibility and spectral properties. We obtain an explicit formula allowing to express the eigenfunctions of $\widetilde{A}$ in terms of those of $A$. We use this formalism to construct new classes of pseudo-differential operators, which are extensions of the Shubin classes $HG_ρ^{m_{1},m_{0}}$ of globally hypoelliptic operators. We show that the operators in the new classes share the invertibility and spectral properties of the operators in $HG_{ρ}^{m_{1},m_{0}}$ but not the global hypoellipticity property. Finally, we study a few examples of operators that belong to the new classes and which are important in mathematical physics.

AG-2014.01-425

math.FA

Embedding Theorems for the Dunkl Harmonic Oscillator on the Line

Jesús A. Álvarez López, Manuel Calaza

Embedding results of Sobolev type are proved for the Dunkl harmonic oscillator on the line.

AG-2013.11-325

math.FA

On chaoticity of the sum of chaotic shifts with their adjoints in Hilbert space and applications to some chaotic weighted shifts acting on some Fock-Bargmann spaces

Abdelkader Intissar

This article is intended to outline some the recent work by the author on the chaoticity of some specific bakward shift unbounded operators realized as differential operators acting on some Fock-Bargmann spaces and give suficient conditions on a linear unbounded densely defined chaotic shift operator $T$ acting on a Hilbert space for the operator $T+T^*$ to be chaotic where $T^*$ is its adjoint.

AG-2013.10-1825

math.FA

The solution to the BCS gap equation for superconductivity and its temperature dependence

Shuji Watanabe

From the viewpoint of operator theory, we deal with the temperature dependence of the solution to the BCS gap equation for superconductivity. When the potential is a positive constant, the BCS gap equation reduces to the simple gap equation. We first show that there is a unique nonnegative solution to the simple gap equation, that it is continuous and strictly decreasing, and that it is of class $C^2$ with respect to the temperature. We next deal with the case where the potential is not a constant but a function. When the potential is not a constant, we give another proof of the existence and uniqueness of the solution to the BCS gap equation, and show how the solution varies with the temperature. We finally show that the solution to the BCS gap equation is indeed continuous with respect to both the temperature and the energy under a certain condition when the potential is not a constant.

AG-2013.10-2834

math.FA

Global algebras of nonlinear generalized functions with applications in general relativity

Eduard A. Nigsch, Clemens Sämann

We give an overview of the development of algebras of generalized functions in the sense of Colombeau and recent advances concerning diffeomorphism invariant global algebras of generalized functions and tensor fields. We furthermore provide a survey on possible applications in general relativity in light of the limitations of distribution theory.

AG-2013.08-1351

math.FA

On Some Classes of Non-Archimedean Operator Algebras

Anatoly N. Kochubei

We study some classes of algebras of operators on non-Archimedean Banach spaces. In particular, we propose a non-Archimedean version of the crossed product construction.

AG-2013.08-1343

math.FA

Maximizers for Gagliardo-Nirenberg inequalities and related non-local problems

Jacopo Bellazzini, Rupert L. Frank, Nicola Visciglia

In this paper we study the existence of maximizers for two families of interpolation inequalities, namely a generalized Gagliardo-Nirenberg inequality and a new inequality involving the Riesz energy. Two basic tools in our argument are a generalization of Lieb&#39;s Translation Lemma and a Riesz energy version of the Brézis--Lieb lemma.

AG-2013.06-3443

math.FA

On the spectra of fermionic second quantization operators

Shinichiro Futakuchi, Kouta Usui

We derive several formulae for the spectra of the second quantization operators in abstract fermionic Fock spaces.

AG-2013.05-240

math.FA

Symplectic and Hamiltonian Deformations of Gabor Frames

Maurice A. de Gosson

We study symplectic deformations of Gabor frames using the covariance properties of the Heisenberg operators. This allows us to recover in a very simple way known results. We thereafter propose a general deformation scheme by Hamiltonian isotopies, which are paths of Hamiltonian flows. We define and study in detail a weak notion of Hamiltonian deformations, using ideas from semiclassical analysis due to Heller and Hagedorn. This method can be easily implemented using symplectic integrators.

AG-2013.05-111

math.FA

An algebraic construction of quantum flows with unbounded generators

Alexander C. R. Belton, Stephen J. Wills

It is shown how to construct *-homomorphic quantum stochastic Feller cocycles for certain unbounded generators, and so obtain dilations of strongly continuous quantum dynamical semigroups on C* algebras; this generalises the construction of a classical Feller process and semigroup from a given generator. The construction is possible provided the generator satisfies an invariance property for some dense subalgebra A_0 of the C* algebra A and obeys the necessary structure relations; the iterates of the generator, when applied to a generating set for A_0, must satisfy a growth condition. Furthermore, it is assumed that either the subalgebra A_0 is generated by isometries and A is universal, or A_0 contains its square roots. These conditions are verified in four cases: classical random walks on discrete groups, Rebolledo&#39;s symmetric quantum exclusion processes and flows on the non-commutative torus and the universal rotation algebra.

AG-2013.05-164

math.FA

Laplacians on infinite graphs: Dirichlet and Neumann boundary conditions

Sebastian Haeseler, Matthias Keller, Daniel Lenz, Radosław Wojciechowski

We study Laplacians associated to a graph and single out a class of such operators with special regularity properties. In the case of locally finite graphs, this class consists of all selfadjoint, non-negative restrictions of the standard formal Laplacian and we can characterize the Dirichlet and Neumann Laplacians as the largest and smallest Markovian restrictions of the standard formal Laplacian. In the case of general graphs, this class contains the Dirichlet and Neumann Laplacians and we describe how these may differ from each other, characterize when they agree, and study connections to essential selfadjointness and stochastic completeness. Finally, we study basic common features of all Laplacians associated to a graph. In particular, we characterize when the associated semigroup is positivity improving and present some basic estimates on its long term behavior. We also discuss some situations in which the Laplacian associated to a graph is unique and, in this context, characterize its boundedness.

AG-2013.04-1032

math.FA

Spectral gap for the Kac model with hard sphere collisions

Eric A. Carlen, Maria C. Carvalho, Michael Loss

We prove the analog of the Kac conjecture for hard sphere collisions

AG-2013.04-531

math.FA

Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

Ajda Fosner, Zejun Huang, Chi-Kwong Li, Nung-Sing Sze

For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$ are positive integers. It is shown that a linear map $ϕ: M_{mn} \rightarrow M_{mn}$ satisfying $$\|A\otimes B\| = \|ϕ(A\otimes B)\| \quad \hbox{for all} A \in M_m \hbox{and} B \in M_n$$ if and only if there are unitary $U, V \in M_{mn}$ such that $ϕ$ has the form $A\otimes B \mapsto U(φ_1(A) \otimes φ_2(B))V$, where $φ_s(X)$ is either the identity map $X \mapsto X$ or the transposition map $X \mapsto X^t$. The results are extended to tensor space $M_{n_1} \otimes \cdots \otimes M_{n_m}$ of higher level. The connection of the problem to quantum information science is mentioned.

AG-2013.03-2105

math.FA

Continuous slice functional calculus in quaternionic Hilbert spaces

Riccardo Ghiloni, Valter Moretti, Alessandro Perotti

The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator. As properties of the spherical spectrum suggest, the class of continuous functions to consider in this setting is the one of slice quaternionic functions. Slice functions generalize the concept of slice regular function, which comprises power series with quaternionic coefficients on one side and that can be seen as an effective generalization to quaternions of holomorphic functions of one complex variable. The notion of slice function allows to introduce suitable classes of real, complex and quaternionic $C^*$--algebras and to define, on each of these $C^*$--algebras, a functional calculus for quaternionic normal operators. In particular, we establish several versions of the spectral map theorem. Some of the results are proved also for unbounded operators. However, the mentioned continuous functional calculi are defined only for bounded normal operators. Some comments on the physical significance of our work are included.

AG-2013.03-453

math.FA

Concavity of certain matrix trace and norm functions

Fumio Hiai

We refine Epstein&#39;s method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{Φ(A^p)^{1/2}Ψ(B^q)Φ(A^p)^{1/2}}^s$, where $Φ$ and $Ψ$ are positive linear maps. By the same method combined with majorization technique, similar properties are proved for symmetric (anti-) norm functions of the form $||{Φ(A^p)σΨ(B^q)}^s||$ involving an operator mean $σ$. Carlen and Lieb&#39;s variational method is also used to improve the convexity property of norm functions $||Φ(A^p)^s||$.

AG-2013.02-1638

math.FA

Sparse Shape Reconstruction

Alireza Aghasi, Justin Romberg

This paper introduces a new shape-based image reconstruction technique applicable to a large class of imaging problems formulated in a variational sense. Given a collection of shape priors (a shape dictionary), we define our problem as choosing the right elements and geometrically composing them through basic set operations to characterize desired regions in the image. This combinatorial problem can be relaxed and then solved using classical descent methods. The main component of this relaxation is forming certain compactly supported functions which we call &#34;knolls&#34;, and reformulating the shape representation as a basis expansion in terms of such functions. To select suitable elements of the dictionary, our problem ultimately reduces to solving a nonlinear program with sparsity constraints. We provide a new sparse nonlinear reconstruction technique to approach this problem. The performance of proposed technique is demonstrated with some standard imaging problems including image segmentation, X-ray tomography and diffusive tomography.

AG-2013.02-1361

math.FA

Periodic Gibbs Measures for Models with Uncountable Set of Spin Values on a Cayley Tree

U. A. Rozikov, F. H. Haydarov

We consider models with nearest-neighbor interactions and with the set $[0,1]$ of spin values, on a Cayley tree of order $k\geq 1$. We study periodic Gibbs measures of the model with period two. For $k=1$ we show that there is no any periodic Gibbs measure. In case $k\geq 2$ we get a sufficient condition on Hamiltonian of the model with uncountable set of spin values under which the model have not any periodic Gibbs measure with period two. We construct several models which have at least two periodic Gibbs measures.

AG-2013.02-897

math.FA

The automatic additivity of $ξ-$Lie derivations on von Neumann algebras

Zhaofang Bai, Shuanping Du, Yu Guo

Let ${\mathcal M}$ be a von Neumann algebra with no central summands of type I$_1$. It is shown that every nonlinear $ξ-$Lie derivation ($ξ\neq 1$) on $\mathcal M$ is an additive derivation.

AG-2013.01-2607

math.FA

An example of unitary equivalence between self-adjoint extensions and their parameters

Konstantin Pankrashkin

The spectral problem for self-adjoint extensions is studied using the machinery of boundary triplets. For a class of symmetric operators having Weyl functions of a special type we calculate explicitly the spectral projections in the form of operator-valued integrals. This allows one to give a constructive proof of the fact that, in certain intervals, the resulting self-adjoint extensions are unitarily equivalent to a certain parameterizing operator acting in a smaller space, and one is able to provide an explicit form the associated unitary transform. Applications to differential operators on metric graphs and to direct sums are discussed.

AG-2012.12-963

math.FA

The Humbert-Bessel functions, Stirling numbers and probability distributions in coincidence problems

D. Babusci, G. Dattoli, E. Di Palma, E. N. Petropoulou

The Humbert-Bessel are multi-index functions with various applications in electromagnetism. New families of functions sharing some similarities with Bessel functions are often introduced in the mathematical literature, but at a closer analysis they are not new, in the strict sense of the word, and are shown to be expressible in terms of already discussed forms. This is indeed the case of the re-modified Bessel functions, whose properties have been analyzed within the context of coincidence problems in probability theory. In this paper we show that these functions are particular cases of the Humbert-Bessel ones.

AG-2012.12-914

math.FA

Note on basic features of large time behaviour of heat kernels

Matthias Keller, Daniel Lenz, Hendrik Vogt, Radosław Wojciechowski

Large time behaviour of heat semigroups (and more generally, of positive selfadjoint semigroups) is studied. Convergence of the semigroup to the ground state and of averaged logarithms of kernels to the ground state energy is shown in the general framework of positivity improving selfadjoint semigroups. This framework includes Laplacians on manifolds, metric graphs and discrete graphs.

AG-2012.12-2412

math.FA

Toeplitz matrices and Toeplitz determinants under the impetus of the Ising model. Some history and some recent results

P. Deift, A. Its, I. Krasovsky

We review some history and some recent results concerning Toeplitz determinants and their applications. We discuss, in particular, the crucial role of the two-dimensional Ising model in stimulating the development of the theory of Toeplitz determinants.

AG-2012.11-945

math.FA

The multiplicative anomaly of three or more commuting elliptic operators

Victor Castillo-Garate, Eduardo Friedman, Marius Mantoiu

Zeta-regularized determinants are well-known to fail to be multiplicative. Hence one is lead to study the n-fold multiplicative anomaly M_n(A_1,...,A_n) :=\frac{\det_ζ\Big(\prod_{i=1}^n A_i\Big)}{\prod_{i=1}^n \det_ζ(A_i)} attached to n (suitable) operators A_1,...,A_n. We show that if the A_i are commuting pseudo-differential elliptic operators, then their joint multiplicative anomaly can be expressed in terms of the pairwise multiplicative anomalies. Namely M_n(A_1,...,A_n)^{m_1+...+m_n} =\prod_{1\le i<j\le n}M_2(A_i,A_j)^{m_i+m_j}, where m_j is the order of A_j. The proof relies on Wodzicki&#39;s 1987 formula for the pairwise multiplicative anomaly M_2(A,B) of two commuting elliptic operators.

AG-2012.11-111

math.FA

Two-Scale Macro-Micro decomposition of the Vlasov equation with a strong magnetic field

Nicolas Crouseilles, Emmanuel Frenod, Sever Hirstoaga, Alexandre Mouton

In this paper, we build a Two-Scale Macro-Micro decomposition of the Vlasov equation with a strong magnetic field. This consists in writing the solution of this equation as a sum of two oscillating functions with circonscribed oscillations. The first of these functions has a shape which is close to the shape of the Two-Scale limit of the solution and the second one is a correction built to offset this imposed shape. The aim of such a decomposition is to be the starting point for the construction of Two-Scale Asymptotic-Preserving Schemes.

AG-2012.11-042

math.FA

Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics

Vladimir Kanovei, Mikhail G. Katz, Thomas Mormann

We examine some of Connes&#39; criticisms of Robinson&#39;s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes&#39; own earlier work in functional analysis. Connes described the hyperreals as both a &#34;virtual theory&#34; and a &#34;chimera&#34;, yet acknowledged that his argument relies on the transfer principle. We analyze Connes&#39; &#34;dart-throwing&#34; thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being &#34;virtual&#34; if it is not definable in a suitable model of ZFC. If so, Connes&#39; claim that a theory of the hyperreals is &#34;virtual&#34; is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren&#39;t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in his Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes&#39; criticism of virtuality. We analyze the philosophical underpinnings of Connes&#39; argument based on Goedel&#39;s incompleteness theorem, and detect an apparent circularity in Connes&#39; logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace (featured on the front cover of Connes&#39; magnum opus) and the Hahn-Banach theorem, in Connes&#39; own framework. We also note an inaccuracy in Machover&#39;s critique of infinitesimal-based pedagogy.

AG-2012.10-2867

math.FA

Establishment and Fecundity in Spatial Ecological Models: Statistical Approach and Kinetic Equations

Dmitri Finkelshtein, Yuri Kondratiev, Oleksandr Kutoviy

We consider spatial population dynamics given by Markov birth-and-death process with constant mortality and birth influenced by establishment or fecundity mechanisms. The independent and density dependent dispersion of spreading are studied. On the base of general methods of [14], we construct the state evolution of considered microscopic ecological systems. We analyze mesoscopic limit for stochastic dynamics under consideration. The corresponding Vlasov-type non-linear kinetic equations are derived and studied.

AG-2012.09-2385

math.FA

Eigenvalues of Toeplitz matrices in the bulk of the spectrum

P. Deift, A. Its, I. Krasovsky

The authors analyze the asymptotics of eigenvalues of Toeplitz matrices with certain continuous and discontinuous symbols. In particular, the authors prove a conjecture of Levitin and Shargorodsky on the near-periodicity of Toeplitz eigenvalues.

AG-2012.09-326

math.FA

A pseudo-differential calculus on non-standard symplectic space; spectral and regularity results in modulation spaces

Nuno Costa Dias, Maurice de Gosson, Franz Luef, João Nuno Prata

The usual Weyl calculus is intimately associated with the choice of the standard symplectic structure on $\mathbb{R}^{n}\oplus\mathbb{R}^{n}$. In this paper we will show that the replacement of this structure by an arbitrary symplectic structure leads to a pseudo-differential calculus of operators acting on functions or distributions defined, not on $\mathbb{R}^{n}$ but rather on $\mathbb{R}^{n}\oplus\mathbb{R}^{n}$. These operators are intertwined with the standard Weyl pseudo-differential operators using an infinite family of partial isometries of $L^{2}(\mathbb{R}^{n})\longrightarrow L^{2}(\mathbb{R}^{2n})$ \ indexed by $\mathcal{S}(\mathbb{R}^{n})$. This allows us obtain spectral and regularity results for our operators using Shubin&#39;s symbol classes and Feichtinger&#39;s modulation spaces.

AG-2012.09-190

math.FA

Non-Archimedean Normal Operators

Anatoly N. Kochubei

We describe some classes of linear operators on Banach spaces over non-Archimedean fields, which admit orthogonal spectral decompositions. Several examples are given.

AG-2012.07-1323

math.FA

Pseudo-differential Operators on Fractals

Marius Ionescu, Luke G. Rogers, Robert S. Strichartz

We define and study pseudo-differential operators on a class of fractals that include the post-critically finite self-similar sets and Sierpinski carpets. Using the sub-Gaussian estimates of the heat operator we prove that our operators have kernels that decay and, in the constant coefficient case, are smooth off the diagonal. Our analysis can be extended to product of fractals. While our results are applicable to a larger class of metric measure spaces with Laplacian, we use them to study elliptic, hypoelliptic, and quasi-elliptic operators on p.c.f. fractals, answering a few open questions posed in a series of recent papers. We extend our class of operators to include the so called Hörmander hypoelliptic operators and we initiate the study of wavefront sets and microlocal analysis on p.c.f. fractals.

AG-2012.07-2760

math.FA

An Inverse Problem for Localization Operators

Luis Daniel Abreu, Monika Doerfler

A classical result of time-frequency analysis, obtained by I. Daubechies in 1988, states that the eigenfunctions of a time-frequency localization operator with circular localization domain and Gaussian analysis window are the Hermite functions. In this contribution, a converse of Daubechies&#39; theorem is proved. More precisely, it is shown that, for simply connected localization domains, if one of the eigenfunctions of a time-frequency localization operator with Gaussian window is a Hermite function, then its localization domain is a disc. The general problem of obtaining, from some knowledge of its eigenfunctions, information about the symbol of a time-frequency localization operator, is denoted as the inverse problem, and the problem studied by Daubechies as the direct problem of time-frequency analysis. Here, we also solve the corresponding problem for wavelet localization, providing the inverse problem analogue of the direct problem studied by Daubechies and Paul.

AG-2012.06-1288

math.FA

Constructive Analysis in Infinitely many variables

Tepper L. Gill, Gogi R. Pantsulaia, Woodford W. Zachary

In this paper we investigate the foundations for analysis in infinitely-many (independent) variables. We give a topological approach to the construction of the regular $\s$-finite Kirtadze-Pantsulaia measure on $\R^\iy$ (the usual completion of the Yamasaki-Kharazishvili measure), which is an infinite dimensional version of the classical method of constructing Lebesgue measure on $\R^n$ (see \cite{YA1}, \cite{KH} and \cite{KP2}). First we show that von Neumann&#39;s theory of infinite tensor product Hilbert spaces already implies that a natural version of Lebesgue measure must exist on $\R^{\iy}$. Using this insight, we define the canonical version of $L^2[\R^{\iy}, \la_{\iy}]$, which allows us to construct Lebesgue measure on $\R^{\iy}$ and analogues of Lebesgue and Gaussian measure for every separable Banach space with a Schauder basis. When $\mcH$ is a Hilbert space and $\la_{\mcH}$ is Lebesgue measure restricted to $\mcH$, we define sums and products of unbounded operators and the Gaussian density for $L^2[\mcH, \la_{\mcH}]$. We show that the Fourier transform induces two different versions of the Pontryagin duality theory. An interesting new result is that the character group changes on infinite dimensional spaces when the Fourier transform is treated as an operator. Since our construction provides a complete $\s$-finite measure space, the abstract version of Fubini&#39;s theorem allows us to extend Young&#39;s inequality to every separable Banach space with a Schauder basis. We also give constructive examples of partial differential operators in infinitely many variables and briefly discuss the famous partial differential equation derived by Phillip Duncan Thompson \cite{PDT}, on infinite-dimensional phase space to represent an ensemble of randomly forced two-dimensional viscous flows.

AG-2012.06-259

math.FA

On the asymptotics of a Toeplitz determinant with singularities

P. Deift, A. Its, I. Krasovsky

We provide an alternative proof of the classical single-term asymptotics for Toeplitz determinants whose symbols possess Fisher-Hartwig singularities. We also relax the smoothness conditions on the regular part of the symbols and obtain an estimate for the error term in the asymptotics. Our proof is based on the Riemann-Hilbert analysis of the related systems of orthogonal polynomials and on differential identities for Toeplitz determinants. The result discussed in this paper is crucial for the proof of the asymptotics in the general case of Fisher-Hartwig singularities and extensions to Hankel and Toeplitz+Hankel determinants in [15].

AG-2012.05-758

math.FA

Sets of injectivity for weighted twisted spherical means and support theorems

R. K. Srivastava

In this article, we show that the spheres $S_R(o)=\{z\in\mathbb C^n: |z|=R\}$ are sets of injectivity for the weighted twisted spherical means (WTSM) for a suitable class of functions on $\mathbb C^n$. The weights here are spherical harmonics on $S^{2n-1}.$ In general, the question of set of injectivity for the twisted spherical means (TSM) with real analytic weight is still open. We would like to refer to \cite{NRR}, for some results on the sets of injectivity for the spherical means with real analytic weights in the Euclidean setup.

AG-2012.05-2427

math.FA

Rank properties of exposed positive maps

Marcin Marciniak

Let $\cK$ and $\cH$ be finite dimensional Hilbert spaces and let $\fP$ denote the cone of all positive linear maps acting from $\fB(\cK)$ into $\fB(\cH)$. We show that each map of the form $ϕ(X)=AXA^*$ or $ϕ(X)=AX^TA^*$ is an exposed point of $\fP$. We also show that if a map $ϕ$ is an exposed point of $\fP$ then either $ϕ$ is rank 1 non-increasing or $\rankϕ(P)>1$ for any one-dimensional projection $P\in\fB(\cK)$.

AG-2012.05-233

math.FA

Coherent states quantization of generalized bergman spaces on the unit ball of cn with a new formula for their associated berezin transforms

A. Boussejra, Z. Mouayn

While dealing with a class of generalized Bergman spaces on the unit ball, we construct for each of these spaces a set of coherent states to apply a coherent states quantization method. This provides us with another way to recover the Berezin transforms attached to these spaces. Finally, a new formula representing these transforms a functions of the Laplace-Beltrami operator is established in terms ofWilson polynomials by using the Fourier-Helgason transform.

AG-2012.04-2330

math.FA

Generalized splines for Radon transform on compact Lie groups with applications to crystallography

Swanhild Bernstein, Svend Ebert, Isaac Z. Pesenson

The Radon transform Rf of functions f on SO(3) has recently been applied extensively in texture analysis, i.e. the analysis of preferred crystallographic orientation. In practice one has to determine the orientation probability density function f \in L2(SO(3)) from Rf \in L2(S2\times S2) which is known only on a discrete set of points. Since one has only partial information about Rf the inversion of the Radon transform becomes an ill-posed inverse problem. Motivated by this problem we define a new notion of the Radon transform Rf of functions f on general compact Lie groups and introduce two approximate inversion algorithms which utilize our previously developed generalized variational splines on manifolds. Our new algorithms fit very well to the application of Radon transform on SO(3) to texture analysis.

AG-2012.04-891

math.FA

Extrapolation and Local Acceleration of an Iterative Process for Common Fixed Point Problems

Andrzej Cegielski, Yair Censor

We consider sequential iterative processes for the common fixed point problem of families of cutter operators on a Hilbert space. These are operators that have the property that, for any point x\inH, the hyperplane through Tx whose normal is x-Tx always &#34;cuts&#34; the space into two half-spaces one of which contains the point x while the other contains the (assumed nonempty) fixed point set of T. We define and study generalized relaxations and extrapolation of cutter operators and construct extrapolated cyclic cutter operators. In this framework we investigate the Dos Santos local acceleration method in a unified manner and adopt it to a composition of cutters. For these we conduct convergence analysis of successive iteration algorithms.

AG-2012.04-764

math.FA

Bosonic kernels

P. L. Robinson

We show that the bosonic Fock representation of a complex Hilbert space admits a purely algebraic kernel calculus; as an illustration, we use it to reproduce the standard integral kernel formulae for metaplectic operators within the complex-wave representation.

AG-2012.04-1587

math.FA

Representation Theorems for Indefinite Quadratic Forms Revisited

Luka Grubisic, Vadim Kostrykin, Konstantin A. Makarov, Kresimir Veselic

The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.

AG-2012.04-2295

math.FA

Heisenberg&#39;s uncertainty principle in the sense of Beurling

Haakan Hedenmalm

We shed new light on Heisenberg&#39;s uncertainty principle in the sense of Beurling, by offering an essentially different proof which permits us to weaken the assumptions substantially, and examples show that the result is sharp. The proof involves Fourier and Mellin transforms. We alo extend to a setting of two functions. A higher-dimensional analogue is considered as well.

AG-2012.04-118

math.FA

Creator-annihilator domains and the number operator

P. L. Robinson

We show that for the bosonic Fock representation in infinite dimensions, the maximal common domain of all creators and annihilators properly contains the domain of the square-root of the number operator.

AG-2012.03-1171

math.FA

The bosonic Fock representation and a generalized Shale theorem

P. L. Robinson

We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV&#39;; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.

AG-2012.03-1105

math.FA

An Analog of the 2-Wasserstein Metric in Non-commutative Probability under which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy

Eric A. Carlen, Jan Maas

Let $\Cl$ denote the Clifford algebra over $\R^n$, which is the von Neumann algebra generated by $n$ self-adjoint operators $Q_j$, $j=1,...,n$ satisfying the canonical anticommutation relations, $Q_iQ_j+Q_jQ_i = 2δ_{ij}I$, and let $τ$ denote the normalized trace on $\Cl$. This algebra arises in quantum mechanics as the algebra of observables generated by $n$ Fermionic degrees of freedom. Let $\Dens$ denote the set of all positive operators $ρ\in\Cl$ such that $τ(ρ) =1$; these are the non-commutative analogs of probability densities in the non-commutative probability space $(\Cl,τ)$. The Fermionic Fokker-Planck equation is a quantum-mechanical analog of the classical Fokker-Planck equation with which it has much in common, such as the same optimal hypercontractivity properties. In this paper we construct a Riemannian metric on $\Dens$ that we show to be a natural analog of the classical 2-Wasserstein metric, and we show that, in analogy with the classical case, the Fermionic Fokker-Planck equation is gradient flow in this metric for the relative entropy with respect to the ground state. We derive a number of consequences of this, such as a sharp Talagrand inequality for this metric, and we prove a number of results pertaining to this metric. Several open problems are raised.

AG-2012.03-320

math.FA

Zak Transform for Semidirect Product of Locally Compact Groups

Arash Ghaani Farashahi, Ali Akbar Arefijamaal

Let $H$ be a locally compact group and $K$ be an LCA group also let $τ:H\to Aut(K)$ be a continuous homomorphism and $G_τ=H\ltimes_τK$ be the semidirect product of $H$ and $K$ with respect to $τ$. In this article we define the Zak transform $\mathcal{Z}_L$ on $L^2(G_τ)$ with respect to a $τ$-invariant uniform lattice $L$ of $K$ and we also show that the Zak transform satisfies the Plancherel formula. As an application we show that how these techniques apply for the semidirect product group $\mathrm{SL}(2,\mathbb{Z})\ltimes_τ\mathbb{R}^2$ and also the Weyl-Heisenberg groups.

AG-2012.02-3236

math.FA

Non-uniqueness of Gibbs Measure for Models With Uncountable Set of Spin Values on a Cayley Tree

Yu. Kh. Eshkabilov, F. H. Haydarov, U. A. Rozikov

In this paper we construct several models with nearest-neighbor interactions and with the set $[0,1]$ of spin values, on a Cayley tree of order $k\geq 2$. We prove that each of the constructed model has at least two translational-invariant Gibbs measures.

AG-2012.02-3106

math.FA

Uniqueness of Gibbs Measure for Models With Uncountable Set of Spin Values on a Cayley Tree

Yu. Kh. Eshkabilov, F. H. Haydarov, U. A. Rozikov

We consider models with nearest-neighbor interactions and with the set $[0,1]$ of spin values, on a Cayley tree of order $k\geq 1$. It is known that the &#34;splitting Gibbs measures&#34; of the model can be described by solutions of a nonlinear integral equation. For arbitrary $k\geq 2$ we find a sufficient condition under which the integral equation has unique solution, hence under the condition the corresponding model has unique splitting Gibbs measure.

AG-2012.02-226

math.FA

A Proof of Bobkov&#39;s Spectral Bound For Convex Domains via Gaussian Fitting and Free Energy Estimation

Emanuel Milman

We obtain a new proof of Bobkov&#39;s lower bound on the first positive eigenvalue of the (negative) Neumann Laplacian (or equivalently, the Cheeger constant) on a bounded convex domain $K$ in Euclidean space. Our proof avoids employing the localization method or any of its geometric extensions. Instead, we deduce the lower bound by invoking a spectral transference principle for log-concave measures, comparing the uniform measure on $K$ with an appropriately scaled Gaussian measure which is conditioned on $K$. The crux of the argument is to establish a good overlap between these two measures (in say the relative-entropy or total-variation distances), which boils down to obtaining sharp lower bounds on the free energy of the conditioned Gaussian measure.

AG-2011.11-905

math.FA

Smooth compactly supported solutions of some underdetermined elliptic PDE, with gluing applications

Erwann Delay

We give sufficient conditions for some underdetermined elliptic PDE of any order to construct smooth compactly supported solutions. In particular we show that two smooth elements in the kernel of certain underdetermined linear elliptic operators $P$ can be glued in a chosen region in order to obtain a new smooth solution. This new solution is exactly equal to the starting elements outside the gluing region. This result completely contrasts with the usual unique continuation for determined or overdetermined elliptic operators. As a corollary we obtain compactly supported solutions in the kernel of $P$ and also solutions vanishing in a chosen relatively compact open region. We apply the result for natural geometric and physics contexts such as divergence free fields or TT-tensors.