English
Related papers

Related papers: On Minimal and Minimum Cylindrical Algebraic Decom…

200 papers

Least Absolute Deviations (LAD) regression provides a robust alternative to ordinary least squares by minimizing the sum of absolute residuals. However, its widespread use has been limited by the computational cost of existing solvers,…

Methodology · Statistics 2026-03-23 Zehaan Naik , Debasis Kundu

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

Group Theory · Mathematics 2024-04-16 Elyasheev Leibtag

We propose a simple, data-efficient pipeline that augments an implicit reconstruction network based on neural SDF-based CAD parts with a part-segmentation head trained under PartField-generated supervision. Unlike methods tied to fixed…

Graphics · Computer Science 2025-10-07 Shen Fan , Przemyslaw Musialski

The complex of domains $D(S)$ is a geometric tool with a very rich simplicial structure, it contains the curve complex $C(S)$ as a simplicial subcomplex. In this paper we shall regard it as a metric space, endowed with the metric which…

Geometric Topology · Mathematics 2011-05-06 Valentina Disarlo

While there exists a rich array of matrix column subset selection problem (CSSP) algorithms for use with interpolative and CUR-type decompositions, their use can often become prohibitive as the size of the input matrix increases. In an…

Numerical Analysis · Mathematics 2024-03-12 Maria Emelianenko , Guy B. Oldaker

We develop a practical semidefinite programming (SDP) facial reduction procedure that utilizes computationally efficient approximations of the positive semidefinite cone. The proposed method simplifies SDPs with no strictly feasible…

Optimization and Control · Mathematics 2017-11-30 Frank Permenter , Pablo Parrilo

In this paper we propose a variant of the linear least squares model allowing practitioners to partition the input features into groups of variables that they require to contribute similarly to the final result. The output allows…

Machine Learning · Computer Science 2024-07-17 Roberto Esposito , Mattia Cerrato , Marco Locatelli

This paper concerns a method for finding the minimum of a polynomial on a semialgebraic set, i.e., a set in $\re^m$ defined by finitely many polynomial equations and inequalities, using the Karush-Kuhn-Tucker (KKT) system and sum of squares…

Optimization and Control · Mathematics 2007-05-23 Jiawang Nie , James W. Demmel , Victoria Powers

It is well-known that every regular language admits a unique minimal deterministic acceptor. Establishing an analogous result for non-deterministic acceptors is significantly more difficult, but nonetheless of great practical importance. To…

Formal Languages and Automata Theory · Computer Science 2023-06-16 Stefan Zetzsche , Alexandra Silva , Matteo Sammartino

Let $\mathbf{B}$ be a basis for an $r$-dimensional algebra $A$ over a field or commutative ring with unity. The semifusions of $\mathbf{B}$ are the partitions of $\mathbf{B}$ whose characteristic functions form the basis of a subalgebra of…

Combinatorics · Mathematics 2023-06-16 Allen Herman , Roghayeh Maleki

We first introduce a weak type of Zariski decomposition in higher dimensions: an $\R$-Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective…

Algebraic Geometry · Mathematics 2009-07-30 Caucher Birkar

Partial Set Cover (PSC) is a generalization of the well-studied Set Cover problem (SC). In PSC the input consists of an integer $k$ and a set system $(U,S)$ where $U$ is a finite set, and $S \subseteq 2^U$ is a collection of subsets of $U$.…

Data Structures and Algorithms · Computer Science 2019-07-11 Chandra Chekuri , Kent Quanrud , Zhao Zhang

We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the…

Computational Complexity · Computer Science 2014-11-25 James R. Lee , Prasad Raghavendra , David Steurer

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

For a simplicial complex ${\mathcal C}$ denote by $\beta({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground…

Combinatorics · Mathematics 2017-01-06 Ron Aharoni , Eli Berger , Dani Kotlar , Ran Ziv

This paper investigates the minimization of the expectation of piecewise polynomial loss functions over Wasserstein balls. This optimization problem often appears as a key sub-problem of distributionally robust optimization problems. We…

Optimization and Control · Mathematics 2026-02-25 N. D. Dizon , Q. Y. Huang , T. D. Chuong , G. Li , V. Jeyakumar

Since its inception, Benders Decomposition (BD) has been successfully applied to a wide range of large-scale mixed-integer (linear) problems. The key element of BD is the derivation of Benders cuts, which are often not unique. In this…

Optimization and Control · Mathematics 2024-05-21 Mojtaba Hosseini , John Turner

Recent advances in optimization methods used for training convolutional neural networks (CNNs) with kernels, which are normalized according to particular constraints, have shown remarkable success. This work introduces an approach for…

Computer Vision and Pattern Recognition · Computer Science 2017-11-28 Mete Ozay , Takayuki Okatani

We study the problems of covering or partitioning a polygon $P$ (possibly with holes) using a minimum number of small pieces, where a small piece is a connected sub-polygon contained in an axis-aligned unit square. For covering, we seek to…

Supervised dimensionality reduction has emerged as an important theme in the last decade. Despite the plethora of models and formulations, there is a lack of a simple model which aims to project the set of patterns into a space defined by…

Machine Learning · Statistics 2016-10-28 Anthony O. Smith , Anand Rangarajan