Positive Operators Research Articles

Fast convergence of trust-regions for non-isolated minima via analysis of CG on indefinite matrices

AbstractTrust-region methods (TR) can converge quadratically to minima where the Hessian is positive definite. However, if the minima are not isolated, then the Hessian there cannot be positive definite. The weaker Polyak–Łojasiewicz (PŁ) condition is compatible with non-isolated minima, and it is enough for many algorithms to preserve good local behavior. Yet, TR with an exact subproblem solver lacks even basic features such as a capture theorem under PŁ. In practice, a popular inexact subproblem solver is the truncated conjugate gradient method (tCG). Empirically, TR-tCG exhibits superlinear convergence under PŁ. We confirm this theoretically. The main mathematical obstacle is that, under PŁ, at points arbitrarily close to minima, the Hessian has vanishingly small, possibly negative eigenvalues. Thus, tCG is applied to ill-conditioned, indefinite systems. Yet, the core theory underlying tCG is that of CG, which assumes a positive definite operator. Accordingly, we develop new tools to analyze the dynamics of CG in the presence of small eigenvalues of any sign, for the regime of interest to TR-tCG.

Estimates for Sums of Eigenfunctions of Elliptic Pseudo-differential Operators on Compact Lie Groups

We extend the estimates proved by Donnelly and Fefferman, and by Lebeau, Robbiano and Zuazua, for sums of eigenfunctions of the Laplacian (on a compact manifold) to estimates for sums of eigenfunctions of any positive and elliptic pseudo-differential operator of positive order on a compact Lie group. Our criteria are imposed in terms of the positivity of the corresponding matrix-valued symbol of the operator. As an application of these inequalities in control theory, we obtain the null-controllability for diffusion models for elliptic pseudo-differential operators on compact Lie groups.

Discrete dynamics in the set of quantum measurements

Abstract A quantum measurement, often referred to as positive operator-valued measurement, is a set of positive operators P j = P j † ⩾ 0 summing to identity, ∑ j P j = 𝟙 . This can be seen as a generalization of a probability distribution of positive real numbers summing to unity, whose evolution is given by a stochastic matrix. We describe transformations in the set of quantum measurements by blockwise stochastic matrices, composed of positive blocks that sum columnwise to identity, and the notion of sequential product of matrices. We show that such transformations correspond to a sequence of quantum measurements. Imposing additionally the dual condition that the sum of blocks in each row is equal to identity we arrive at blockwise bistochastic matrices (also called quantum magic squares). Analyzing their dynamical properties, we formulate a quantum analog of the Ostrowski description of the classical Birkhoff polytope and introduce the notion of majorization between quantum measurements. Our framework provides a dynamical characterization of the set of blockwise bistochastic matrices and establishes a resource theory in the set of quantum measurements.

Scalable quantum detector tomography by high-performance computing

Abstract At large scales, quantum systems may become advantageous over their classical counterparts at performing certain tasks. Developing tools to analyze these systems at the relevant scales, in a manner consistent with quantum mechanics, is therefore critical to benchmarking performance and characterizing their operation. While classical computational approaches cannot perform like-for-like computations of quantum systems beyond a certain scale, classical high-performance computing (HPC) may nevertheless be useful for precisely these characterization and certification tasks. By developing open-source customized algorithms using high-performance computing, we perform quantum tomography on a megascale quantum photonic detector covering a Hilbert space of 106. This requires finding 108 elements of the matrix corresponding to the positive operator valued measure (POVM), the quantum description of the detector, and is achieved in minutes of computation time. Moreover, by exploiting the structure of the problem, we achieve highly efficient parallel scaling, paving the way for quantum objects up to a system size of 1012 elements to be reconstructed using this method. In general, this shows that a consistent quantum mechanical description of quantum phenomena is applicable at everyday scales. More concretely, this enables the reconstruction of large-scale quantum sources, processes and detectors used in computation and sampling tasks, which may be necessary to prove their nonclassical character or quantum computational advantage.

