English
Related papers

Related papers: Exposed faces of semidefinitely representable sets

200 papers

For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex…

Functional Analysis · Mathematics 2025-04-25 Kyle Bierly , Stephan Ramon Garcia , Roger A. Horn

We consider linear systems arising from the use of the finite element method for solving scalar linear elliptic problems. Our main result is that these linear systems, which are symmetric and positive semidefinite, are well approximated by…

Numerical Analysis · Mathematics 2025-10-20 Erik Boman , Bruce Hendrickson , Stephen Vavasis

Different commutative semigroups may have a common saturation. We consider distinguishing semigroups with a common saturation based on their ``sparsity''. We propose to qualitatively describe sparsity of a semigroup by considering which…

Combinatorics · Mathematics 2008-06-02 Akimichi Takemura , Ruriko Yoshida

This article studies algebraic certificates of positivity for noncommutative (nc) operator-valued polynomials on matrix convex sets, such as the solution set $D_L$, called a free Hilbert spectrahedron, of the linear operator inequality…

Operator Algebras · Mathematics 2016-10-06 Aljaž Zalar

Much research has been conducted on both face identification and face verification, with greater focus on the latter. Research on face identification has mostly focused on using closed-set protocols, which assume that all probe images used…

Computer Vision and Pattern Recognition · Computer Science 2017-05-22 Manuel Günther , Steve Cruz , Ethan M. Rudd , Terrance E. Boult

Semidefinite programming (SDP) is the task of optimizing a linear function over the common solution set of finitely many linear matrix inequalities (LMIs). For the running time of SDP solvers, the maximal matrix size of these LMIs is…

Optimization and Control · Mathematics 2021-01-29 Claus Scheiderer

For a class of semilinear elliptic equations, we establish criteria that guarantee that the linearized operator associated with a solution satisfies certain spectral assumptions that are widely used in the analysis of the stability of…

Analysis of PDEs · Mathematics 2026-03-26 John Albert , Steven Levandosky

The performance of modern face recognition systems is a function of the dataset on which they are trained. Most datasets are largely biased toward "near-frontal" views with benign lighting conditions, negatively effecting recognition…

Computer Vision and Pattern Recognition · Computer Science 2017-04-17 Daniel Crispell , Octavian Biris , Nate Crosswhite , Jeffrey Byrne , Joseph L. Mundy

Given a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming…

Optimization and Control · Mathematics 2015-07-23 Victor Magron , Didier Henrion , Jean-Bernard Lasserre

We develop tractable convex relaxations for rank-constrained quadratic optimization problems over $n \times m$ matrices, a setting for which tractable relaxations are typically only available when the objective or constraints admit spectral…

Optimization and Control · Mathematics 2026-05-22 Ryan Cory-Wright , Jean Pauphilet

Understanding how explicit theoretical features are encoded in opaque neural systems is a central challenge now common to neuroscience and AI. We introduce Metric Learning Encoding Models (MLEMs) to address this challenge most directly as a…

Computation and Language · Computer Science 2025-11-17 Louis Jalouzot , Christophe Pallier , Emmanuel Chemla , Yair Lakretz

In this paper, we study the problem of facial expression recognition using a novel space-time geometric representation. We describe the temporal evolution of facial landmarks as parametrized trajectories on the Riemannian manifold of…

Computer Vision and Pattern Recognition · Computer Science 2017-07-21 Anis Kacem , Mohamed Daoudi , Boulbaba Ben Amor , Juan Carlos Alvarez-Paiva

Semidefinite programs (SDPs) -- some of the most useful and versatile optimization problems of the last few decades -- are often pathological: the optimal values of the primal and dual problems may differ and may not be attained. Such SDPs…

Optimization and Control · Mathematics 2019-10-23 Gabor Pataki

Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance…

Optimization and Control · Mathematics 2015-09-15 Fabrizio Dabbene , Didier Henrion , Constantino Lagoa

Volumetric rendering has become central to modern novel view synthesis methods, which use differentiable rendering to optimize 3D scene representations directly from observed views. While many recent works build on NeRF or 3D Gaussians, we…

Computer Vision and Pattern Recognition · Computer Science 2025-10-17 Nicolas von Lützow , Matthias Nießner

Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the…

Algebraic Geometry · Mathematics 2015-04-24 Daniel Plaumann , Rainer Sinn , David E. Speyer , Cynthia Vinzant

Open-set face recognition describes a scenario where unknown subjects, unseen during the training stage, appear on test time. Not only it requires methods that accurately identify individuals of interest, but also demands approaches that…

Computer Vision and Pattern Recognition · Computer Science 2023-08-25 Rafael Henrique Vareto , William Robson Schwartz

A totally symmetric set is a finite subset of a group for which any permutation of the elements can be realized by conjugation in the ambient group. Such sets are rigid under homomorphisms, and so exert a great deal of control over the…

Group Theory · Mathematics 2022-04-27 Noah Caplinger , Nick Salter

This paper establishes new Positivstellens\"atze for polynomials that are positive on sets defined by polynomial matrix inequalities (PMIs). We extend the classical Handelman and Krivine-Stengle theorems from the scalar inequality setting…

Optimization and Control · Mathematics 2025-09-03 Feng Guo

Let $K\subseteq{\mathbb R}^n$ be a convex semialgebraic set. The semidefinite extension degree ${\mathrm{sxdeg}}(K)$ of $K$ is the smallest number $d$ such that $K$ is a linear image of an intersection of finitely many spectrahedra, each of…

Algebraic Geometry · Mathematics 2024-10-15 Claus Scheiderer