English
Related papers

Related papers: Linear Matrix Inequality Representation of Sets

200 papers

We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the…

Algebraic Geometry · Mathematics 2011-08-23 Tim Netzer , Daniel Plaumann , Andreas Thom

Large-language models are capable of completing a variety of tasks, but remain unpredictable and intractable. Representation engineering seeks to resolve this problem through a new approach utilizing samples of contrasting inputs to detect…

Artificial Intelligence · Computer Science 2025-02-26 Lukasz Bartoszcze , Sarthak Munshi , Bryan Sukidi , Jennifer Yen , Zejia Yang , David Williams-King , Linh Le , Kosi Asuzu , Carsten Maple

Region-specific linear models are widely used in practical applications because of their non-linear but highly interpretable model representations. One of the key challenges in their use is non-convexity in simultaneous optimization of…

Machine Learning · Statistics 2014-11-03 Hidekazu Oiwa , Ryohei Fujimaki

In the MINIMUM CONVEX COVER (MCC) problem, we are given a simple polygon $\mathcal P$ and an integer $k$, and the question is if there exist $k$ convex polygons whose union is $\mathcal P$. It is known that MCC is $\mathsf{NP}$-hard…

Computational Geometry · Computer Science 2021-06-07 Mikkel Abrahamsen

It is a well known fact that in $\mathbb{R}^n$ a subset of minimal perimeter $L$ among all sets of a given volume is also a set of maximal volume among all sets of the same perimeter $L$. This is called the reciprocity principle for…

Analysis of PDEs · Mathematics 2018-03-29 Michael Bildhauer , Martin Fuchs , Jan Mueller

In this document the author proves that several problems in data-driven numerical approximation of dynamical systems in $\mathbb{C}^n$, can be reduced to the computation of a family of constrained matrix representations of elements of the…

Operator Algebras · Mathematics 2019-06-13 Fredy Vides

We consider uniformly strongly elliptic systems of the second order with bounded coefficients. First, sufficient conditions for the invariance of convex bodies obtained for linear systems without zero order term in bounded domains and…

Analysis of PDEs · Mathematics 2014-12-09 Gershon Kresin , Vladimir Maz'ya

Let $\Gamma_1$ and $\Gamma_2$ be two lattices of finite covolume in a semisimple Lie group $G$. We prove a spectral rigidity result for the representation spectra of the right regular representations $L^2(\Gamma_1 \backslash G)$ and…

Representation Theory · Mathematics 2025-10-15 Chandrasheel Bhagwat , Kaustabh Mondal

The aim of this study is to investigate less conservative conditions for a parameterized linear matrix inequality (PLMI) expressed in the form of a double convex sum. This type of PLMI frequently appears in T-S fuzzy control system analysis…

Systems and Control · Electrical Eng. & Systems 2023-07-14 Do Wan Kim , Dong Hwan Lee

Metric learning seeks to embed images of objects suchthat class-defined relations are captured by the embeddingspace. However, variability in images is not just due to different depicted object classes, but also depends on other latent…

Computer Vision and Pattern Recognition · Computer Science 2019-09-26 Karsten Roth , Biagio Brattoli , Björn Ommer

A multi-objective optimization problem is $C^r$ weakly simplicial if there exists a $C^r$ surjection from a simplex onto the Pareto set/front such that the image of each subsimplex is the Pareto set/front of a subproblem, where $0\leq r\leq…

Optimization and Control · Mathematics 2021-07-20 Yusuke Mizota , Naoki Hamada , Shunsuke Ichiki

Graphs are mathematical tools that can be used to represent complex real-world interconnected systems, such as financial markets and social networks. Hence, machine learning (ML) over graphs has attracted significant attention recently.…

Machine Learning · Computer Science 2023-10-24 O. Deniz Kose , Yanning Shen , Gonzalo Mateos

Given the collection of all $m\times n$ rectangular grids which have a fixed number $1\leq r\leq mn$ of blocked cells, we explicitly describe a proper subset of the collection which is guaranteed to contain at least one grid from each…

Combinatorics · Mathematics 2025-11-27 Noah Jensen , Stephanie Treneer

We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild…

We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…

Logic in Computer Science · Computer Science 2016-03-04 Zoltan Esik

This paper studies hidden convexity properties associated with constrained optimization problems over the set of rotation matrices $\text{SO}(n)$. Such problems are nonconvex due to the constraint $X \in \text{SO}(n)$. Nonetheless, we show…

Optimization and Control · Mathematics 2024-05-01 Akshay Ramachandran , Kevin Shu , Alex L. Wang

To reliably model real robot characteristics, interval linear systems of equations allow to describe families of problems that consider sets of values. This allows to easily account for typical complexities such as sets of joint states and…

Robotics · Computer Science 2021-04-02 Joshua Pickard , Vincent Padois , Milan Hladík , David Daney

The observational characteristics of a linear structural equation model can be effectively described by polynomial constraints on the observed covariance matrix. However, these polynomials can be exponentially large, making them impractical…

Statistics Theory · Mathematics 2022-08-02 Thijs van Ommen , Mathias Drton

In the Segment Intersection Graph Representation Problem, we want to represent the vertices of a graph as straight line segments in the plane such that two segments cross if and only if there is an edge between the corresponding vertices.…

Computational Geometry · Computer Science 2025-02-25 Simon D. Fink , Matthias Pfretzschner , Peter Stumpf

We give a natural sufficient condition for an intersection graph of compact convex sets in R^d to have a balanced separator of sublinear size. This condition generalizes several previous results on sublinear separators in intersection…

Combinatorics · Mathematics 2020-01-07 Zdenek Dvorak , Rose McCarty , Sergey Norin