Results 1  10
of
181
Semidefinite Programming Relaxations for Semialgebraic Problems
, 2001
"... A hierarchy of convex relaxations for semialgebraic problems is introduced. For questions reducible to a finite number of polynomial equalities and inequalities, it is shown how to construct a complete family of polynomially sized semidefinite programming conditions that prove infeasibility. The mai ..."
Abstract

Cited by 222 (18 self)
 Add to MetaCart
A hierarchy of convex relaxations for semialgebraic problems is introduced. For questions reducible to a finite number of polynomial equalities and inequalities, it is shown how to construct a complete family of polynomially sized semidefinite programming conditions that prove infeasibility. The main tools employed are a semidefinite programming formulation of the sum of squares decomposition for multivariate polynomials, and some results from real algebraic geometry. The techniques provide a constructive approach for finding bounded degree solutions to the Positivstellensatz, and are illustrated with examples from diverse application fields.
Minimizing polynomial functions
 Proceedings of the DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science
, 2003
"... Abstract. We compare algorithms for global optimization of polynomial functions in many variables. It is demonstrated that existing algebraic methods (Gröbner bases, resultants, homotopy methods) are dramatically outperformed by a relaxation technique, due to N.Z. Shor and the first author, which in ..."
Abstract

Cited by 46 (3 self)
 Add to MetaCart
Abstract. We compare algorithms for global optimization of polynomial functions in many variables. It is demonstrated that existing algebraic methods (Gröbner bases, resultants, homotopy methods) are dramatically outperformed by a relaxation technique, due to N.Z. Shor and the first author, which involves sums of squares and semidefinite programming. This opens up the possibility of using semidefinite programming relaxations arising from the Positivstellensatz for a wide range of computational problems in real algebraic geometry. 1.
The Convex Geometry of Linear Inverse Problems
, 2010
"... In applications throughout science and engineering one is often faced with the challenge of solving an illposed inverse problem, where the number of available measurements is smaller than the dimension of the model to be estimated. However in many practical situations of interest, models are constr ..."
Abstract

Cited by 38 (10 self)
 Add to MetaCart
In applications throughout science and engineering one is often faced with the challenge of solving an illposed inverse problem, where the number of available measurements is smaller than the dimension of the model to be estimated. However in many practical situations of interest, models are constrained structurally so that they only have a few degrees of freedom relative to their ambient dimension. This paper provides a general framework to convert notions of simplicity into convex penalty functions, resulting in convex optimization solutions to linear, underdetermined inverse problems. The class of simple models considered are those formed as the sum of a few atoms from some (possibly infinite) elementary atomic set; examples include wellstudied cases such as sparse vectors (e.g., signal processing, statistics) and lowrank matrices (e.g., control, statistics), as well as several others including sums of a few permutations matrices (e.g., ranked elections, multiobject tracking), lowrank tensors (e.g., computer vision, neuroscience), orthogonal matrices (e.g., machine learning), and atomic measures (e.g., system identification). The convex programming formulation is based on minimizing the norm induced by the convex hull of the atomic set; this norm is referred to as the atomic norm. The facial
Flag algebras
 Journal of Symbolic Logic
"... Abstract. Asymptotic extremal combinatorics deals with questions that in the language of model theory can be restated as follows. For finite models M, N of an universal theory without constants and function symbols (like graphs, digraphs or hypergraphs), let p(M, N) be the probability that a random ..."
Abstract

Cited by 31 (3 self)
 Add to MetaCart
Abstract. Asymptotic extremal combinatorics deals with questions that in the language of model theory can be restated as follows. For finite models M, N of an universal theory without constants and function symbols (like graphs, digraphs or hypergraphs), let p(M, N) be the probability that a randomly chosen submodel of N with M  elements is isomorphic to M. Which asymptotic relations exist between the quantities p(M1, N),..., p(Mh, N), where M1,..., Mh are fixed “template ” models and N  grows to infinity? In this paper we develop a formal calculus that captures many standard arguments in the area, both previously known and apparently new. We give the first application of this formalism by presenting a new simple proof of a result by Fisher about the minimal possible density of triangles in a graph with given edge density. §1. Introduction. A substantial part of modern extremal combinatorics (which will be called here asymptotic extremal combinatorics) studies densities with which some “template ” combinatorial structures may or may not appear in unknown (large) structures of the same type1. As a typical example, let Gn be a
Sums of squares on real algebraic curves
 Math. Z
, 2003
"... Abstract. Given an affine algebraic variety V over R with compact set V (R) of real points, and a nonnegative polynomial function f ∈ R[V] with finitely many real zeros, we establish a localglobal criterion for f to be a sum of squares in R[V]. We then specialize to the case where V is a curve. Th ..."
Abstract

Cited by 26 (8 self)
 Add to MetaCart
