A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Acute perturbation of Drazin inverse and oblique projectors

For an n×n complex matrix A with ind(A) = r; let A^D and A^π = I–AA^D be respectively the Drazin inverse and the eigenprojection corresponding to the eigenvalue 0 of A: For an n×n complex singular matrix B with ind(B) = s, it is said to be a stable perturbation of A, if I–(B^π–A^π)² is nonsingular, equivalently, if the matrix B satisfies the condition \(\mathcal{R}(B^s)\cap\mathcal{N}(A^r)=\left\{0\right\}\) and \(\mathcal{N}(B^s)\cap\mathcal{R}(A^r)=\left\{0\right\}\), introduced by Castro-González, Robles, and Vélez-Cerrada. In this paper, we call B an acute perturbation of A with respect to the Drazin inverse if the spectral radius ρ(B^π–A^π) < 1: We present a perturbation analysis and give suffcient and necessary conditions for a perturbation of a square matrix being acute with respect to the matrix Drazin inverse. Also, we generalize our perturbation analysis to oblique projectors. In our analysis, the spectral radius, instead of the usual spectral norm, is used. Our results include the previous results on the Drazin inverse and the group inverse as special cases and are consistent with the previous work on the spectral projections and the Moore-Penrose inverse.     

On the optimality and sharpness of Laguerre’s lower bound on the smallest eigenvalue of a symmetric positive definite matrix

Lower bounds on the smallest eigenvalue of a symmetric positive definite matrix A ∈ R ^m×m play an important role in condition number estimation and in iterative methods for singular value computation. In particular, the bounds based on Tr(A ^?1) and Tr(A ^?2) have attracted attention recently, because they can be computed in O(m) operations when A is tridiagonal. In this paper, we focus on these bounds and investigate their properties in detail. First, we consider the problem of finding the optimal bound that can be computed solely from Tr(A ^?1) and Tr(A ^?2) and show that the so called Laguerre’s lower bound is the optimal one in terms of sharpness. Next, we study the gap between the Laguerre bound and the smallest eigenvalue. We characterize the situation in which the gap becomes largest in terms of the eigenvalue distribution of A and show that the gap becomes smallest when {Tr(A ^?1)}²/Tr(A ^?2) approaches 1 or m. These results will be useful, for example, in designing efficient shift strategies for singular value computation algorithms.     

BMO and exponential Orlicz space estimates of the discrepancy function in arbitrary dimension

In the current paper, we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension d ≥ 3. In particular, we use dyadic harmonic analysis to prove that the dyadic product BMO and exp(L^2/(d?1)) norms of the discrepancy function of so-called digital nets of order two are bounded above by (logN)^(d?1)/2. The latter bound has been recently conjectured in several papers and is consistent with the best known low-discrepancy constructions. Such estimates play an important role as an intermediate step between the well-understood L_p bounds and the notorious open problem of finding the precise L_∞ asymptotics of the discrepancy function in higher dimensions, which is still elusive.     

New error bounds for the linear complementarity problem of <Emphasis Type="Italic">QN</Emphasis>-matrices

An error bound for the linear complementarity problem (LCP) when the involved matrices are QN-matrices with positive diagonal entries is presented by Dai et al. (Error bounds for the linear complementarity problem of QN-matrices. Calcolo, 53:647-657, 2016), and there are some limitations to this bound because it involves a parameter. In this paper, for LCP with the involved matrix A being a QN-matrix with positive diagonal entries an alternative bound which depends only on the entries of A is given. Numerical examples are given to show that the new bound is better than that provided by Dai et al. in some cases.     

Perturbation Analysis of Moore–Penrose Quasi-linear Projection Generalized Inverse of Closed Linear Operators in Banach Spaces

In this paper, we investigate the perturbation problem for the Moore–Penrose bounded quasi-linear projection generalized inverses of a closed linear operaters in Banach space. By the method of the perturbation analysis of bounded quasi-linear operators, we obtain an explicit perturbation theorem and error estimates for the Moore–Penrose bounded quasi-linear generalized inverse of closed linear operator under the T-bounded perturbation, which not only extend some known results on the perturbation of the oblique projection generalized inverse of closed linear operators, but also extend some known results on the perturbation of the Moore–Penrose metric generalized inverse of bounded linear operators in Banach spaces.     

Perturbed Evolution Problems with Continuous Bounded Variation in Time and Applications

