Chebyshev-Type Integral Inequalities for Continuous Fields of Operators Concerning Khatri–Rao Products and Synchronous Properties

: We consider bounded continuous ﬁelds of self-adjoint operators which are parametrized by a locally compact Hausdorff space Ω equipped with a ﬁnite Radon measure µ . Under certain assumptions on synchronous Khatri–Rao property of the ﬁelds of operators, we obtain Chebyshev-type inequalities concerning Khatri–Rao products. We also establish Chebyshev-type inequalities involving Khatri–Rao products and weighted Pythagorean means under certain assumptions of synchronous monotone property of the ﬁelds of operators. The Pythagorean means considered here are three classical symmetric means: the geometric mean, the arithmetic mean, and the harmonic mean. Moreover, we derive the Chebyshev–Grüss integral inequality via oscillations when µ is a probability Radon measure. These integral inequalities can be reduced to discrete inequalities by setting Ω to be a ﬁnite space equipped with the counting measure. Our results provide analog results for matrices and integrable functions. Furthermore, our results include the results for tensor products of operators, and Khatri–Rao/Kronecker/Hadamard products of matrices, which have been not investigated in the literature.


Introduction
In mathematical analysis and applications, analytic inequalities serve as fundamental tools for comparison, approximation, and optimization. The classical Chebyshev sum inequality states that for any real tuples (a 1 , . . . , a n ) and (b 1 , . . . , b n ) both are increasing or decreasing, we have This inequality was generalized by Matharu and Aujla [1] to the case of positive semidefinite matrices involving the Hadamard (entrywise) product •: for any matrices A 1 · · · A n 0 and B 1 · · · B n 0, and any positive numbers ω 1 . . . , ω n , we have To discuss a continuous version of this inequality in a compact form, let us denote for each integrable function f , g : [a, b] → R, T I ( f , g) = I( f · g) − I( f ) · I(g).
The latter is called the general Chebyshev functional (see [2]). The Chebyshev functional (4) has many applications in numerical quadrature, probability and statistics, and existence for solutions to certain differential equations. It was obtained in [3] that if such f and g are synchronous on [a, b], that is, for all x, y ∈ [a, b], then The opposite inequality of (6) holds if both f and g are opposite-synchronous on [a, b]. Operator extensions of this inequality were presented by Moslehian and Bakherad [4]. They generalized the Chebyshev integral inequality (6) to the case of continuous fields of Hilbert space operators with a bounded measurable function involving Hadamard products by using the notion of synchronous Hadamard property. They proved that if two continuous fields (A t ) t∈Ω , (B t ) t∈Ω of operators, parametrized by a compact Hausdorff space Ω equipped with a Radon measure µ, have the synchronous Hadamard property, then where α : Ω → [0, ∞) is a bounded measurable function. Moreover, they gave some Chebyshev-type inequalities concerning operator means and Hadamard products. A complement of (6) was introduced by Grüss [5], providing an estimate of the difference between the integral of the product and the product of the integrals for two functions. For any integrable functions f , g : [a, b] → R satisfying the conditions k f (x) K, l g(x) L for all x ∈ [a, b] and k, K, l, L are real constants, we have We can apply Grüss inequalities to estimate error bounds for some integral means and numerical quadrature rules; see e.g., [6,7]. In [8], Gonska, Raşa and Rusu used the terminology Chebyshev-Grüss inequalities referring to Grüss inequalities for (special cases of) generalized Chebyshev functionals T I which have a general form where E is an expression in terms of certain properties of I and some kind of oscillations of f and g.
They also established new Chebyshev-Grüss inequalities via discrete oscillations.
On the other hand, in the theory of operator product, the notion of tensor product for Hilbert space operators was extended to the Tracy-Singh product for such operators [9]. Algebraic, order, and analytic properties of the Tracy-Singh product for operator were discussed in [9,10]. The notion of tensor product was also generalized to the Khatri-Rao product for Hilbert space operators in [11].
The work [11] shows that the Khatri-Rao product and the Tracy-Singh product are related via isometric selection operators.
In this paper, we establish new several integral inequalities of Chebyshev-type for continuous fields of self-adjoint operators involving Khatri-Rao products and operator means. In Section 2, we give preliminaries on Khatri-Rao and Tracy-Singh products for operators, and Bochner integrability of continuous field of operators on a locally compact Hausdorff space. In Section 3, we provide Chebyshev-type inequalities involving Khatri-Rao products of operators under the assumption of synchronous Khatri-Rao property. In Section 4, we establish Chebyshev integral inequalities concerning weighted Pythagorean means and Khatri-Rao products under the assumption of synchronous monotone property. We prove Chebyshev-Grüss inequalities via oscillations for continuous fields of operators in Section 5. Our results generalize the matrix result [1] and the result for integrable functions [8]. Moreover, our results include the results for tensor products of operators, and Khatri-Rao/Kronecker/Hadamard products of matrices, which have been not investigated in the literature. Finally, we summarize our work in Section 6.