Determination of Initial Data in the Time-Fractional Pseudo-Hyperbolic Equation

We examine a time-fractional pseudo-hyperbolic equation involving positive operators. We explore the determination of initial velocity and perturbation. It is demonstrated that these initial inverse problems are ill posed. Additionally, we prove that under certain conditions, the inverse problems exhibit well-posedness properties. Our focus is on developing a theoretical framework for these initial inverse problems associated with time-fractional pseudo-hyperbolic equations, laying the groundwork for future studies on numerical algorithms to solve these problems. This investigation is crucial for understanding the fundamental behavior of the equations under various initial conditions and perturbations. By establishing a rigorous theoretical framework, we pave the way for future research to focus on practical numerical methods and simulations. Our results provide a deeper insight into the mathematical structure of time-fractional pseudo-hyperbolic equations, ensuring that future computational approaches are built on a solid theoretical foundation.

Composition of some positive linear integral operators

Abstract This article is devoted to constructing sequences of integral operators with the same Voronovskaja formula as the generalized Baskakov operators, but having different behavior in other respects. For them, we investigate the eigenstructure, the inverses, and the corresponding Voronovskaja type formulas. A general result of Voronovskaja type for composition of operators is given and applied to the new operators. The asymptotic behavior of differences between the operators is investigated, and as an application, we obtain a formula involving Euler’s gamma function.

A stable difference scheme for the solution of a source identification problem for telegraph-parabolic equations

In the present paper, we construct a first order of accuracy difference scheme for the approximate solution of the inverse problem for telegraph-parabolic equations with an unknown spacewise dependent source term. The unique solvability of constructed difference scheme and the stability estimates for its solution were obtained. The proofs are based on the spectral representation of the self-adjoint positive definite operator in a Hilbert space.

Algebraic Aspects and Functoriality of the Set of Affiliated Operators

Abstract In this article, we aim to provide a satisfactory algebraic description of the set of affiliated operators for von Neumann algebras. Let $\mathscr{M}$ be a von Neumann algebra acting on a Hilbert space $\mathcal{H}$, and let $\mathscr{M}_{\text{aff}}$ denote the set of unbounded operators of the form $T = AB^{\dagger }$ for $A, B \in \mathscr{M}$ with $\text{null} (B) \subseteq \text{null} (A)$, where $(\cdot )^{\dagger }$ denotes the Kaufman inverse. We show that $\mathscr{M}_{\text{aff}}$ is closed under sum, product, Kaufman-inverse, and adjoint, and has the structure of a (right) near-semiring. Moreover, the above quotient representation of an operator in $\mathscr{M}_{\text{aff}}$ is essentially unique. Thus, we may view $\mathscr{M}_{\text{aff}}$ as the multiplicative monoid of unbounded operators on $\mathcal{H}$ generated by $\mathscr{M}$ and $\mathscr{M}^{\dagger }$. We further show that our definition of affiliation, as reflected in $\mathscr{M}_{\text{aff}}$, subsumes the traditional one. Let $\Phi $ be a unital normal *-homomorphism between represented von Neumann algebras $(\mathscr{M}; \mathcal{H})$ and $(\mathscr{N}; \mathcal{K})$. Using the quotient representation, we obtain a canonical extension of $\Phi $ to a mapping $\Phi _{\text{aff}}: \mathscr{M}_{\text{aff}} \to \mathscr{N}_{\text{aff}}$ which is a near-semiring homomorphism that respects Kaufman-inverse and adjoint; in addition, $\Phi _{\text{aff}}$ respects Murray–von Neumann affiliation of operators and also respects strong sum and strong product. Thus, $\mathscr{M}_{\text{aff}}$ is intrinsically associated with $\mathscr{M}$ and transforms functorially as we change representations of $\mathscr{M}$. Furthermore, $\Phi _{\text{aff}}$ preserves operator properties such as being symmetric, or positive, or accretive, or sectorial, or self-adjoint, or normal, and also preserves the Friedrichs and Krein–von Neumann extensions of densely defined closed positive operators. As a proof of concept, we transfer some well-known results about closed unbounded operators to the setting of closed affiliated operators for properly infinite von Neumann algebras, via “abstract nonsense”.

