Related papers: On (conditional) positive semidefiniteness in a ma…

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on…

We obtain sufficient conditions for an exponential type entire function not to have zeros in the open lower half-plane. An exact inequality containing the real and imaginary parts of such functions and their derivatives restricted to the…

The relation between representations and positive definite functions is a key concept in harmonic analysis on topological groups. Recently this relation has been studied on topological groupoids. This is the second in a series of papers in…

We present a new and very short proof of the fact that, for positive $C_0$-semigroups on spaces of continuous functions, the spectral and the growth bound coincide. Our argument, inspired by an idea of Vogt, makes the role of the underlying…

To construct interpretable explanations that are consistent with the original ML model, counterfactual examples---showing how the model's output changes with small perturbations to the input---have been proposed. This paper extends the work…

We will remark an extension of a linear functional on subalgebra of algebra of continuous functions on subset of $\mathbb{R}^n$ which preserves positivity.

The semiclassical theory for the large-N field models is developed from an unusual point of view. Analogously to the procedure of the second quantization in quantum mechanics, the functional Schrodinger large-N equation is presented in a…

We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…

We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a…

Positive definite functions on spheres have received an increasing interest in many branches of mathematics and statistics. In particular, the Schoenberg sequences in the spectral representation of positive definite functions have been…

Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in…

We consider the group $\mathrm{Aut}(T)$ of isometries of a semi-homogeneous tree $T=T_{q_+,q_-}$ with valencies $q_+ +1$ and $q_- +1$ and its two orbits $V_+$, $V_-$ respectively. We make use of the action of $\mathrm{Aut} (T)$ to equip the…

Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions…

The main result of the paper is a flat extension theorem for positive linear functionals on *-algebras. The theorem is applied to truncated moment problems on cylinder sets, on matrices of polynomials and on enveloping algebras of Lie…

In this framework, the extremal case corresponds to the tightest nontrivial relaxation in this hierarchy, in which every proper principal submatrix is constrained to be positive semidefinite, while the global positive semidefiniteness…

We study a certain class $\mathcal{P}$ of positive linear functionals $\varphi$ on $L^{\infty}([1,\infty))$ for which $\varphi(f) = \alpha$ if $\lim_{x \to \infty} \frac{1}{x} \int_1^x f(t)dt = \alpha$. It turns out that translations $f(x)…

We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…

Let $a(z)=\sum_{i\in\mathbb Z}a_iz^i$ be a complex valued function defined for $|z|=1$, such that $\sum_{i\in\mathbb Z}|ia_i|<\infty$, and let $E=(e_{i,j})_{i,j\in\mathbb {Z}^+}$ be such that $\sum_{i,j\in\mathbb{Z}^+}|e_{i,j}|<\infty$. A…

Assumptions on a likelihood function, including a local Glivenko-Cantelli condition, imply the existence of M-estimators converging to an M-functional. Scatter matrix-valued estimators, defined on all empirical measures on ${\Bbb{R}}^d$ for…

We continue the analysis in [H. Osaka and J. Tomiyama, Double piling structure of matrix monotone functions and of matrix convex functions, Linear and its Applications 431(2009), 1825 - 1832] in which the followings three assertions at each…