This paper is devoted to the study of evolution problems of the form \(-\frac {du}{dr}(t) \in A(t)u(t) + f(t, u(t))\) in a new setting, where, for each t, A(t) : D(A(t)) → 2 ^H is a maximal monotone operator in a Hilbert space H and the mapping t?A(t) has continuous bounded or Lipschitz variation on [0, T], in the sense of Vladimirov’s pseudo-distance. The measure dr gives an upper bound of that variation. The perturbation f is separately integrable on [0, T] and separately Lipschitz on H. Several versions and new applications are presented.     

On Homogenization for Non-Self-Adjoint Periodic Elliptic Operators on an Infinite Cylinder

We consider an operator A^ε on L₂(\({\mathbb{R}^{{d_1}}} \times {T^{{d_2}}}\)) (d₁ is positive, while d₂ can be zero) given by A^ε = ?div A(ε^?1x₁,x₂)?, where A is periodic in the first variable and smooth in a sense in the second. We present approximations for (A^ε ? μ)^?1 and ?(A^ε ? μ)^?1 (with appropriate μ) in the operator norm when ε is small. We also provide estimates for the rates of approximation that are sharp with respect to the order.     

Frames and non linear approximations in Hilbert spaces

A simple proof of the proposition, stated in ([2], p. 346), asserting that in Hilbert spaces a Riesz basis is greedy, is given. Also, greedy approximant for frames in Hilbert spaces is defined and it is shown that frames satisfy the quasi greedy and almost greedy conditions. Finally, we give the characterizations of approximation spaces A^s(Ψ), A_q^s(Ψ) by means of weak-l_p and Lorentz sequence spaces for frames.     

Negative entropy,zero temperature and Markov chains on the interval

We consider ergodic optimization for the shift map on the modified Bernoulli space σ: [0, 1]^? → [0, 1]^?, where [0, 1] is the unit closed interval, and the potential A: [0, 1]^? → ? considered depends on the two first coordinates of [0, 1]^?. We are interested in finding stationary Markov probabilities µ_∞ on [0, 1]^? that maximize the value ∫ Adµ, among all stationary (i.e. σ-invariant) probabilities µ on [0, 1]^?. This problem correspond in Statistical Mechanics to the zero temperature case for the interaction described by the potential A. The main purpose of this paper is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities µ _β which weakly converges to µ_∞. The probabilities µ _β are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure in Thermodynamic Formalism. As the potential A depends only on the first two coordinates, instead of the probability µ on [0, 1]^?, we can consider its projection ν on [0, 1]². We look at the problem in both ways. If µ_∞ is the maximizing probability on [0, 1]^?, we also have that its projection ν _∞ is maximizing for A. The hypothesis about stationarity on the maximization problem can also be seen as a transhipment problem. Under the hypothesis of A being C ² and the twist condition, that is,

$\frac{{\partial ^2 A}}{{\partial x\partial y}}(x,y) \ne 0, for all (x,y) \in [0,1]^2 ,$

we show the graph property of the maximizing probability ν on [0, 1]². Moreover, the graph is monotonous. An important result we get is: the maximizing probability is unique generically in Mañé’s sense. Finally, we exhibit a separating sub-action for A.

     

Inversion and subspaces of a finite field

Consider two F _q -subspaces A and B of a finite field, of the same size, and let A ^?1 denote the set of inverses of the nonzero elements of A. The author proved that A ^?1 can only be contained in A if either A is a subfield, or A is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if A ^?1 ? B, then the bound |A ^?1∩B| ≤ 2|B|/q ? 2 holds. He also gave examples showing that his bound is sharp for |B| ≤ q ³. Our main result is a proof of the stronger bound |A ^?1 ∩ B| ≤ |B|/q · (1 + O _d (q ^?1/2)), for |B| = q ^d with d > 3. We also classify all examples with |B| ≤ q ³ which attain equality or near-equality in Csajbók’s bound.     

Perturbation of the Moore–Penrose Metric Generalized Inverse in Reflexive Strictly Convex Banach Spaces

Let X,Y be reflexive strictly convex Banach spaces,let T,δT:X→Y be bounded linear operators with closed range R(T).Put T=T+δT.In this paper,by using the concept of quasiadditivity and the so called generalized Neumman lemma,we will give some error estimates of the bounds of |T~M|.By using a relation between the concepts of the reduced minimum module and the gap of two subspaces,some new existence characterization of the Moore-Penrose metric generalized inverse T~M of the perturbed operator T will be also given.     

