Searcharxiv⌕ Search

arXiv subjects

Luis F. Zuluaga

Publications and source records attributed to Luis F. Zuluaga.

24 records · Page 2Linked to original sources

Positive polynomials on unbounded domains

Certificates of non-negativity such as Putinar's Positivstellensatz have been used to obtain powerful numerical techniques to solve polynomial optimization (PO) problems. Putinar's certificate uses sum-of-squares (sos) polynomials to certify the non-negativity of a given polynomial over a domain defined by polynomial inequalities. This certificate assumes the Archimedean property of the associated quadratic module, which in particular implies compactness of the domain. In this paper we characterize the existence of a certificate of non-negativity for polynomials over a possibly unbounded domain, without the use of the associated quadratic module. Next, we show that the certificate can be used to convergent linear matrix inequality (LMI) hierarchies for PO problems with unbounded feasible sets. Furthermore, by using copositive polynomials to certify non-negativity, instead of sos polynomials, the certificate allows the use of a very rich class of convergent LMI hierarchies to approximate the solution of general PO problems. Throughout the article we illustrate our results with various examples certifying the non-negativity of polynomials over possibly unbounded sets defined by polynomial equalities or inequalities.

math.OC↗

Pricing in non-convex markets with quadratic deliverability costs

The problem of obtaining market-clearing prices for markets with non-convexities has been widely studied in the literature. This is particularly the case in electricity markets, where worldwide deregulation leads to markets in which non-convexities arise from the decisions of market operators regarding which generators are committed to provide electricity power. Here, we extend seminal results in this area to address the problem of obtaining market-clearing prices for markets in which beyond non-convexities, it is relevant to account for convex quadratic market costs. In a general market, such costs arise from quadratic commodity costs or transactions costs. In an electricity market, such quadratic costs arise when ramping costs need to be considered due to the presence of renewable energy sources, which continue to increase their participation in electricity markets. To illustrate our results, we compute and analyze the clearing prices of a classical market problem with the addition of ramping costs.

math.OC↗

Alternative SDP and SOCP Approximations for Polynomial Optimization

In theory, hierarchies of semidefinite programming (SDP) relaxations based on sum of squares (SOS) polynomials have been shown to provide arbitrarily close approximations for a general polynomial optimization problem (POP). However, due to the computational challenge of solving SDPs, it becomes difficult to use SDP hierarchies for large-scale problems. To address this, hierarchies of second-order cone programming (SOCP) relaxations resulting from a restriction of the SOS polynomial condition have been recently proposed to approximate POPs. Here, we consider alternative ways to use this SOCP restrictions of the SOS condition. In particular, we show that SOCP hierarchies can be effectively used to strengthen hierarchies of linear programming (LP) relaxations for POPs. Specifically, we show that this solution approach is substantially more effective in finding solutions of certain POPs for which the more common hierarchies of SDP relaxations are known to perform poorly. Furthermore, when the feasible set of the POP is compact, these SOCP hierarchies converge to the POP's optimal value.

math.OC↗

Completely positive and completely positive semidefinite tensor relaxations for polynomial optimization

Completely positive (CP) tensors, which correspond to a generalization of CP matrices, allow to reformulate or approximate a general polynomial optimization problem (POP) with a conic optimization problem over the cone of CP tensors. Similarly, completely positive semidefinite (CPSD) tensors, which correspond to a generalization of positive semidefinite (PSD) matrices, can be used to approximate general POPs with a conic optimization problem over the cone of CPSD tensors. In this paper, we study CP and CPSD tensor relaxations for general POPs and compare them with the bounds obtained via a Lagrangian relaxation of the POPs. This shows that existing results in this direction for quadratic POPs extend to general POPs. Also, we provide some tractable approximation strategies for CP and CPSD tensor relaxations. These approximation strategies show that, with a similar computational effort, bounds obtained from them for general POPs can be tighter than bounds for these problems obtained by reformulating the POP as a quadratic POP, which subsequently can be approximated using CP and PSD matrices. To illustrate our results, we numerically compare the bounds obtained from these relaxation approaches on small scale fourth-order degree POPs.

math.OC↗

Computing semiparametric bounds on the expected payments of insurance instruments via column generation

It has been recently shown that numerical semiparametric bounds on the expected payoff of fi- nancial or actuarial instruments can be computed using semidefinite programming. However, this approach has practical limitations. Here we use column generation, a classical optimization technique, to address these limitations. From column generation, it follows that practical univari- ate semiparametric bounds can be found by solving a series of linear programs. In addition to moment information, the column generation approach allows the inclusion of extra information about the random variable; for instance, unimodality and continuity, as well as the construction of corresponding worst/best-case distributions in a simple way.

q-fin.PR↗

Copula-based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines

We design a Copula-based generic randomized truthful mechanism for scheduling on two unrelated machines with approximation ratio within $[1.5852, 1.58606]$, offering an improved upper bound for the two-machine case. Moreover, we provide an upper bound 1.5067711 for the two-machine two-task case, which is almost tight in view of the lower bound of 1.506 for the scale-free truthful mechanisms [4]. Of independent interest is the explicit incorporation of the concept of Copula in the design and analysis of the proposed approximation algorithm. We hope that techniques like this one will also prove useful in solving other problems in the future.

cs.GT↗