Preliminaries
Throughout this paper, let H, and K be complex Through this paper, we apply the projection theorem to decompose where all H i and K i are Hilbert spaces. Each operator A ∈ B(H) and B ∈ B(K) can be expressed uniquely as operator matrices where A ij ∈ B(H j , H i ) and B ij ∈ B(K j , K i ) for each i, j.

Khatri-Rao Product and Tracy-Singh Product for Operators
Recall that the tensor product of A ∈ B(H) and B ∈ B(K) is a unique bounded linear operator A ⊗ B ∈ B(H ⊗ K) such that for all x ∈ H and all y ∈ K, It is known that the Hadamard product of A, B ∈ B(H) can be expressed as where U : H → H ⊗ H is the isometry defined by Ue = e ⊗ e for all e ∈ E (see e.g., [12]).
From the previous setting, we define the Khatri-Rao product of A and B to be the bounded linear operator from n i=1 H i ⊗ K i into itself represented by an operator matrix We define the Tracy-Singh product of A and B to be the bounded linear operator from n i=1 n j=1 H i ⊗ K j into itself represented by an operator matrix The ( If A and B are positive, then (A B) α = A α B α for any α 0.

Lemma 2 ([11]
). There is an isometry Z such that A B = Z * (A B)Z for any operators A ∈ B(H) and B ∈ B(K).

Bochner Integration for Operator-Valued Maps
Throughout this paper, let Ω be a locally compact Hausdorff space endowed with a finite Radon measure µ. A continuous map A : Ω → X ⊆ B(H) is called a continuous field of operators in X parametrized by Ω, denoted by A ∈ C(Ω; X). For convenience, for each t ∈ Ω, we may write A t instead of A(t). The field A is said to be bounded if there is a constant M > 0 such that A t M for all t ∈ Ω. The set of all bounded continuous fields of operators in X parametrized by Ω is denoted by BC(Ω; X). If A ∈ C(Ω; X) is such that the norm function t → A t is Lebergue integrable on Ω (e.g., A ∈ BC(Ω; X)), then we can form the Bochner integral Ω A t dµ(t).
Lemma 3 (see e.g., [13]). Let X and Y be Banach spaces, and ϕ : X → Y a bounded linear operator. For any Bochner integrable function f : Γ → X, the composition ϕ • f is also Bochner integrable and

Proposition 1.
For any A ∈ BC(Ω, B(H)) and X ∈ B(K), we have They are said to have the opposite-synchronous Khatri-Rao property if the reverse of (14) holds for all s, t ∈ Ω.
The following result is an extension of the Chebyshev integral inequality (6) to the case of operators involving Khatri-Rao products. Theorem 1. Let A ∈ BC(Ω, B(H) sa ) and B ∈ BC(Ω, B(K) sa ), and let α : Ω → [0, ∞) be a bounded measurable function.

1.
If A and B have the synchronous Khatri-Rao property, then 2.
If A and B have the opposite-synchronous Khatri-Rao property, then then the reverse of (15) holds.

Proof. By using Lemma 1 and Proposition 1, we have
Here, we have used Fubini's Theorem [14] to interchange the order of integrals. For the case 1, we have and thus (15) holds. For another case, we get the reverse of (16) and, thus, the reverse of (15) holds.
For the case n = 1, i.e., H and K are not decomposed, the synchronous Khatri-Rao property in Definition 1 reduces to the synchronous tensor property: If two fields A and B of operators parametrized by Ω have the synchronous tensor property, then A and B have the synchronous Hadamard property ([4], Definition 2.1), i.e., for all s, t ∈ Ω. The following result gives Chebyshev-type inequalities involving tensor products and Hadamard products.

If A and B have the synchronous tensor property, then
2.
If A and B have the opposite-synchronous tensor property, then then the reverses of (17) and (18) holds.
Proof. For the case n = 1, the Khatri-Rao product in Theorem 1 reduces to the tensor product. Assume that A and B have the synchronous tensor property. Using the fact that the Hadamard product is expressed as the deformation of tensor product via the isometry U defined in (10), we obtain Case 2 for Hadamard products can be similarly treated.
We can see that the inequality (18) is the same as (7), but they hold under different hypothesis. The next corollary is a discrete version of Theorem 1.

1.
If A and B have the synchronous Khatri-Rao property, then 2.
If A and B have the opposite-synchronous Khatri-Rao property, then the reverse of (19) holds.
This corollary generalizes Chebyshev sum inequalities for the case of real numbers in inequality (1) and for Hadamard product of matrices in [1].
Next, we illustrate Chebyshev-type inequalities for bounded linear operators induced from matrices. Recall that with each A ∈ M n (C) one can naturally associate a bounded linear operator

For any complex matrices
First, we check the hypothesis of Corollary 2. Since By the positivity of the Khatri-Rao product, we get i.e., the fields A = (T A 1 , T A 2 ) and B = (T B 1 , T B 2 ) have the synchronous Khatri-Rao product property. Now, we can check that the following matrix is positive semidefinite: Thus, Passing through the induced linear maps, we get Finally, applying the property (20), we have i.e., the inequality (19) in Corollary 2 holds.

Chebyshev Integral Inequalities Concerning Weighted Pythagorean Means of Operators
We start this section by introducing order assumptions on continuous fields and supplying preliminaries on weighted arithmetic/geometric/harmonic means of operators. The main part is to establish Chebyshev-type inequalities involving Khatri-Rao products concerning such operator means and order assumptions.
Throughout this section, the space Ω is equipped with a total ordering . Consider the following definitions: Definition 2. We say that a field A is increasing (decreasing, resp.) whenever s t implies A s A t (A s A t , respectivley). Definition 3. Two ordered pairs (X 1 , X 2 ) and (Y 1 , Y 2 ) of self-adjoint operators are said to have the synchronous property if either The pairs (X 1 , X 2 ) and (Y 1 , Y 2 ) are said to have the opposite-synchronous property if either Recall that the three classical Pythagorean means are the following symmetric means: the arithmetic mean, the harmonic mean, and the geometric mean. For each w ∈ [0, 1], the w-weighted versions of such means are respectively defined for any A, B ∈ B(H) ++ by These means can be defined for arbitrary positive operators by the following continuity argument with respect to the strong-operator topology: For brevity, we write A B for A 1/2 B. The Pythagorean means have the following remarkable property: for any w ∈ [0, 1], T ∈ B(H), and A, B ∈ B(H) + , we have here σ is anyone of , !, #.
Lemma 4 (see e.g., [15]). The weighted geometric means, weighted arithmetic means and weighted harmonic means for operators are (jointly) monotone in the sense that if X 1 X 2 and Y 1 Y 2 , then X 1 σY 1 X 2 σY 2 where σ is any of w , ! w , w .

Inequalities on Weighted Geometric Means
Recall that a linear map between two operator algebras is said to be positive if it maps positive operators to positive operators.

22)
Proof. Let s, t ∈ Ω. Without loss of generality, assume that s t. By applying Lemmas 1 and 5, Proposition 1, and Fubini's Theorem [14], we have If A, B, C, D are all increasing, we have by Lemma 4 that A t w C t A s w C s and B t w D t B s w D s . If A, B, C, D are all decreasing, we have A t w C t A s w C s and B t w D t B s w D s . By Lemma 1, both cases lead to the same conclusion that (A t w C t − A s w C s ) (B t w D t − B s w D s ) 0, and hence (22) holds.
The next corollary is a discrete version of Theorem 1. Proof.
Operator inequality (23) can be regarded as a generalization of the Chebyshev sum inequality (1). The next goal is to establish a reverse version of Theorem 2. (24) Then for any w ∈ (0, 1), we have Proof. Consider a map Φ : T → Z * TZ, where Z is the isometry in Lemma 2. Since Φ is a unital positive linear map, we have by ( [17], Corollary 3.5) that From ([16], Theorem 1), we get Hence, A, C are decreasing and B, D are increasing, Proof. Let s, t ∈ Ω. Without loss of generality, assume that s t. By applying Lemmas 1 and 6, Proposition 1, and Fubini's Theorem [14], we have We have by Lemmas 1 and 4 that (A t w C t − A s w C s ) (B t w D t − B s w D s ) 0, and hence (25) holds.