Estimations of Karcher mean by Hadamard product

In this paper, we estimate the difference between the Hadamard product and the Karcher mean of n positive invertible operators on the Hilbert space in terms of the Specht ratio and the Kantorovich constant. Also, we improve the obtained inequalities in the case of n=2. Moreover, we give ratio inequalities of the operator power means by the Hadamard product.

Interpolating Between Rényi Entanglement Entropies for Arbitrary Bipartitions via Operator Geometric Means

AbstractThe asymptotic restriction problem for tensors can be reduced to finding all parameters that are normalized, monotone under restrictions, additive under direct sums and multiplicative under tensor products, the simplest of which are the flattening ranks. Over the complex numbers, a refinement of this problem, originating in the theory of quantum entanglement, is to find the optimal rate of entanglement transformations as a function of the error exponent. This trade-off can also be characterized in terms of the set of normalized, additive, multiplicative functionals that are monotone in a suitable sense, which includes the restriction-monotones as well. For example, the flattening ranks generalize to the (exponentiated) Rényi entanglement entropies of order $$\alpha \in [0,1]$$ α ∈ [ 0 , 1 ] . More complicated parameters of this type are known, which interpolate between the flattening ranks or Rényi entropies for special bipartitions, with one of the parts being a single tensor factor. We introduce a new construction of subadditive and submultiplicative monotones in terms of a regularized Rényi divergence between many copies of the pure state represented by the tensor and a suitable sequence of positive operators. We give explicit families of operators that correspond to the flattening-based functionals, and show that they can be combined in a nontrivial way using weighted operator geometric means. This leads to a new characterization of the previously known additive and multiplicative monotones, and gives new submultiplicative and subadditive monotones that interpolate between the Rényi entropies for all bipartitions. We show that for each such monotone there exist pointwise smaller multiplicative and additive ones as well. In addition, we find lower bounds on the new functionals that are superadditive and supermultiplicative.

On Positive Linear Operators linking Gamma, Mittag-Leffler and Wright Functions

On Positive Linear Operators linking Gamma, Mittag-Leffler and Wright Functions

Structure of resource theory of block coherence

Emerging from the superposition principle, the resource theory of coherence plays a crucial role in many information-processing tasks. Recently, a generalization to this resource theory was investigated with respect to arbitrary positive operator valued measurement (POVM) based on Naimark's dilation theorem. Here, we introduce the notion of Block Incoherent Operations (BIO), Strictly Block Incoherent Operations (SBIO) and Physically Block Incoherent Operations (PBIO) and provide an analytical expression for Kraus operators of these operations to have a better understanding of the resource theory of block coherence which in turn gives a more clear picture of POVM based resource theory of coherence. A dilation theorem corresponding to SBIO has been introduced to enlighten the proper physical interpretation of this operation. These free operations will be helpful in finding out the conditions of state transformations and could be implemented in various protocols. For a transparent view of this resource theory, we have successfully introduced the concept of state transformation under SBIO.

Order isomorphisms on unbounded self-adjoint operators

We provide a comprehensive description of all order isomorphisms between several types of unbounded self-adjoint operator sets. Namely, sets of all positive operators, sets of all positive boundedly invertible operators, and those of all self-adjoint operators.

From the Choi formalism in infinite dimensions to unique decompositions of generators of completely positive dynamical semigroups

Given any separable complex Hilbert space, any trace-class operator [Formula: see text] which does not have purely imaginary trace, and any generator [Formula: see text] of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a unique bounded operator [Formula: see text] and a unique completely positive map [Formula: see text] such that (i) [Formula: see text], (ii) the superoperator [Formula: see text] is trace class and has vanishing trace, and (iii) [Formula: see text] 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.

