Searcharxiv⌕ Search

arXiv · 2610.23736

Order relations for the near geometric and near spectral geometric curves

Abstract

We investigate order and spectral properties of the weighted near geometric curve $A\star_tB=A^{1/2}(B^{1/2}A^{-1}B^{1/2})^tA^{1/2}$ on the cone of positive definite matrices. Our focus is on comparisons governed by the Loewner order, eigenvalue inequalities, and log-majorization. We establish a normalized eigenvalue comparison with the weighted arithmetic mean, give a sufficient condition for the corresponding Loewner inequality, and obtain conditional log-majorization relations. Motivated by the relationship between the weighted geometric and spectral geometric means, we introduce the near spectral geometric curve $A\widetilde{\natural}_tB=(A^{-1}\star B)^tA(A^{-1}\star B)^t$, where $\star=\star_{1/2}$. Setting $D=A^{-1}\star_1B$, we prove that $A\widetilde{\natural}_tB=A\natural_tD$ and $B\prec_{\log}D$, and show that $D=B$ if and only if $A$ and $B$ commute. We further characterize commutativity and near-order monotonicity, prove midpoint isospectrality, and derive affine interpolation and constant-speed identities. Finally, we establish a Lie-Trotter formula and additional log-majorization inequalities. These results connect the two near geometric constructions with the geometric and spectral geometric means and clarify their order and spectral behavior.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Muritala Abiodun Ibrahim, Huajun Huang. 2026-10-16. Order relations for the near geometric and near spectral geometric curves. https://arxiv.org/abs/2610.23736

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Non-linear Dirichlet Functionals: Markovianity, Locality, Invariance

We present in a unified setting the foundations for a theory of non-linear Dirichlet functionals on Hilbert spaces. We prove known and new equivalences between non-linear semigroups, non-linear resolvents, non-linear generators, and their energy functionals, including a complete characterization of Markovianity. We introduce and characterize strong notions of invariance for general lower semicontinuous convex functionals, and notions of locality and strong locality for non-linear Dirichlet functionals. Contrary to many partial results in the literature, these characterizations are complete under minimal natural assumptions, and reduce to the classical ones in the bilinear case. Our definitions and proofs simplify and clarify the analogous facts in the linear theory, showing in particular that (the equality defining) locality is a saturation of (the inequality defining) Markovianity.

math.FA↗

Löwner equations and de Branges--Rovnyak spaces

We study one-parameter families of de Branges--Rovnyak spaces associated with the radial and chordal Löwner equations. Our approach is based on a classical but little-known technique of the de Branges school. In this paper, we recast this technique in the theory of direct integrals and integral operators. As an application, we prove Fourier-type expansion theorems induced by the Löwner equations, and give answers to a problem posed by Fricain--Hartmann--Ross.

math.FA↗

On one relaxation of the bounded-length-distortion condition in the context of metric measure spaces

We reformulate the bounded-length-distortion condition for maps between metric spaces in a certain relaxed form that requires the presence of a reference measure on the source space, which makes the new approach more natural from the perspective of maps from metric measure spaces to metric spaces. Within this framework, we establish some mapping results in an entirely singular setting of the following general structure: a metric measure space of finite Hausdorff dimension admits a map with the relaxed bounded-length-distortion condition into a finite-dimensional normed space.

math.FA↗