1.
If (A, B) and (C, D) have the synchronous property, then 2.
If (A, B) and (C, D) have the opposite-synchronous property, then the reverse of (26) holds.  Proof. Let s, t ∈ Ω. Without loss of generality, assume that s t. First, we consider the case 1. We have by using Lemmas 1 and 7, proposition 1, and Fubini's Theorem that By Lemmas 1 and 4, we have (A t w C t − A s w C s ) (B t w D t − B s w D s ) 0 and hence (27) holds. The case 2 can be similarly treated.
We can illustrate Theorem 4 for the case of operators induced from matrices as follows.   (20), we obtain

Passing through the induced linear maps and applying the properties T A B = T A T B and
Thus, the equality (27) holds in this case.

Inequalities on Weighted Harmonic Means
Proof. Let s, t ∈ Ω with s t. By applying Lemmas 1 and 8, Proposition 1, and Fubini's theorem, we get By Lemmas 1 and 4, (29) If (A, B) and (C, D) have the synchronous property, then for any w ∈ [0, 1], Proof. Let s, t ∈ Ω with s t. We have by using Lemmas 1 and 9, Proposition 1, and Fubini's Theorem that We have, by Lemmas 1 and 4, (A t ! w C t − A s ! w C s ) (B t ! w D t − B s ! w D s ) 0 and hence (30) holds.

