Source author record

Luis Felipe Vargas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
2close collaborators

Published work

2 publications

preprint2024arXiv

Semidefinite approximations for bicliques and biindependent pairs

We investigate some graph parameters dealing with biindependent pairs (A,B)(A,B) in a bipartite graph G=(V1∪V2,E)G=(V_1\cup V_2,E), i.e., pairs (A,B)(A,B) where A⊆V1A\subseteq V_1, B⊆V2B\subseteq V_2 and A∪BA\cup B is independent. These parameters also allow to study bicliques in general graphs. When maximizing the cardinality ∣A∪B∣|A\cup B| one finds the stability number α(G)α(G), well-known to be polynomial-time computable. When maximizing the product ∣A∣⋅∣B∣|A|\cdot |B| one finds the parameter g(G)g(G), shown to be NP-hard by Peeters (2003), and when maximizing the ratio ∣A∣⋅∣B∣/∣A∪B∣|A|\cdot |B|/|A\cup B| one finds h(G)h(G), introduced by Vallentin (2020) for bounding product-free sets in finite groups. We show that h(G)h(G) is an NP-hard parameter and, as a crucial ingredient, that it is NP-complete to decide whether a bipartite graph GG has a balanced maximum independent set. These hardness results motivate introducing semidefinite programming bounds for g(G)g(G), h(G)h(G), and αbal(G)α_{\text{bal}}(G) (the maximum cardinality of a balanced independent set). We show that these bounds can be seen as natural variations of the Lovász ϑ\vartheta-number, a well-known semidefinite bound on α(G)α(G). In addition we formulate closed-form eigenvalue bounds and we show relationships among them as well as with earlier spectral parameters by Hoffman, Haemers (2001) and Vallentin (2020).

preprint2022arXiv

On the Exactness of Sum-of-Squares Approximations for the Cone of 5×55\times 5 Copositive Matrices

We investigate the hierarchy of conic inner approximations Kn(r)\mathcal{K}^{(r)}_n (r∈Nr\in \mathbb{N}) for the copositive cone COPn\text{COP}_n, introduced by Parrilo (Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization, PhD Thesis, California Institute of Technology, 2001). It is known that COP4=K4(0)\text{COP}_4=\mathcal{K}^{(0)}_4 and that, while the union of the cones Kn(r)\mathcal{K}^{(r)}_n covers the interior of COPn\text{COP}_n, it does not cover the full cone COPn\text{COP}_n if n≥6n\geq 6. Here we investigate the remaining case n=5n=5, where all extreme rays have been fully characterized by Hildebrand (The extreme rays of the 5 ×\times 5 copositive cone. Linear Algebra and its Applications, 437(7):1538--1547, 2012). We show that the Horn matrix HH and its positive diagonal scalings play an exceptional role among the extreme rays of COP5\text{COP}_5. We show that equality COP5=⋃r≥0K5(r)\text{COP}_5=\bigcup_{r\geq 0} \mathcal{K}^{(r)}_5 holds if and only if any positive diagonal scaling of HH belongs to K5(r)\mathcal{K}^{(r)}_5 for some r∈Nr\in \mathbb{N}. As a main ingredient for the proof, we introduce new Lasserre-type conic inner approximations for COPn\text{COP}_n, based on sums of squares of polynomials. We show their links to the cones Kn(r)\mathcal{K}^{(r)}_n, and we use an optimization approach that permits to exploit finite convergence results on Lasserre hierarchy to show membership in the new cones.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.