Related papers: The Horn cone associated with symplectic eigenvalu…
In this paper, we extend the Hermite-Hadamard type $\dot{I}$scan inequality to the class of symmetrized harmonic convex functions. The corresponding version for harmonic h-convex functions is also investigated. Furthermore, we establish…
In this article, we obtain some results in the direction of ``infinite dimensional symplectic spectral theory". We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators.…
The classical Hermitian eigenvalue problem addresses the following question: What are the possible eigenvalues of the sum A+B of two Hermitian matrices A and B, provided we fix the eigenvalues of A and B. A systematic study of this problem…
We review some convexity inequalities for Hermitian matrices an add one more to the list.
We present a new proof of the "arithmetic" large sieve inequality, starting from the corresponding "harmonic" inequality, which is based on an amplification idea. We show that this also adapts to give some new sieve inequality for modular…
This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification. These techniques have been previously…
According to Taubes, the Gromov invariants of a symplectic four-manifold X with b_+ > 1 satisfy the duality Gr(A) = +/- Gr(K-A), where K is Poincare dual to the canonical class. Extending joint work with Simon Donaldson in math.SG/0012067,…
The randomised Horn problem, in both its additive and multiplicative version, has recently drawn increasing interest. Especially, closed analytical results have been found for the rank-1 perturbation of sums of Hermitian matrices and…
The Morse-Bott inequalities relate the topology of a closed manifold to the topology of the critical point set of a Morse-Bott function defined on it. The Morse-Bott inequalities are sometimes stated under incorrect orientation assumptions.…
This is a continuation of arXiv: 2408.03012. We answer affirmatively Question 5.10 posed in the previous article. More precisely, let $(X, \omega)$ be a conical symplectic variety of dimension $2n$ with $wt(\omega) = 2$, which has a…
From the cohomological point of view the symplectomorphism group $Sympl (M)$ of a symplectic manifold is `` tamer'' than the diffeomorphism group. The existence of invariant polynomials in the Lie algebra $\frak {sympl }(M)$, the symplectic…
We establish the converse of Weyl's eigenvalue inequality for additive Hermitian perturbations of a Hermitian matrix.
We first describe a system of inequalities (Horn's inequalities) that characterize eigenvalues of sums of Hermitian matrices. When we apply this system for integral Hermitian matrices, one can directly test it by using Littlewood-Richardson…
The Golden-Thompson trace inequality which states that $Tr\, e^{H+K} \leq Tr\, e^H e^K$ has proved to be very useful in quantum statistical mechanics. Golden used it to show that the classical free energy is less than the quantum one. Here…
Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical…
The main purpose of this paper is to englobe some new and known types of Hermitian block-matrices $M=\begin{pmatrix} A \& X\\ {X^*} \& B\end{pmatrix}$ satisfying or not the inequality $\|M\|\le \|A+B\|$ for all symmetric norms
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision-tree learning algorithm that learns from Horn-ICE samples,…
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative…
Symplectic eigenvalues are conventionally defined for symmetric positive-definite matrices via Williamson's diagonal form. Many properties of standard eigenvalues, including the trace minimization theorem, are extended to the case of…
Homological mirror symmetry predicts that there is a relation between autoequivalence groups of derived categories of coherent sheaves on Calabi-Yau varieties, and the symplectic mapping class groups of symplectic manifolds. In this paper,…