English
Related papers

Related papers: A Polyhedral Homotopy Algorithm For Real Zeros

200 papers

Suppose we have a signal y which we wish to represent using a linear combination of a number of basis atoms a_i, y=sum_i x_i a_i = Ax. The problem of finding the minimum L0 norm representation for y is a hard problem. The Basis Pursuit (BP)…

Information Theory · Computer Science 2016-08-04 Mark D. Plumbley

Speedup measures how much faster we can solve the same problem using many cores. If we can afford to keep the execution time fixed, then quality up measures how much better the solution will be computed using many cores. In this paper we…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-09-06 Jan Verschelde , Genady Yoffe

Counting the solution number of combinational optimization problems is an important topic in the study of computational complexity, especially on the #P-complete complexity class. In this paper, we first investigate some organizations of…

Computational Complexity · Computer Science 2015-06-19 Wei Wei , Renquan Zhang , Baolong Niu , Binghui Guo , Zhiming Zheng

We introduce a new variational method for the numerical homogenization of divergence form elliptic, parabolic and hyperbolic equations with arbitrary rough ($L^\infty$) coefficients. Our method does not rely on concepts of ergodicity or…

Numerical Analysis · Mathematics 2019-02-20 Houman Owhadi , Lei Zhang , Leonid Berlyand

Numerical algebraic geometry provides a number of efficient tools for approximating the solutions of polynomial systems. One such tool is the parameter homotopy, which can be an extremely efficient method to solve numerous polynomial…

Algebraic Geometry · Mathematics 2018-04-13 Daniel J. Bates , Danielle Brake , Matthew Niemerg

In this paper, we propose a novel sparse coding and counting method under Bayesian framwork for visual tracking. In contrast to existing methods, the proposed method employs the combination of L0 and L1 norm to regularize the linear…

Computer Vision and Pattern Recognition · Computer Science 2017-02-08 Risheng Liu , Jing Wang , Yiyang Wang , Zhixun Su , Yu Cai

We introduce a new algorithm, called adaptive sparse backfitting algorithm, for solving high dimensional Sparse Additive Model (SpAM) utilizing symmetric, non-negative definite smoothers. Unlike the previous sparse backfitting algorithm,…

Machine Learning · Statistics 2014-11-13 Yan Li

In this paper, we present an adaptive step-size homotopy tracking method for computing bifurcation points of nonlinear systems. There are four components in this new method: 1) an adaptive tracking technique is developed near bifurcation…

Numerical Analysis · Mathematics 2020-02-13 Wenrui Hao , Chunyue Zheng

Let $\mathbf{K}$ be a field of characteristic zero with $\overline{\mathbf{K}}$ its algebraic closure. Given a sequence of polynomials $\mathbf{g} = (g_1, \ldots, g_s) \in \mathbf{K}[x_1, \ldots , x_n]^s$ and a polynomial matrix $\mathbf{F}…

Symbolic Computation · Computer Science 2020-09-03 George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

Univariate polynomial root-finding is both classical and important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the polynomial…

Numerical Analysis · Mathematics 2014-07-01 Victor Y. Pan

Efficiently enumerating all the extreme points of a polytope identified by a system of linear inequalities is a well-known challenge issue.We consider a special case and present an algorithm that enumerates all the extreme points of a…

Discrete Mathematics · Computer Science 2024-07-04 Yasuko Matsui , Takeshi Naitoh , Ping Zhan

In this paper, motivated by the setting of white-space detection [1], we present theoretical and empirical results for detection of the zero-support E of x \in Cp (xi = 0 for i \in E) with reduced-dimension linear measurements. We propose…

Information Theory · Computer Science 2013-03-11 Juhwan Yoo , Yao Xie , Andrew Harms , Waheed U. Bajwa , Robert Calderbank

We present a general method for constructing real solutions to some problems in enumerative geometry which gives lower bounds on the maximum number of real solutions. We apply this method to show that two new classes of enumerative…

Algebraic Geometry · Mathematics 2025-10-20 Frank Sottile

We address combinatorial problems that can be formulated as minimization of a partially separable function of discrete variables (energy minimization in graphical models, weighted constraint satisfaction, pseudo-Boolean optimization, 0-1…

Computer Vision and Pattern Recognition · Computer Science 2015-05-05 Alexander Shekhovtsov

We describe an algorithm that associates to each positive real number $r$ and each finite collection $C_r$ of planar pixels of size $r$ a planar piecewise linear set $S_r$ with the following additional property: if $C_r$ is the collection…

Differential Geometry · Mathematics 2015-05-27 Liviu I. Nicolaescu , Brandon Rowekamp

Homotopy methods have proven to be a powerful tool for understanding the multitude of solutions provided by the coupled-cluster polynomial equations. This endeavor has been pioneered by quantum chemists that have undertaken both elaborate…

Quantum Physics · Physics 2024-01-17 Fabian M. Faulstich , Andre Laestadius

The Polyhedral Escape Problem for continuous linear dynamical systems consists of deciding, given an affine function $f: \mathbb{R}^{d} \rightarrow \mathbb{R}^{d}$ and a convex polyhedron $\mathcal{P} \subseteq \mathbb{R}^{d}$, whether, for…

Computational Complexity · Computer Science 2017-02-14 Joël Ouaknine , João Sousa-Pinto , James Worrell

An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain…

Symbolic Computation · Computer Science 2019-11-12 Zhenyu Huang , Yao Sun , Dongdai Lin

In this paper, the author establishes the existence of positive entire solutions to a general class of semilinear poly-harmonic systems, which includes equations and systems of the weighted Hardy--Littlewood--Sobolev type. The novel method…

Analysis of PDEs · Mathematics 2014-08-01 John Villavert

Morse matchings capture the essential structural information of discrete Morse functions. We show that computing optimal Morse matchings is NP-hard and give an integer programming formulation for the problem. Then we present polyhedral…

Combinatorics · Mathematics 2007-05-23 Michael Joswig , Marc E. Pfetsch