English
Related papers

Related papers: Exposed faces of semidefinitely representable sets

200 papers

Motivated by recent advances in solution methods for mixed-integer convex optimization (MICP), we study the fundamental and open question of which sets can be represented exactly as feasible regions of MICP problems. We establish several…

Optimization and Control · Mathematics 2021-10-26 Miles Lubin , Juan Pablo Vielma , Ilias Zadik

Given a known matrix that is the sum of a low rank matrix and a masked sparse matrix, we wish to recover both the low rank component and the sparse component. The sparse matrix is masked in the sense that a linear transformation has been…

Information Theory · Computer Science 2025-04-29 Xuemei Chen , Rongrong Wang

We show that maximal $S$-free convex sets are polyhedra when $S$ is the set of integral points in some rational polyhedron of $\mathbb{R}^n$. This result extends a theorem of Lov\'asz characterizing maximal lattice-free convex sets. Our…

Optimization and Control · Mathematics 2017-01-24 Amitabh Basu , Michele Conforti , Gerard Cornuejols , Giacomo Zambelli

A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the…

Functional Analysis · Mathematics 2019-07-10 Igor Klep , Scott McCullough , Klemen Šivic , Aljaž Zalar

Split cuts are cutting planes for mixed integer programs whose validity is derived from maximal lattice point free polyhedra of the form $S:=\{x : \pi_0 \leq \pi^T x \leq \pi_0+1 \}$ called split sets. The set obtained by adding all split…

Optimization and Control · Mathematics 2009-06-30 Kent Andersen , Quentin Louveaux , Robert Weismantel

We study the representability of sets that admit extended formulations using mixed-integer bilevel programs. We show that feasible regions modeled by continuous bilevel constraints (with no integer variables), complementarity constraints,…

Optimization and Control · Mathematics 2018-10-10 Amitabh Basu , Christopher Thomas Ryan , Sriram Sankaranarayanan

The projection lemma (often also referred to as the elimination lemma) is one of the most powerful and useful tools in the context of linear matrix inequalities for system analysis and control. In its traditional formulation, the projection…

Optimization and Control · Mathematics 2024-03-18 T. J. Meijer , T. Holicki , S. J. A. M. van den Eijnden , C. W. Scherer , W. P. M. H. Heemels

Currently, the simplex method and the interior point method are indisputably the most popular algorithms for solving linear programs, LPs. Unlike general conic programs, LPs with a finite optimal value do not require strict feasibility in…

Optimization and Control · Mathematics 2023-01-10 Jiyoung Im , Henry Wolkowicz

Synthesis of visible spectrum faces from thermal facial imagery is a promising approach for heterogeneous face recognition; enabling existing face recognition software trained on visible imagery to be leveraged, and allowing human analysts…

Computer Vision and Pattern Recognition · Computer Science 2018-03-22 Benjamin S. Riggan , Nathaniel J. Short , Shuowen Hu

This article resides in the realm of the noncommutative (free) analog of real algebraic geometry - the study of polynomial inequalities and equations over the real numbers - with a focus on matrix convex sets $C$ and their projections $\hat…

Functional Analysis · Mathematics 2018-04-27 J. William Helton , Igor Klep , Scott McCullough

The accurate representation of epistemic uncertainty is a challenging yet essential task in machine learning. A widely used representation corresponds to convex sets of probabilistic predictors, also known as credal sets. One popular way of…

Machine Learning · Computer Science 2025-07-30 Mira Jürgens , Thomas Mortier , Eyke Hüllermeier , Viktor Bengs , Willem Waegeman

The Finite Element Method (FEM) is widely used to solve discrete Partial Differential Equations (PDEs) in engineering and graphics applications. The popularity of FEM led to the development of a large family of variants, most of which…

Numerical Analysis · Computer Science 2022-03-10 Teseo Schneider , Yixin Hu , Xifeng Gao , Jeremie Dumas , Denis Zorin , Daniele Panozzo

This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images and the computation of their similarity. The first step in…

Computer Vision and Pattern Recognition · Computer Science 2007-05-23 Joel Le Roux , Philippe Chaurand , Mickael Urrutia

We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors. The interesting parameters of a semilinear…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Simon Beier , Markus Holzer , Martin Kutrib

The proposed method extends upon the representational output of semantic instance segmentation by explicitly including both visible and occluded parts. A fully convolutional network is trained to produce consistent pixel-level embedding…

Computer Vision and Pattern Recognition · Computer Science 2020-02-18 Yanfeng Liu , Eric Psota , Lance Pérez

The matrix logarithm, when applied to Hermitian positive definite matrices, is concave with respect to the positive semidefinite order. This operator concavity property leads to numerous concavity and convexity results for other matrix…

Optimization and Control · Mathematics 2019-12-06 Hamza Fawzi , James Saunderson , Pablo A. Parrilo

We discuss local linear smooth backfitting for additive non-parametric models. This procedure is well known for achieving optimal convergence rates under appropriate smoothness conditions. In particular, it allows for the estimation of each…

Statistics Theory · Mathematics 2022-01-27 Munir Hiabu , Enno Mammen , Joseph T. Meyer

Probabilistic Face Embeddings (PFE) can improve face recognition performance in unconstrained scenarios by integrating data uncertainty into the feature representation. However, existing PFE methods tend to be over-confident in estimating…

Computer Vision and Pattern Recognition · Computer Science 2021-06-23 Kai Chen , Qi Lv , Taihe Yi

Consider the closed convex hull $K$ of a monomial curve given parametrically as $(t^{m_1},\ldots,t^{m_n})$, with the parameter $t$ varying in an interval $I$. We show, using constructive arguments, that $K$ admits a lifted semidefinite…

Optimization and Control · Mathematics 2023-03-08 Gennadiy Averkov , Claus Scheiderer

We consider the problem of minimizing a linear function over an affine section of the cone of positive semidefinite matrices, with the additional constraint that the feasible matrix has prescribed rank. When the rank constraint is active,…

Systems and Control · Computer Science 2016-11-22 Simone Naldi