Related papers: Sharp Inequalities for Schur-Convex Functionals of…
Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems' safety properties. In particular, this work focuses on estimating the…
We investigate the performance of a deterministic GREEDY algorithm for the problem of maximizing functions under a partition matroid constraint. We consider non-monotone submodular functions and monotone subadditive functions. Even though…
This paper establishes new upper bounds for the $A$-numerical radius of operator matrices in semi-Hilbertian spaces by leveraging the $A$-Buzano inequality and developing refined techniques for operator matrices. We present several sharp…
In this paper, we derive sharp bounds on the semigroup of the linearized incompressible Navier-Stokes equations near a stationary shear layer in the half plane and in the half space ($\mathbb{R}_+^2$ or $\mathbb{R}_+^3$), with Dirichlet…
In this paper we obtain sharp Lieb-Thirring inequalities for a Schr\"odinger operator on semi-axis with a matrix potential and show how they can be used to other related problems. Among them are spectral inequalities on star graphs and…
This paper studies an optimization problem on the sum of traces of matrix quadratic forms on $m$ orthogonal matrices, which can be considered as a generalization of the synchronization of rotations. While the problem is nonconvex, the paper…
The constrained orthogonal Procrustes problem is the least-squares problem that calls for a rotation matrix that optimally aligns two corresponding sets of points in d-dimensional Euclidean space. This problem generalizes to the so-called…
We investigate the method of conjugate gradients, exploiting inaccurate matrix-vector products, for the solution of convex quadratic optimization problems. Theoretical performance bounds are derived, and the necessary quantities occurring…
We establish quantitative upper and lower bounds for Schr\"odinger operators with complex potentials that satisfy some weak form of sparsity. Our first result is a quantitative version of an example, due to S.\ Boegli (Comm. Math. Phys.,…
In this paper, we present several sharp upper bounds for the numerical radii of the diagonal and off-diagonal parts of the $2\times2$ block operator matrix $\begin{bmatrix}A&B\\ C&D\end{bmatrix}$. Among extensions of some results of…
Deriving sharp and computable upper bounds of the Lipschitz constant of deep neural networks is crucial to formally guarantee the robustness of neural-network based models. We analyse three existing upper bounds written for the $l^2$ norm.…
We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric…
We extend to infinite dimensional separable Hilbert spaces the Schur convexity property of eigenvalues of a symmetric matrix with real entries. Our framework includes both the case of linear, selfadjoint, compact operators, and that of…
We investigate the properties of a class of piecewise-fractional maps arising from the introduction of an invariance under rescaling into convex quadratic maps. The subsequent maps are quasiconvex, and pseudoconvex on specific convex cones;…
In this paper, we give upper and lower bounds for the spectral radius of a nonnegative irreducible matrix and characterize the equality cases. These bounds theoretically improve and generalize some known results of Duan et al.[X. Duan, B.…
We establish sharp universal upper bounds on the length of the shortest closed geodesic on a punctured sphere with three or four ends endowed with a complete Riemannian metric of finite area. These sharp curvature-free upper bounds are…
We introduce computational strategies for measuring the ``size'' of the spectrum of bounded self-adjoint operators using various metrics such as the Lebesgue measure, fractal dimensions, the number of connected components (or gaps), and…
It is known that the infimum of the sectional curvatures (on the regular part) of orbit spaces of isometric actions on unit spheres in bounded above by $4$. We show that the infimum is $1$ for "most" actions, and determine the cases in…
We describe the inequalities on the possible eigenvalues of products of unitary matrices in terms of quantum Schubert calculus. Related problems are the existence of flat connections on the punctured two-sphere with prescribed holonomies,…
Schr\"odinger operators with periodic (possibly complex-valued) potentials and discrete periodic operators (possibly with complex-valued entries) are considered, and in both cases the computational spectral problem is investigated: namely,…