Geometry and inequalities of geometric mean

We study some geometric properties associated with the t-geometric means A ?_tB:= A^1/2(A^?1/2BA^?1/2)^tA^1/2 of two n × n positive definite matrices A and B. Some geodesical convexity results with respect to the Riemannian structure of the n × n positive definite matrices are obtained. Several norm inequalities with geometric mean are obtained. In particular, we generalize a recent result of Audenaert (2015). Numerical counterexamples are given for some inequality questions. A conjecture on the geometric mean inequality regarding m pairs of positive definite matrices is posted.     

Rates of decay in the classical Katznelson-Tzafriri theorem

The Katznelson-Tzafriri Theorem states that, given a power-bounded operator T, ∥Tⁿ(I ? T)∥ → 0 as n → ∞ if and only if the spectrum σ(T) of T intersects the unit circle T in at most the point 1. This paper investigates the rate at which decay takes place when σ(T) ∩ T = {1}. The results obtained lead, in particular, to both upper and lower bounds on this rate of decay in terms of the growth of the resolvent operator R(e^iθ, T) as θ → 0. In the special case of polynomial resolvent growth, these bounds are then shown to be optimal for general Banach spaces but not in the Hilbert space case.     

New bounds in Balog-Szemerédi-Gowers theorem

We prove, in particular, that every finite subset A of an abelian group with the additive energy κ|A|³ contains a set A′ such that |A′|?κ|A| and |A′ ? A′|?κ ^?4|A′|.     

Invariance of the order and type of a sequence of operators

In the paper, the invariance property of characteristics (the order and type) of an operator and of a sequence of operators with respect to a topological isomorphism is proved. These characteristics give precise upper and lower bounds for the expressions ‖A_n(x)‖_p and enable one to state and solve problems of operator theory in locally convex spaces in a general setting. Examples of such problems are given by the completeness problem for the set of values of a vector function in a locally convex space, the structure problem for a subspace invariant with respect to an operator A, the problem of applicability of an operator series to a locally convex space, the theory of holomorphic operator-valued functions, the theory of operator and differential-operator equations in nonnormed spaces, and so on. However, the immediate evaluation of characteristics of operators (and of sequences of operators) directly by definition is practically unrealizable in spaces with more complicated structure than that of countably normed spaces, due to the absence of an explicit form of seminorms or to their complicated structure. The approach that we use enables us to find characteristics of operators and sequences of operators using the passage to the dual space, by-passing the definition, and makes it possible to obtain bounds for the expressions ‖A_n(x)‖_p even if an explicit form of seminorms is unknown.     

A note on generating <Emphasis Type="Italic">P</Emphasis>-matrices

We prove that for any \({A,B\in\mathbb{R}^{n\times n}}\) such that each matrix S satisfying min(A, B) ≤ S ≤ max(A, B) is nonsingular, all four matrices A ^?1 B, AB ^?1, B ^?1 A and BA ^?1 are P-matrices. A practical method for generating P-matrices is drawn from this result.     

Two-parameter families of uniquely extendable Diophantine triples

Let A and K be positive integers and ε∈ {-2,-1,1,2}. The main contribution of the paper is a proof that each of the D(ε~2)-triples {K, A~2 K+2εA,(A +1)~2 K + 2ε(A+1)} has uniqui extension to a D(ε~2)-quadruple. This is used to slightly strengthen the conditions required for the existencc of a D(1)-quintuple whose smallest three elements form a regular triple.     

Retraction algorithms for solving variational inequalities,pseudomonotone equilibrium problems,and fixed-point problems in Banach spaces

In this paper, using sunny generalized nonexpansive retractions which are different from the metric projection and generalized metric projection in Banach spaces, we present new extragradient and line search algorithms for finding the solution of a J-variational inequality whose constraint set is the common elements of the set of fixed points of a family of generalized nonexpansive mappings and the set of solutions of a pseudomonotone J-equilibrium problem for a J -α-inverse-strongly monotone operator in a Banach space. To prove strong convergence of generated iterates in the extragradient method, we introduce a ? _?-Lipschitz-type condition and assume that the equilibrium bifunction satisfies this condition. This condition is unnecessary when the line search method is used instead of the extragradient method. Using FMINCON optimization toolbox in MATLAB, we give some numerical examples and compare them with several existence results in literature to illustrate the usability of our results.