English
Related papers

Related papers: A Triangle Algorithm for Semidefinite Version of C…

200 papers

The factorization of skew-symmetric matrices is a critically understudied area of dense linear algebra, particularly in comparison to that of general and symmetric matrices. While some algorithms can be adapted from the symmetric case, the…

Mathematical Software · Computer Science 2026-05-06 Ishna Satyarth , Chao Yin , Devin A. Matthews , Maggie Myers , Robert van de Geijn , RuQing G. Xu

$ \newcommand{\epsA}{\Mh{\delta}} \newcommand{\Re}{\mathbb{R}} \newcommand{\reals}{\mathbb{R}} \newcommand{\SetX}{\mathsf{X}} \renewcommand{\P}{P} \newcommand{\diam}{\Delta} \newcommand{\Mh}[1]{#1} \newcommand{\query}{q}…

Computational Geometry · Computer Science 2025-02-18 Sariel Har-Peled , Eliot W. Robson

We prove that the rank-one convex hull of finitely many $2\times 2$ triangular matrices is a semialgebraic set, defined by linear and quadratic polynomials. We present explicit constructions for five-point configurations and offer evidence…

Metric Geometry · Mathematics 2025-09-10 Chiara Meroni , Bogdan Raita

This paper deals with the problem of finding the globally optimal subset of h elements from a larger set of n elements in d space dimensions so as to minimize a quadratic criterion, with an special emphasis on applications to computing the…

Optimization and Control · Mathematics 2015-06-01 Salvador Flores

We consider the non-adaptive bit-probe complexity of the set membership problem, where a set S of size at most n from a universe of size m is to be represented as a short bit vector in order to answer membership queries of the form "Is x in…

Data Structures and Algorithms · Computer Science 2017-01-02 Mohit Garg , Jaikumar Radhakrishnan

Dictionary Learning (DL) is one of the leading sparsity promoting techniques in the context of image classification, where the "dictionary" matrix D of images and the sparse matrix X are determined so as to represent a redundant image…

Numerical Analysis · Mathematics 2022-03-10 Domitilla Brandoni , Margherita Porcelli , Valeria Simoncini

In this paper we study the problem of maximizing the distance to a given point over an intersection of balls. It was already known that this problem can be solved in polynomial time and space if the given point is not in the convex hull of…

Optimization and Control · Mathematics 2023-10-09 Marius Costandin , Beniamin Costandin

We show that given an estimate $\widehat{A}$ that is close to a general high-rank positive semi-definite (PSD) matrix $A$ in spectral norm (i.e., $\|\widehat{A}-A\|_2 \leq \delta$), the simple truncated SVD of $\widehat{A}$ produces a…

Machine Learning · Statistics 2017-11-07 Simon S. Du , Yining Wang , Aarti Singh

We propose a novel methodology for solving a two-stage adjustable robust convex optimisation problem with a general (proximable) convex objective function and constraints defined by sum-of-squares (SOS) convex polynomials. These problems…

Optimization and Control · Mathematics 2026-02-17 Neil D. Dizon , Bethany I. Caldwell , Vaithilingam Jeyakumar , Guoyin Li

We present an efficient algorithm to solve semirandom planted instances of any Boolean constraint satisfaction problem (CSP). The semirandom model is a hybrid between worst-case and average-case input models, where the input is generated by…

Computational Complexity · Computer Science 2023-10-02 Venkatesan Guruswami , Jun-Ting Hsieh , Pravesh K. Kothari , Peter Manohar

We study the decision version of tensor spectral norm from the viewpoint of real algebraic complexity. For a rationally specified tensor, the tensor spectral threshold problem asks whether its spectral norm exceeds a prescribed rational…

Computational Complexity · Computer Science 2026-05-05 Angshul Majumdar

Selective Harmonic Elimination Pulse Width Modulation (SHEPWM) is an important technique to solve PWM problems, which control the output voltage of an inverter via selecting appropriate switching angles. Based on the Rational Univariate…

Numerical Analysis · Mathematics 2015-12-07 Bao-Xin Shang , Shu-Gong Zhang , Na Lei , Jing-Yi Chen

Spectral embedding based on the Singular Value Decomposition (SVD) is a widely used "preprocessing" step in many learning tasks, typically leading to dimensionality reduction by projecting onto a number of dominant singular vectors and…

Machine Learning · Statistics 2015-09-29 Dinesh Ramasamy , Upamanyu Madhow

Mixed membership community detection is a challenging problem. In this paper, to detect mixed memberships, we propose a new method Mixed-SLIM which is a spectral clustering method on the symmetrized Laplacian inverse matrix under the…

Machine Learning · Statistics 2024-04-08 Huan Qing , Jingli Wang

A Banach space operator $T\in B({\cal X})$ is polaroid if points $\lambda\in\iso\sigma\sigma(T)$ are poles of the resolvent of $T$. Let $\sigma_a(T)$, $\sigma_w(T)$, $\sigma_{aw}(T)$, $\sigma_{SF_+}(T)$ and $\sigma_{SF_-}(T)$ denote,…

Functional Analysis · Mathematics 2008-12-16 B. P. Duggal

Two alternative scenarios are shown possible in Quantum Mechanics working with non-Hermitian $PT-$symmetric form of observables. While, usually, people assume that $P$ is a self-adjoint indefinite metric in Hilbert space (and that their…

Quantum Physics · Physics 2007-05-23 Miloslav Znojil

A solution to the effectiveness problem in Kohn's algorithm for generating subelliptic multipliers is provided for domains that include those given by sums of squares of holomorphic functions (also including infinite sums). These domains…

Complex Variables · Mathematics 2020-03-17 Sung-Yeon Kim , Dmitri Zaitsev

We construct a pseudospectral method for the solution of time-dependent, non-linear partial differential equations on a three-dimensional spherical shell. The problem we address is the treatment of tensor fields on the sphere. As a test…

Computational Physics · Physics 2015-05-27 Bernd Bruegmann

There are two well known types of algorithms for solving CSPs: local propagation and generating a basis of the solution space. For several years the focus of the CSP research has been on `hybrid' algorithms that somehow combine the two…

Logic in Computer Science · Computer Science 2017-05-16 Andrei A. Bulatov

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

Group Theory · Mathematics 2019-06-26 A. S. Detinko , D. L. Flannery , A. Hulpke