Abstract. Given an affine algebraic variety V over R with compact set V (R) of real points, and a nonnegative polynomial function f ∈ R[V] with finitely many real zeros, we establish a localglobal criterion for f to be a sum of squares in R[V]. We then specialize to the case where V is a curve. The notion of virtual compactness is introduced, and it is shown that in the localglobal principle, compactness of V (R) can be relaxed to virtual compactness. The irreducible curves are classified on which every nonnegative polynomial is a sum of squares. All results are extended to the more general framework of preorders. Moreover, applications to the Kmoment problem from analysis are given. In particular, Schmüdgen’s solution of the Kmoment problem for compact K is extended, for dim(K) = 1, to the case when K is only virtually compact.
A survey of the Slemma
 SIAM Review
"... Abstract. In this survey we review the many faces of the Slemma, a result about the correctness of the Sprocedure. The basic idea of this widely used method came from control theory but it has important consequences in quadratic and semidefinite optimization, convex geometry, and linear algebra as ..."
Abstract

Cited by 26 (0 self)
 Add to MetaCart
Abstract. In this survey we review the many faces of the Slemma, a result about the correctness of the Sprocedure. The basic idea of this widely used method came from control theory but it has important consequences in quadratic and semidefinite optimization, convex geometry, and linear algebra as well. These were all active research areas, but as there was little interaction between researchers in these different areas, their results remained mainly isolated. Here we give a unified analysis of the theory by providing three different proofs for the Slemma and revealing hidden connections with various areas of mathematics. We prove some new duality results and present applications from control theory, error estimation, and computational geometry. Key words. Slemma, Sprocedure, control theory, nonconvex theorem of alternatives, numerical range, relaxation theory, semidefinite optimization, generalized convexities
Computational Real Algebraic Geometry
 HANDBOOK OF DISCRETE AND COMPUTATIONAL GEOMETRY, CHAPTER 29
, 1997
"... Computational real algebraic geometry studies various algorithmic questions dealing with the real solutions of a system of equalities, inequalities, and inequations of polynomials over the real numbers. This emerging field is largely motivated by the power and elegance with which it solves a broad ..."
Abstract

Cited by 25 (5 self)
 Add to MetaCart
Computational real algebraic geometry studies various algorithmic questions dealing with the real solutions of a system of equalities, inequalities, and inequations of polynomials over the real numbers. This emerging field is largely motivated by the power and elegance with which it solves a broad and general class of problems arising in robotics, vision, computer aided design, geometric theorem proving, etc. The algorithmic problems that arise in this context are formulated as decision problems for the firstorder theory of reals and the related problems of quantifier elimination (Section 1). The associated geometric structures are then examined via an exploration of the semialgebraic sets (Section 2). Algorithmic problems for semialgebraic sets are considered next. In particular, there is a discussion of real algebraic numbers and their representation which relies on such classical theorems as Stu
Global Nash convergence of Foster and Young’s regret testing
 Games and Economic Behavior
, 2007
"... We construct an uncoupled randomized strategy of repeated play such that, if every player plays according to it, mixed action profiles converge almost surely to a Nash equilibrium of the stage game. The strategy requires very little in terms of information about the game, as players ’ actions are ba ..."
Abstract

Cited by 25 (0 self)
 Add to MetaCart
We construct an uncoupled randomized strategy of repeated play such that, if every player plays according to it, mixed action profiles converge almost surely to a Nash equilibrium of the stage game. The strategy requires very little in terms of information about the game, as players ’ actions are based only on their own past payoffs. Moreover, in a variant of the procedure, players need not know that there are other players in the game and that payoffs are determined through other players ’ actions. The procedure works for finite generic games and is based on appropriate modifications of a simple stochastic learning rule introduced by Foster and Young [12]. Keywords Regret testing; Regretbased learning; Random search; Stochastic dynamics; Uncoupled dynamics; Global convergence to
Lenses in arrangements of pseudocircles and their applications
 J. ACM
, 2004
"... Abstract. A collection of simple closed Jordan curves in the plane is called a family of pseudocircles if any two of its members intersect at most twice. A closed curve composed of two subarcs of distinct Work on this article by P. Agarwal, J. Pach, and M. Sharir has been supported by a joint grant ..."
Abstract

Cited by 24 (10 self)
 Add to MetaCart
Abstract. A collection of simple closed Jordan curves in the plane is called a family of pseudocircles if any two of its members intersect at most twice. A closed curve composed of two subarcs of distinct Work on this article by P. Agarwal, J. Pach, and M. Sharir has been supported by a joint grant from the U.S.–Israel Binational Science Foundation. Work by P. Agarwal has also been supported by NSF grants EIA9870724, EIA9972879, ITR333
Linear time logic control of discretetime linear systems
 IEEE Transactions on Automatic Control
, 2006
"... Abstract. The control of complex systems poses new challenges that fall beyond the traditional methods of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several interacting submodules within a system. The desired objectives are no ..."
Abstract

Cited by 21 (3 self)
 Add to MetaCart
Abstract. The control of complex systems poses new challenges that fall beyond the traditional methods of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several interacting submodules within a system. The desired objectives are no longer captured by usual control specifications such as stabilization or output regulation. Instead, we consider specifications given by Linear Temporal Logic (LTL) formulas. We show that existence of controllers for discretetime controllable linear systems and LTL specifications can be decided and that such controllers can be effectively computed. The closedloop system is of hybrid nature, combining the original continuous dynamics with the automatically synthesized switching logic required to enforce the specification. 1.