The von Neumann extension theory for abstract Friedrichs operators

The theory of abstract Friedrichs operators was introduced some fifteen years ago with the aim of providing a more comprehensive framework for the study of positive symmetric systems of first-order partial differential equations, nowadays better known as (classical) Friedrichs systems. Since then, the theory has not only been frequently applied in numerical and analytical research of Friedrichs systems, but has continued to evolve as well. In this paper, we provide an explicit characterisation and a classification of abstract Friedrichs operators. More precisely, we show that every abstract Friedrichs operator can be written as the sum of a skew-symmetric operator and a bounded self-adjoint strictly positive operator. Furthermore, we develop a classification of realisations of abstract Friedrichs operators in the spirit of the von Neumann extension theory, which, when applied to the symmetric case, extends the classical theory.

Polynomially accretive operators

In this paper, we introduce a new class of operators on a complex Hilbert space $\mathcal{H}$ which is called polynomially accretive operators, and thereby extending the notion of accretive and $n$--real power positive operators. We give several properties of the newly introduced class, and generalize some results for accretive operators. We also prove that every $2$--normal and $(2k+1)$--real power positive operator, for some $k\in\mathbb{N}$, must be $n$--normal for all $n\geq2$. Finally, we give sufficient conditions for the normality in the preceding implication.

THE NUMERICAL APPROXIMATION OF STATIONARY WAVE SOLUTIONS FOR TWO-COMPONENT SYSTEM OF NONLINEAR SCHRÖDINGER EQUATIONS BY USING GENERALIZATION PETVIASHVILI METHOD

The Petviashvili method is a numerical method for obtaining fundamental solitary wave solutions of stationary scalar nonlinear wave equations with power-law nonlinearity: , where is a positive definite and self-adjoint operator and is constant. Due to the case being a system of solitary nonlinear wave equations, we generalize the Petviashvili method. We apply this generalized method for a two-component system of Nonlinear Schr dinger Equations (NLSE) for 2-D.

On Some Positive Linear Operators Preserving the B^{-1}-Convexity of Functions

In the study, we first give an inequality that non-negative differentiable functions must satisfy to be B^{-1}-convex. Then, using the inequality, we show that the B^{-1}-convexity property of functions is preserved by Bernstein-Stancu operators, Sz'asz-Mirakjan operators and Baskakov operators. In addition, we compare the concepts B^{-1}-convexity and B-concavity of functions.

Commutators greater than a perturbation of the identity

Let a and b be elements of an ordered normed algebra A with unit e. Suppose that the element a is positive and that for some ε>0 there exists an element x∈A with ‖x‖≤ε such thatab−ba≥e+x. If the norm on A is monotone, then we show‖a‖⋅‖b‖≥12ln⁡1ε, which can be viewed as an order analog of Popa's quantitative result for commutators of operators on Hilbert spaces.We also give a relevant example of positive operators A and B on the Hilbert lattice ℓ2 such that their commutator AB−BA is greater than an arbitrarily small perturbation of the identity operator.

On the approximation to fractional calculus operators with multivariate Mittag-Leffler function in the kernel

Several numerical techniques have been developed to approximate Riemann–Liouville (R - L) and Caputo fractional calculus operators. Recently linear positive operators have been started to use to approximate fractional calculus operators such as R - L, Caputo, Prabhakar and operators containing bivariate Mittag-Leffler functions. In the present paper, we first define and investigate the fractional calculus properties of Caputo derivative operator containing the multivariate Mittag-Leffler function in the kernel. Then we introduce approximating operators by using the modified Kantorovich operators for the approximation to fractional integral and Caputo derivative operators with multivariate Mittag-Leffler function in the kernel. We study the convergence properties of the operators and compute the degree of approximation by means of modulus of continuity and Hölder continuous functions. The obtained results corresponds to a large family of fractional calculus operators including R- L, Caputo and Prabhakar models.