Remark 1.
When we set Ω = {1, . . . , k} equipped with the counting measure, we get discrete versions of Theorems 3-6. Matrix analogs of our results can be obtained particularly by setting H = C n . In this case, our results include Chebyshev-type inequalities for Khatri-Rao products, Kronecker products and Hadamard products of matrices.

Chebyshev-Grüss Inequalities via Oscillations
In this section, we prove a Chebyshev-Grüss inequality via oscillations for continuous fields of operators. The basic setup is as follows.
Let Ω be a compact Hausdorff space equipped with a probability Radon measure µ. For any A ∈ C(Ω; B(H)) and B ∈ C(Ω; B(K)), we define Here, we recall that the support of the product measure µ × µ is defined by We call osc(A) the oscillation of the field A.
In the next theorem, we generalize Grüss inequality (8) to the case of operators concerning Khatri-Rao products.

Conclusions and Future Work
We investigate integral inequalities of Chebyshev-type for bounded continuous fields of self-adjoint operators which are parametrized by a locally compact Hausdorff space Ω equipped with a finite Radon measure µ. Under certain assumptions on the synchronous Khatri-Rao property of the fields of operators, we obtain Chebyshev-type inequalities concerning Khatri-Rao products. We also establish Chebyshev-type inequalities involving Khatri-Rao products and weighted Pythagorean means under the assumption of synchronous monotone property of the fields of operators. Moreover, we derive Chebyshev-Grüss integral inequality via oscillations when µ is a probability Radon measure. These integral inequalities can be reduced to discrete inequalities by setting Ω to be a finite space equipped with the counting measure. Our results include Chebyshev-type inequalities for the tensor product of operators and Khatri-Rao/Kronecker/Hadamard products of matrices.
For future work, we may investigate Chebyshev-type inequalities when replacing weighted Pythagorean means by quasi-arithmetic power means, the logarithmic mean, or general operator means.
Author Contributions: All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.