-
Split distributions on Grassmann manifolds and smooth quadric hypersurfaces
Authors:
Alana Cavalcante,
Fernando Lourenço
Abstract:
This work is dedicated to studying holomorphic distributions on Grassmann manifolds and smooth quadric hypersurfaces. In special, we prove, under certain conditions, when the tangent and conormal sheaves of a distribution splits as a sum of line bundle on these manifolds, generalizing the previous works on Fano threefolds and $\mathbb{P}^{n}$. We finish the paper with result about the connectivity…
▽ More
This work is dedicated to studying holomorphic distributions on Grassmann manifolds and smooth quadric hypersurfaces. In special, we prove, under certain conditions, when the tangent and conormal sheaves of a distribution splits as a sum of line bundle on these manifolds, generalizing the previous works on Fano threefolds and $\mathbb{P}^{n}$. We finish the paper with result about the connectivity of the singular locus of the distribution.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
On the equivalence of a Hessian-free inequality and Lipschitz continuous Hessian
Authors:
Radu I. Boţ,
Minh N. Dao,
Tianxiang Liu,
Bruno F. Lourenço,
Naoki Marumo
Abstract:
It is known that if a twice differentiable function has a Lipschitz continuous Hessian, then its gradients satisfy a Jensen-type inequality. In particular, this inequality is Hessian-free in the sense that the Hessian does not actually appear in the inequality. In this paper, we show that the converse holds in a generalized setting: if a continuos function from a Hilbert space to a reflexive Banac…
▽ More
It is known that if a twice differentiable function has a Lipschitz continuous Hessian, then its gradients satisfy a Jensen-type inequality. In particular, this inequality is Hessian-free in the sense that the Hessian does not actually appear in the inequality. In this paper, we show that the converse holds in a generalized setting: if a continuos function from a Hilbert space to a reflexive Banach space satisfies such an inequality, then it is Fréchet differentiable and its derivative is Lipschitz continuous. Our proof relies on the Baillon-Haddad theorem.
△ Less
Submitted 1 May, 2025; v1 submitted 23 April, 2025;
originally announced April 2025.
-
Facial structure of copositive and completely positive cones over a second-order cone
Authors:
Mitsuhiro Nishijima,
Bruno F. Lourenço
Abstract:
We classify the faces of copositive and completely positive cones over a second-order cone and investigate their dimension and exposedness properties. Then we compute two parameters related to chains of faces of both cones. At the end, we discuss some possible extensions of the results with a view toward analyzing the facial structure of general copositive and completely positive cones.
We classify the faces of copositive and completely positive cones over a second-order cone and investigate their dimension and exposedness properties. Then we compute two parameters related to chains of faces of both cones. At the end, we discuss some possible extensions of the results with a view toward analyzing the facial structure of general copositive and completely positive cones.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
Inner approximations of convex sets and intersections of projectionally exposed cones
Authors:
Bruno F. Lourenço,
Vera Roshchina,
James Saunderson
Abstract:
A convex cone is said to be projectionally exposed (p-exposed) if every face arises as a projection of the original cone. It is known that, in dimension at most four, the intersection of two p-exposed cones is again p-exposed. In this paper we construct two p-exposed cones in dimension $5$ whose intersection is not p-exposed. This construction also leads to the first example of an amenable cone th…
▽ More
A convex cone is said to be projectionally exposed (p-exposed) if every face arises as a projection of the original cone. It is known that, in dimension at most four, the intersection of two p-exposed cones is again p-exposed. In this paper we construct two p-exposed cones in dimension $5$ whose intersection is not p-exposed. This construction also leads to the first example of an amenable cone that is not projectionally exposed, showing that these properties, which coincide in dimension at most $4$, are distinct in dimension $5$. In order to achieve these goals, we develop a new technique for constructing arbitrarily tight inner convex approximations of compact convex sets with desired facial structure. These inner approximations have the property that all proper faces are extreme points, with the exception of a specific exposed face of the original set.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Faces of homogeneous cones and applications to homogeneous chordality
Authors:
João Gouveia,
Masaru Ito,
Bruno F. Lourenço
Abstract:
A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD) matrices that follow a sparsity pattern given by a homogeneous chordal graph. Our goal in this paper is to elucidate the facial structure of homogeneous cones and make…
▽ More
A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD) matrices that follow a sparsity pattern given by a homogeneous chordal graph. Our goal in this paper is to elucidate the facial structure of homogeneous cones and make it as transparent as the faces of the PSD matrices. We prove that each face of a homogeneous cone $\mathcal{K}$ is mapped by an automorphism of $\mathcal{K}$ to one of its finitely many so-called principal faces. Furthermore, constructing such an automorphism can be done algorithmically by making use of a generalized Cholesky decomposition. Among other consequences, we give a proof that homogeneous cones are projectionally exposed, which strengthens the previous best result that they are amenable. Using our results, we will carefully analyze the facial structure of cones of PSD matrices satisfying homogeneous chordality and discuss consequences for the corresponding family of PSD completion problems.
△ Less
Submitted 11 June, 2025; v1 submitted 16 January, 2025;
originally announced January 2025.
-
Log Baum--Bott Residues for foliations by curves
Authors:
Maurício Corrêa,
Fernando Lourenço,
Diogo Machado
Abstract:
We prove a Baum-Bott type residual formula for one-dimensional holomorphic foliations, with isolated singularities, and logarithmic along free divisors. More precisely, this provides a Baum--Bott theorem for a foliated triple $(X,\mathscr{F}, D)$, where $ \mathscr{F}$ is a foliation by curves and $D $ is a free divisor on a complex manifold $X$. From the local point of view, we show that the log B…
▽ More
We prove a Baum-Bott type residual formula for one-dimensional holomorphic foliations, with isolated singularities, and logarithmic along free divisors. More precisely, this provides a Baum--Bott theorem for a foliated triple $(X,\mathscr{F}, D)$, where $ \mathscr{F}$ is a foliation by curves and $D $ is a free divisor on a complex manifold $X$. From the local point of view, we show that the log Baum--Bott residues are a generalization of the Aleksandrov logarithmic index for vector fields with isolated singularities on hypersurfaces. We also show how these new indices are related to Poincaré's Problem for foliations by curves. In the case of foliated surfaces, we show that the differences between the logarithmic residues and Baum--Bott indices along invariant curves can be expressed in terms of the GSV and Camacho--Sad indices. We also obtain a Baum--Bott type formula for singular varieties via log resolutions. Finally, we prove a weak global version of the Lipman--Zariski conjecture for compact algebraic surfaces.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
A note of characteristic class for singular varieties
Authors:
Antonio M. Ferreira,
Fernando Lourenco
Abstract:
In this work we study characteristic classes of possibly singular varieties embedded as a closed subvariety of a nonsingular variety. In special, we express the Schwartz-MacPherson class in terms of the $μ$-class and Chern class of the sheaves of logarithmic and multi-logarithmic differential forms. As an application we show an expression for Euler characteristic of a complement of a singular vari…
▽ More
In this work we study characteristic classes of possibly singular varieties embedded as a closed subvariety of a nonsingular variety. In special, we express the Schwartz-MacPherson class in terms of the $μ$-class and Chern class of the sheaves of logarithmic and multi-logarithmic differential forms. As an application we show an expression for Euler characteristic of a complement of a singular variety.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Concrete convergence rates for common fixed point problems under Karamata regularity
Authors:
Tianxiang Liu,
Bruno F. Lourenço
Abstract:
We introduce the notion of Karamata regular operators, which is a notion of regularity that is suitable for obtaining concrete convergence rates for common fixed point problems. This provides a broad framework that includes, but goes beyond, Hölderian error bounds and Hölder regular operators. By concrete, we mean that the rates we obtain are explicitly expressed in terms of a function of the iter…
▽ More
We introduce the notion of Karamata regular operators, which is a notion of regularity that is suitable for obtaining concrete convergence rates for common fixed point problems. This provides a broad framework that includes, but goes beyond, Hölderian error bounds and Hölder regular operators. By concrete, we mean that the rates we obtain are explicitly expressed in terms of a function of the iteration number $k$ instead, of say, a function of the iterate $x^k$. While it is well-known that under Hölderian-like assumptions many algorithms converge linearly/sublinearly (depending on the exponent), little it is known when the underlying problem data does not satisfy Hölderian assumptions, which may happen if a problem involves exponentials and logarithms. Our main innovation is the usage of the theory of regularly varying functions which we showcase by obtaining concrete convergence rates for quasi-cylic algorithms in non-Hölderian settings. This includes certain rates that are neither sublinear nor linear but sit somewhere in-between, including a case where the rate is expressed via the Lambert W function. Finally, we connect our discussion to o-minimal geometry and show that definable operators in any o-minimal structure are always Karamata regular.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Projection onto hyperbolicity cones and beyond: a dual Frank-Wolfe approach
Authors:
Takayuki Nagano,
Bruno F. Lourenço,
Akiko Takeda
Abstract:
We discuss the problem of projecting a point onto an arbitrary hyperbolicity cone from both theoretical and numerical perspectives. While hyperbolicity cones are furnished with a generalization of the notion of eigenvalues, obtaining closed form expressions for the projection operator as in the case of semidefinite matrices is an elusive endeavour. To address that we propose a Frank-Wolfe method t…
▽ More
We discuss the problem of projecting a point onto an arbitrary hyperbolicity cone from both theoretical and numerical perspectives. While hyperbolicity cones are furnished with a generalization of the notion of eigenvalues, obtaining closed form expressions for the projection operator as in the case of semidefinite matrices is an elusive endeavour. To address that we propose a Frank-Wolfe method to handle this task and, more generally, strongly convex optimization over closed convex cones. One of our innovations is that the Frank-Wolfe method is actually applied to the dual problem and, by doing so, subproblems can be solved in closed-form using minimum eigenvalue functions and conjugate vectors. To test the validity of our proposed approach, we present numerical experiments where we check the performance of alternative approaches including interior point methods and an earlier accelerated gradient method proposed by Renegar. We also show numerical examples where the hyperbolic polynomial has millions of monomials. Finally, we also discuss the problem of projecting onto p-cones which, although not hyperbolicity cones in general, are still amenable to our techniques.
△ Less
Submitted 4 September, 2024; v1 submitted 12 July, 2024;
originally announced July 2024.
-
Minimal hyperbolic polynomials and ranks of homogeneous cones
Authors:
João Gouveia,
Masaru Ito,
Bruno F. Lourenço
Abstract:
The starting point of this paper is the computation of minimal hyperbolic polynomials of duals of cones arising from chordal sparsity patterns. From that, we investigate the relation between ranks of homogeneous cones and their minimal polynomials. Along the way, we answer in the negative a question posed in an earlier paper and show examples of homogeneous cones that cannot be realized as rank-on…
▽ More
The starting point of this paper is the computation of minimal hyperbolic polynomials of duals of cones arising from chordal sparsity patterns. From that, we investigate the relation between ranks of homogeneous cones and their minimal polynomials. Along the way, we answer in the negative a question posed in an earlier paper and show examples of homogeneous cones that cannot be realized as rank-one generated (ROG) hyperbolicity cones.
△ Less
Submitted 11 June, 2025; v1 submitted 4 April, 2024;
originally announced April 2024.
-
Tight error bounds for log-determinant cones without constraint qualifications
Authors:
Ying Lin,
Scott B. Lindstrom,
Bruno F. Lourenço,
Ting Kei Pong
Abstract:
In this paper, without requiring any constraint qualifications, we establish tight error bounds for the log-determinant cone, which is the closure of the hypograph of the perspective function of the log-determinant function. This error bound is obtained using the recently developed framework based on one-step facial residual functions.
In this paper, without requiring any constraint qualifications, we establish tight error bounds for the log-determinant cone, which is the closure of the hypograph of the perspective function of the log-determinant function. This error bound is obtained using the recently developed framework based on one-step facial residual functions.
△ Less
Submitted 10 April, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
Non-facial exposedness of copositive cones over symmetric cones
Authors:
Mitsuhiro Nishijima,
Bruno F. Lourenço
Abstract:
In this paper, we consider copositive cones over symmetric cones and show that they are never facially exposed when the underlying cone has dimension at least 2. We do so by explicitly exhibiting a non-exposed extreme ray. Our result extends the known fact that the cone of copositive matrices over the nonnegative orthant is not facially exposed in general.
In this paper, we consider copositive cones over symmetric cones and show that they are never facially exposed when the underlying cone has dimension at least 2. We do so by explicitly exhibiting a non-exposed extreme ray. Our result extends the known fact that the cone of copositive matrices over the nonnegative orthant is not facially exposed in general.
△ Less
Submitted 3 December, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
Inequalities and enumerative formulas for flags of Pfaff systems
Authors:
Miguel Rodríguez Peña,
Fernando Lourenço
Abstract:
In this work, we study inequalities and enumerative formulas for flags of Pfaff systems on $\mathbb{P}^n_{\mathbb{C}}$. More specifically, we find the number of independent Pfaff systems that leave invariant a one-dimensional holomorphic foliation and deduce inequalities relating the degrees in the flags, which can be interpreted as the Poincaré problem for flags. Moreover, restricting to a flag o…
▽ More
In this work, we study inequalities and enumerative formulas for flags of Pfaff systems on $\mathbb{P}^n_{\mathbb{C}}$. More specifically, we find the number of independent Pfaff systems that leave invariant a one-dimensional holomorphic foliation and deduce inequalities relating the degrees in the flags, which can be interpreted as the Poincaré problem for flags. Moreover, restricting to a flag of specific holomorphic foliations/distributions, we obtain inequalities involving the degrees. As a consequence, we prove stability results for the tangent sheaf of some rank two holomorphic foliations/distributions.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Eigenvalue programming beyond matrices
Authors:
Masaru Ito,
Bruno F. Lourenço
Abstract:
In this paper we analyze and solve eigenvalue programs, which consist of the task of minimizing a function subject to constraints on the "eigenvalues" of the decision variable. Here, by making use of the FTvN systems framework introduced by Gowda, we interpret "eigenvalues" in a broad fashion going beyond the usual eigenvalues of matrices. This allows us to shed new light on classical problems suc…
▽ More
In this paper we analyze and solve eigenvalue programs, which consist of the task of minimizing a function subject to constraints on the "eigenvalues" of the decision variable. Here, by making use of the FTvN systems framework introduced by Gowda, we interpret "eigenvalues" in a broad fashion going beyond the usual eigenvalues of matrices. This allows us to shed new light on classical problems such as inverse eigenvalue problems and also leads to new applications. In particular, after analyzing and developing a simple projected gradient algorithm for general eigenvalue programs, we show that eigenvalue programs can be used to express what we call vanishing quadratic constraints. A vanishing quadratic constraint requires that a given system of convex quadratic inequalities be satisfied and at least a certain number of those inequalities must be tight. As a particular case, this includes the problem of finding a point $x$ in the intersection of $m$ ellipsoids in such a way that $x$ is also in the boundary of at least $\ell$ of the ellipsoids, for some fixed $\ell > 0$. At the end, we also present some numerical experiments.
△ Less
Submitted 17 April, 2024; v1 submitted 8 November, 2023;
originally announced November 2023.
-
On flags of holomorphic foliations associated with singular second-order ordinary differential equations
Authors:
Fernando Lourenço,
Eurípedes da Silva,
Fernando Reis
Abstract:
We consider germs of holomorphic vector fields at the origin of $\mathbb{C}^3$, with non-isolated singularities that are tangent to a holomorphic foliation of codimension one. This configuration is known as a $2$-flag of foliations. The focus is on cases where this geometric structure originates from second-order ordinary differential equations. We investigate the behavior of the singular sets ass…
▽ More
We consider germs of holomorphic vector fields at the origin of $\mathbb{C}^3$, with non-isolated singularities that are tangent to a holomorphic foliation of codimension one. This configuration is known as a $2$-flag of foliations. The focus is on cases where this geometric structure originates from second-order ordinary differential equations. We investigate the behavior of the singular sets associated with the foliations under consideration. Furthermore, we present a classification for second-order equations that admit a $2$-flag of foliations. Finally, we propose a general method for constructing germs of $2$-flags of foliations at the origin of $\mathbb{C}^n$, with suitable properties of the singular sets, and we conclude by demonstrating that under generic assumptions, every equation of order greater than or equal to two is associated formally with a germ of 2-flag of holomorphic foliations at $(\mathbb{C}^3,0)$.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Closing Duality Gaps of SDPs through Perturbation
Authors:
Takashi Tsuchiya,
Bruno F. Lourenço,
Masakazu Muramatsu,
Takayuki Okuno
Abstract:
Let $({\bf P},{\bf D})$ be a primal-dual pair of SDPs with a nonzero finite duality gap. Under such circumstances, ${\bf P}$ and ${\bf D}$ are weakly feasible and if we perturb the problem data to recover strong feasibility, the (common) optimal value function $v$ as a function of the perturbation is not well-defined at zero (unperturbed data) since there are ``two different optimal values''…
▽ More
Let $({\bf P},{\bf D})$ be a primal-dual pair of SDPs with a nonzero finite duality gap. Under such circumstances, ${\bf P}$ and ${\bf D}$ are weakly feasible and if we perturb the problem data to recover strong feasibility, the (common) optimal value function $v$ as a function of the perturbation is not well-defined at zero (unperturbed data) since there are ``two different optimal values'' $v({\bf P})$ and $v({\bf D})$, where $v({\bf P})$ and $v({\bf D})$ are the optimal values of ${\bf P}$ and ${\bf D}$ respectively. Thus, continuity of $v$ is lost at zero though $v$ is continuous elsewhere. Nevertheless, we show that a limiting version ${v_a}$ of $v$ is a well-defined monotone decreasing continuous bijective function connecting $v({\bf P})$ and $v({\bf D})$ with domain $[0, π/2]$ under the assumption that both ${\bf P}$ and ${\bf D}$ have singularity degree one. The domain $[0,π/2]$ corresponds to directions of perturbation defined in a certain manner. Thus, ${v_a}$ ``completely fills'' the nonzero duality gap under a mild regularity condition. Our result is tight in that there exists an instance with singularity degree two for which ${v_a}$ is not continuous.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
A brief introduction on residue theory of holomorphic foliations
Authors:
Fernando Lourenço,
Fernando Reis
Abstract:
This is a survey paper dealing with holomorphic foliations, with emphasis on residue theory and its applications. We start recalling the definition of holomorphic foliations as a subsheaf of the tangent sheaf of a manifold. The theory of Characteristic Classes of vector bundles is approached from this perspective. We define Chern classes of holomorphic foliations using the Chern-Weil theory and we…
▽ More
This is a survey paper dealing with holomorphic foliations, with emphasis on residue theory and its applications. We start recalling the definition of holomorphic foliations as a subsheaf of the tangent sheaf of a manifold. The theory of Characteristic Classes of vector bundles is approached from this perspective. We define Chern classes of holomorphic foliations using the Chern-Weil theory and we remark that the Baum-Bott residue is a great tool that help us to classify some foliations. We present throughout the survey several recent results and advances in residue theory. We finish by presenting some applications of residues to solve for example the Poincaré problem and the existence of minimal sets for foliations.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Generalized power cones: optimal error bounds and automorphisms
Authors:
Ying Lin,
Scott B. Lindstrom,
Bruno F. Lourenço,
Ting Kei Pong
Abstract:
Error bounds are a requisite for trusting or distrusting solutions in an informed way. Until recently, provable error bounds in the absence of constraint qualifications were unattainable for many classes of cones that do not admit projections with known succinct expressions. We build such error bounds for the generalized power cones, using the recently developed framework of one-step facial residu…
▽ More
Error bounds are a requisite for trusting or distrusting solutions in an informed way. Until recently, provable error bounds in the absence of constraint qualifications were unattainable for many classes of cones that do not admit projections with known succinct expressions. We build such error bounds for the generalized power cones, using the recently developed framework of one-step facial residual functions. We also show that our error bounds are tight in the sense of that framework. Besides their utility for understanding solution reliability, the error bounds we discover have additional applications to the algebraic structure of the underlying cone, which we describe. In particular we use the error bounds to compute the dimension of the automorphism group for the generalized power cones, and to identify a set of generalized power cones that are self-dual, irreducible, nonhomogeneous, and perfect
△ Less
Submitted 22 October, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Automorphisms of rank-one generated hyperbolicity cones and their derivative relaxations
Authors:
Masaru Ito,
Bruno F. Lourenço
Abstract:
A hyperbolicity cone is said to be rank-one generated (ROG) if all its extreme rays have rank one, where the rank is computed with respect to the underlying hyperbolic polynomial. This is a natural class of hyperbolicity cones which are strictly more general than the ROG spectrahedral cones. In this work, we present a study of the automorphisms of ROG hyperbolicity cones and their derivative relax…
▽ More
A hyperbolicity cone is said to be rank-one generated (ROG) if all its extreme rays have rank one, where the rank is computed with respect to the underlying hyperbolic polynomial. This is a natural class of hyperbolicity cones which are strictly more general than the ROG spectrahedral cones. In this work, we present a study of the automorphisms of ROG hyperbolicity cones and their derivative relaxations. One of our main results states that the automorphisms of the derivative relaxations are exactly the automorphisms of the original cone fixing a certain direction. As an application, we completely determine the automorphisms of the derivative relaxations of the nonnegative orthant and of the cone of positive semidefinite matrices. More generally, we also prove relations between the automorphisms of a spectral cone and the underlying permutation-invariant set, which might be of independent interest.
△ Less
Submitted 28 January, 2023; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Self-dual polyhedral cones and their slack matrices
Authors:
João Gouveia,
Bruno F. Lourenço
Abstract:
We analyze self-dual polyhedral cones and prove several properties about their slack matrices. In particular, we show that self-duality is equivalent to the existence of a positive semidefinite (PSD) slack. Beyond that, we show that if the underlying cone is irreducible, then the corresponding PSD slacks are not only doubly nonnegative matrices (DNN) but are extreme rays of the cone of DNN matrice…
▽ More
We analyze self-dual polyhedral cones and prove several properties about their slack matrices. In particular, we show that self-duality is equivalent to the existence of a positive semidefinite (PSD) slack. Beyond that, we show that if the underlying cone is irreducible, then the corresponding PSD slacks are not only doubly nonnegative matrices (DNN) but are extreme rays of the cone of DNN matrices, which correspond to a family of extreme rays not previously described. More surprisingly, we show that, unless the cone is simplicial, PSD slacks not only fail to be completely positive matrices but they also lie outside the cone of completely positive semidefinite matrices. Finally, we show how one can use semidefinite programming to probe the existence of self-dual cones with given combinatorics. Our results are given for polyhedral cones but we also discuss some consequences for negatively self-polar polytopes.
△ Less
Submitted 5 March, 2023; v1 submitted 24 July, 2022;
originally announced July 2022.
-
A Simplified Treatment of Ramana's Exact Dual for Semidefinite Programming
Authors:
Bruno F. Lourenço,
Gábor Pataki
Abstract:
In semidefinite programming the dual may fail to attain its optimal value and there could be a duality gap, i.e., the primal and dual optimal values may differ. In a striking paper, Ramana proposed a polynomial size extended dual that does not have these deficiencies and yields a number of fundamental results in complexity theory. In this work we walk the reader through a concise and self-containe…
▽ More
In semidefinite programming the dual may fail to attain its optimal value and there could be a duality gap, i.e., the primal and dual optimal values may differ. In a striking paper, Ramana proposed a polynomial size extended dual that does not have these deficiencies and yields a number of fundamental results in complexity theory. In this work we walk the reader through a concise and self-contained derivation of Ramana's dual, relying mostly on elementary linear algebra.
△ Less
Submitted 6 September, 2022; v1 submitted 26 May, 2022;
originally announced May 2022.
-
Optimal error bounds in the absence of constraint qualifications with applications to the $p$-cones and beyond
Authors:
Scott B. Lindstrom,
Bruno F. Lourenço,
Ting Kei Pong
Abstract:
We prove tight Hölderian error bounds for all $p$-cones. Surprisingly, the exponents differ in several ways from those that have been previously conjectured; moreover, they illuminate $p$-cones as a curious example of a class of objects that possess properties in 3 dimensions that they do not in 4 or more. Using our error bounds, we analyse least squares problems with $p$-norm regularization, wher…
▽ More
We prove tight Hölderian error bounds for all $p$-cones. Surprisingly, the exponents differ in several ways from those that have been previously conjectured; moreover, they illuminate $p$-cones as a curious example of a class of objects that possess properties in 3 dimensions that they do not in 4 or more. Using our error bounds, we analyse least squares problems with $p$-norm regularization, where our results enable us to compute the corresponding KL exponents for previously inaccessible values of $p$. Another application is a (relatively) simple proof that most $p$-cones are neither self-dual nor homogeneous. Our error bounds are obtained under the framework of facial residual functions, and we expand it by establishing for general cones an optimality criterion under which the resulting error bound must be tight.
△ Less
Submitted 27 March, 2024; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Hyperbolicity cones are amenable
Authors:
Bruno F. Lourenço,
Vera Roshchina,
James Saunderson
Abstract:
Amenability is a notion of facial exposedness for convex cones that is stronger than being facially dual complete (or "nice") which is, in turn, stronger than merely being facially exposed. Hyperbolicity cones are a family of algebraically structured closed convex cones that contain all spectrahedral cones (linear sections of positive semidefinite cones) as special cases. It is known that all spec…
▽ More
Amenability is a notion of facial exposedness for convex cones that is stronger than being facially dual complete (or "nice") which is, in turn, stronger than merely being facially exposed. Hyperbolicity cones are a family of algebraically structured closed convex cones that contain all spectrahedral cones (linear sections of positive semidefinite cones) as special cases. It is known that all spectrahedral cones are amenable. We establish that all hyperbolicity cones are amenable. As part of the argument, we show that any face of a hyperbolicity cone is a hyperbolicity cone. As a corollary, we show that the intersection of two hyperbolicity cones, not necessarily sharing a common relative interior point, is a hyperbolicity cone.
△ Less
Submitted 2 April, 2023; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Amenable cones are particularly nice
Authors:
Bruno F. Lourenço,
Vera Roshchina,
James Saunderson
Abstract:
Amenability is a geometric property of convex cones that is stronger than facial exposedness and assists in the study of error bounds for conic feasibility problems. In this paper we establish numerous properties of amenable cones, and investigate the relationships between amenability and other properties of convex cones, such as niceness and projectional exposure.
We show that the amenability o…
▽ More
Amenability is a geometric property of convex cones that is stronger than facial exposedness and assists in the study of error bounds for conic feasibility problems. In this paper we establish numerous properties of amenable cones, and investigate the relationships between amenability and other properties of convex cones, such as niceness and projectional exposure.
We show that the amenability of a compact slice of a closed convex cone is equivalent to the amenability of the cone, and prove several results on the preservation of amenability under intersections and other convex operations. It then follows that homogeneous, doubly nonnegative and other cones that can be represented as slices of the cone of positive semidefinite matrices, are amenable.
It is known that projectionally exposed cones are amenable and that amenable cones are nice, however the converse statements have been open questions. We construct an example of a four-dimensional cone that is nice but not amenable. We also show that amenable cones are projectionally exposed in dimensions up to and including four.
We conclude with a discussion on open problems related to facial structure of convex sets that we came across in the course of this work, but were not able to fully resolve.
△ Less
Submitted 21 April, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Baum-Bott residue of flags of holomorphic distributions
Authors:
Antonio Marcos Ferreira Da Silva,
Fernando Lourenço
Abstract:
In this work we extend the residue theory from flag of holomorphic foliations to flag of holomorphic distributions and we provide an effective way to calculate this class in certain cases. As a consequence, we show that if we consider a flag $\mathcal{F} = (\mathcal{F}_{1}, \mathcal{F}_{2})$ of holomorphic distributions on $\mathbb{P}^{3}$, we get a relation between the degrees of the distribution…
▽ More
In this work we extend the residue theory from flag of holomorphic foliations to flag of holomorphic distributions and we provide an effective way to calculate this class in certain cases. As a consequence, we show that if we consider a flag $\mathcal{F} = (\mathcal{F}_{1}, \mathcal{F}_{2})$ of holomorphic distributions on $\mathbb{P}^{3}$, we get a relation between the degrees of the distributions in the flag, the tangency order of distributions, the Euler characteristic and the degree of the curve $C.$
△ Less
Submitted 20 November, 2023; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Error bounds, facial residual functions and applications to the exponential cone
Authors:
Scott B. Lindstrom,
Bruno F. Lourenço,
Ting Kei Pong
Abstract:
We construct a general framework for deriving error bounds for conic feasibility problems. In particular, our approach allows one to work with cones that fail to be amenable or even to have computable projections, two previously challenging barriers. For the purpose, we first show how error bounds may be constructed using objects called one-step facial residual functions. Then, we develop several…
▽ More
We construct a general framework for deriving error bounds for conic feasibility problems. In particular, our approach allows one to work with cones that fail to be amenable or even to have computable projections, two previously challenging barriers. For the purpose, we first show how error bounds may be constructed using objects called one-step facial residual functions. Then, we develop several tools to compute these facial residual functions even in the absence of closed form expressions for the projections onto the cones. We demonstrate the use and power of our results by computing tight error bounds for the exponential cone feasibility problem. Interestingly, we discover a natural example for which the tightest error bound is related to the Boltzmann-Shannon entropy. We were also able to produce an example of sets for which a Hölderian error bound holds but the supremum of the set of admissible exponents is not itself an admissible exponent.
△ Less
Submitted 9 March, 2022; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Convergence analysis under consistent error bounds
Authors:
Tianxiang Liu,
Bruno F. Lourenço
Abstract:
We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and Hölderian error bounds and includes logarithmic and entropic error bounds found in the exponential cone. It also includes the error bounds obtainable under the theory of amenable cones. Our main result i…
▽ More
We introduce the notion of consistent error bound functions which provides a unifying framework for error bounds for multiple convex sets. This framework goes beyond the classical Lipschitzian and Hölderian error bounds and includes logarithmic and entropic error bounds found in the exponential cone. It also includes the error bounds obtainable under the theory of amenable cones. Our main result is that the convergence rate of several projection algorithms for feasibility problems can be expressed explicitly in terms of the underlying consistent error bound function. Another feature is the usage of Karamata theory and functions of regular variations which allows us to reason about convergence rates while bypassing certain complicated expressions. Finally, applications to conic feasibility problems are given and we show that a number of algorithms have convergence rates depending explicitly on the singularity degree of the problem.
△ Less
Submitted 15 June, 2022; v1 submitted 29 August, 2020;
originally announced August 2020.
-
Random projection of Linear and Semidefinite problem with linear inequalities
Authors:
Pierre-Louis Poirion,
Bruno F. Lourenço,
Akiko Takeda
Abstract:
The Johnson-Lindenstrauss Lemma states that there exist linear maps that project a set of points of a vector space into a space of much lower dimension such that the Euclidean distance between these points is approximately preserved. This lemma has been previously used to prove that we can randomly aggregate, using a random matrix whose entries are drawn from a zero-mean sub-Gaussian distribution,…
▽ More
The Johnson-Lindenstrauss Lemma states that there exist linear maps that project a set of points of a vector space into a space of much lower dimension such that the Euclidean distance between these points is approximately preserved. This lemma has been previously used to prove that we can randomly aggregate, using a random matrix whose entries are drawn from a zero-mean sub-Gaussian distribution, the equality constraints of an Linear Program (LP) while preserving approximately the value of the problem. In this paper we extend these results to the inequality case by introducing a random matrix with non-negative entries that allows to randomly aggregate inequality constraints of an LP while preserving approximately the value of the problem. By duality, the approach we propose allows to reduce both the number of constraints and the dimension of the problem while obtaining some theoretical guarantees on the optimal value. We will also show an extension of our results to certain semidefinite programming instances.
△ Less
Submitted 17 January, 2023; v1 submitted 1 July, 2020;
originally announced July 2020.
-
A Limiting Analysis on Regularization of Singular SDP and its Implication to Infeasible Interior-point Algorithms
Authors:
Takashi Tsuchiya,
Bruno F. Lourenco,
Masakazu Muramatsu,
Takayuki Okuno
Abstract:
We consider primal-dual pairs of semidefinite programs and assume that they are ill-posed, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which makes the perturbed primal-dual pair st…
▽ More
We consider primal-dual pairs of semidefinite programs and assume that they are ill-posed, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which makes the perturbed primal-dual pair strongly feasible thus zeroing the duality gap. In this paper, we conduct an asymptotic analysis of the optimal value as the perturbation is driven to zero. Specifically, we fix two positive definite matrices (typically the identity matrices), and shift the associated affine spaces of the primal and dual slightly in the direction of the two positive definite matrices possibly in a different proportion so that the perturbed problems have interior feasible solutions, and analyze the behavior of the optimal value of the perturbed problem when the perturbation is reduced to zero keeping the proportion. A key feature of our analysis is that no further assumptions such as compactness or constraint qualifications are ever made. It will be shown that the optimal value of the perturbed problem converges to a value between the primal and dual optimal values of the original problem. Finally, the analysis leads us to the relatively surprising consequence that the infeasible interior-point algorithms for SDP generates a sequence converging to a number between the primal and dual optimal values, even in the presence of a nonzero duality gap. We expect that this property might be particularly useful in solving mixed integer SDPs with infeasible interior-point methods.
△ Less
Submitted 24 October, 2022; v1 submitted 20 December, 2019;
originally announced December 2019.
-
Generalized subdifferentials of spectral functions over Euclidean Jordan algebras
Authors:
Bruno F. Lourenço,
Akiko Takeda
Abstract:
This paper is devoted to the study of generalized subdifferentials of spectral functions over Euclidean Jordan algebras. Spectral functions appear often in optimization problems playing the role of "regularizer", "barrier", "penalty function" and many others. We provide formulae for the regular, approximate and horizon subdifferentials of spectral functions. In addition, under local lower semicont…
▽ More
This paper is devoted to the study of generalized subdifferentials of spectral functions over Euclidean Jordan algebras. Spectral functions appear often in optimization problems playing the role of "regularizer", "barrier", "penalty function" and many others. We provide formulae for the regular, approximate and horizon subdifferentials of spectral functions. In addition, under local lower semicontinuity, we also furnish a formula for the Clarke subdifferential, thus extending an earlier result by Baes. As application, we compute the generalized subdifferentials of the function that maps an element to its k-th largest eigenvalue. Furthermore, in connection with recent approaches for nonsmooth optimization, we present a study of the Kurdyka-Lojasiewicz (KL) property for spectral functions and prove a transfer principle for the KL-exponent. In our proofs, we make extensive use of recent tools such as the commutation principle of Ramírez, Seeger and Sossa and majorization principles developed by Gowda.
△ Less
Submitted 1 November, 2020; v1 submitted 14 February, 2019;
originally announced February 2019.
-
An oracle-based projection and rescaling algorithm for linear semi-infinite feasibility problems and its application to SDP and SOCP
Authors:
Masakazu Muramatsu,
Tomonari Kitahara,
Bruno F. Lourenço,
Takayuki Okuno,
Takashi Tsuchiya
Abstract:
We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is more suitable for floating point computation in modern comput…
▽ More
We point out that Chubanov's oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is more suitable for floating point computation in modern computers. The adoption of the BBS model makes our description and analysis much simpler than the original one by Chubanov [5]. Then we reformulate semidefinite programming (SDP) and second-order cone programming (SOCP) into LSIP, and apply our algorithm to obtain new complexity results for computing interior feasible solutions of homogeneous SDP and SOCP.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
On Gauss-Bonnet and Poincaré-Hopf type theorems for complex $\partial$-manifolds
Authors:
Maurício Corrêa,
Fernando Lourenço,
Diogo Machado,
Antonio M. Ferreira
Abstract:
We prove a Gauss-Bonnet and Poincaré-Hopf type theorems for complex $\partial$-manifold $\tilde{X} = X - D$, where $X$ is a complex compact manifold and $D$ is a reduced divisor. We will consider the cases such that $D$ has isolated singularities and also if $D$ has a (not necessarily irreducible) decomposition $D=D_1\cup D_2$ such that $D_1$, $D_2$ have isolated singularities and $C=D_1\cap D_2$…
▽ More
We prove a Gauss-Bonnet and Poincaré-Hopf type theorems for complex $\partial$-manifold $\tilde{X} = X - D$, where $X$ is a complex compact manifold and $D$ is a reduced divisor. We will consider the cases such that $D$ has isolated singularities and also if $D$ has a (not necessarily irreducible) decomposition $D=D_1\cup D_2$ such that $D_1$, $D_2$ have isolated singularities and $C=D_1\cap D_2$ is a codimension $2$ variety with isolated singularities.
△ Less
Submitted 9 November, 2020; v1 submitted 15 August, 2018;
originally announced August 2018.
-
The automorphism group and the non-self-duality of $p$-cones
Authors:
Masaru Ito,
Bruno F. Lourenço
Abstract:
In this paper, we determine the automorphism group of the $p$-cones ($p\neq 2$) in dimension greater than two. In particular, we show that the automorphism group of those $p$-cones are the positive scalar multiples of the generalized permutation matrices that fix the main axis of the cone. Next, we take a look at a problem related to the duality theory of the $p$-cones. Under the Euclidean inner p…
▽ More
In this paper, we determine the automorphism group of the $p$-cones ($p\neq 2$) in dimension greater than two. In particular, we show that the automorphism group of those $p$-cones are the positive scalar multiples of the generalized permutation matrices that fix the main axis of the cone. Next, we take a look at a problem related to the duality theory of the $p$-cones. Under the Euclidean inner product it is well-known that a $p$-cone is self-dual only when $p=2$. However, it was not known whether it is possible to construct an inner product depending on $p$ which makes the $p$-cone self-dual. Our results shows that no matter which inner product is considered, a $p$-cone will never become self-dual unless $p=2$ or the dimension is less than three.
△ Less
Submitted 5 August, 2018;
originally announced August 2018.
-
Amenable cones: error bounds without constraint qualifications
Authors:
Bruno F. Lourenço
Abstract:
We provide a framework for obtaining error bounds for linear conic problems without assuming constraint qualifications or regularity conditions. The key aspects of our approach are the notions of amenable cones and facial residual functions. For amenable cones, it is shown that error bounds can be expressed as a composition of facial residual functions. The number of compositions is related to the…
▽ More
We provide a framework for obtaining error bounds for linear conic problems without assuming constraint qualifications or regularity conditions. The key aspects of our approach are the notions of amenable cones and facial residual functions. For amenable cones, it is shown that error bounds can be expressed as a composition of facial residual functions. The number of compositions is related to the facial reduction technique and the singularity degree of the problem. In particular, we show that symmetric cones are amenable and compute facial residual functions. From that, we are able to furnish a new Hölderian error bound, thus extending and shedding new light on an earlier result by Sturm on semidefinite matrices. We also provide error bounds for the intersection of amenable cones, this will be used to provided error bounds for the doubly nonnegative cone.
△ Less
Submitted 6 August, 2019; v1 submitted 17 December, 2017;
originally announced December 2017.
-
Exact augmented Lagrangian functions for nonlinear semidefinite programming
Authors:
Ellen H. Fukuda,
Bruno F. Lourenço
Abstract:
In this paper, we study augmented Lagrangian functions for nonlinear semidefinite programming (NSDP) problems with exactness properties. The term exact is used in the sense that the penalty parameter can be taken appropriately, so a single minimization of the augmented Lagrangian recovers a solution of the original problem. This leads to reformulations of NSDP problems into unconstrained nonlinear…
▽ More
In this paper, we study augmented Lagrangian functions for nonlinear semidefinite programming (NSDP) problems with exactness properties. The term exact is used in the sense that the penalty parameter can be taken appropriately, so a single minimization of the augmented Lagrangian recovers a solution of the original problem. This leads to reformulations of NSDP problems into unconstrained nonlinear programming ones. Here, we first establish a unified framework for constructing these exact functions, generalizing Di Pillo and Lucidi's work from 1996, that was aimed at solving nonlinear programming problems. Then, through our framework, we propose a practical augmented Lagrangian function for NSDP, proving that it is continuously differentiable and exact under the so-called nondegeneracy condition. We also present some preliminary numerical experiments.
△ Less
Submitted 26 June, 2018; v1 submitted 18 May, 2017;
originally announced May 2017.
-
An extension of Chubanov's algorithm to symmetric cones
Authors:
Bruno F. Lourenço,
Tomonari Kitahara,
Masakazu Muramatsu,
Takashi Tsuchiya
Abstract:
In this work we present an extension of Chubanov's algorithm to the case of homogeneous feasibility problems over a symmetric cone K. As in Chubanov's method for linear feasibility problems, the algorithm consists of a basic procedure and a step where the solutions are confined to the intersection of a half-space and K. Following an earlier work by Kitahara and Tsuchiya on second order cone feasib…
▽ More
In this work we present an extension of Chubanov's algorithm to the case of homogeneous feasibility problems over a symmetric cone K. As in Chubanov's method for linear feasibility problems, the algorithm consists of a basic procedure and a step where the solutions are confined to the intersection of a half-space and K. Following an earlier work by Kitahara and Tsuchiya on second order cone feasibility problems, progress is measured through the volumes of those intersections: when they become sufficiently small, we know it is time to stop. We never have to explicitly compute the volumes, it is only necessary to keep track of the reductions between iterations. We show this is enough to obtain concrete upper bounds to the minimum eigenvalues of a scaled version of the original feasibility problem. Another distinguishing feature of our approach is the usage of a spectral norm that takes into account the way that K is decomposed as simple cones. In several key cases, including semidefinite programming and second order cone programming, these norms make it possible to obtain better complexity bounds for the basic procedure when compared to a recent approach by Peña and Soheili. Finally, in the appendix, we present a translation of the algorithm to the homogeneous feasibility problem in semidefinite programming.
△ Less
Submitted 25 September, 2017; v1 submitted 5 February, 2017;
originally announced February 2017.
-
The $p$-cones in dimension $n \geq 3$ are not homogeneous when $p\neq 2$
Authors:
Masaru Ito,
Bruno F. Lourenço
Abstract:
Using the T-algebra machinery we show that, up to linear isomorphism, the only strictly convex homogeneous cones in $\Re^n$ with $n \geq 3$ are the 2-cones, also known as Lorentz cones or second order cones. In particular, this shows that the p-cones are not homogeneous when $p\neq 2$, $1 < p <\infty$ and $n\geq 3$, thus answering a problem proposed by Gowda and Trott.
Using the T-algebra machinery we show that, up to linear isomorphism, the only strictly convex homogeneous cones in $\Re^n$ with $n \geq 3$ are the 2-cones, also known as Lorentz cones or second order cones. In particular, this shows that the p-cones are not homogeneous when $p\neq 2$, $1 < p <\infty$ and $n\geq 3$, thus answering a problem proposed by Gowda and Trott.
△ Less
Submitted 1 August, 2017; v1 submitted 20 January, 2017;
originally announced January 2017.
-
Optimality conditions for problems over symmetric cones and a simple augmented Lagrangian method
Authors:
Bruno F. Lourenço,
Ellen H. Fukuda,
Masao Fukushima
Abstract:
In this work we are interested in nonlinear symmetric cone problems (NSCPs), which contain as special cases nonlinear semidefinite programming, nonlinear second order cone programming and the classical nonlinear programming problems. We explore the possibility of reformulating NSCPs as common nonlinear programs (NLPs), with the aid of squared slack variables. Through this connection, we show how t…
▽ More
In this work we are interested in nonlinear symmetric cone problems (NSCPs), which contain as special cases nonlinear semidefinite programming, nonlinear second order cone programming and the classical nonlinear programming problems. We explore the possibility of reformulating NSCPs as common nonlinear programs (NLPs), with the aid of squared slack variables. Through this connection, we show how to obtain second order optimality conditions for NSCPs in an easy manner, thus bypassing a number of difficulties associated to the usual variational analytical approach. We then discuss several aspects of this connection. In particular, we show a "sharp" criterion for membership in a symmetric cone that also encodes rank information. Also, we discuss the possibility of importing convergence results from nonlinear programming to NSCPs, which we illustrate by discussing a simple augmented Lagrangian method for nonlinear symmetric cones. We show that, employing the slack variable approach, we can use the results for NLPs to prove convergence results, thus extending a special case (i.e., the case with strict complementarity) of an earlier result by Sun, Sun and Zhang for nonlinear semidefinite programs.
△ Less
Submitted 31 August, 2017; v1 submitted 18 January, 2017;
originally announced January 2017.
-
Determination of Baum-Bott residues of higher codimensional foliations
Authors:
Maurício Corrêa,
Fernando Lourenço
Abstract:
Let $\mathscr{F}$ be a singular holomorphic foliation, of codimension $k$, on a complex compact manifold such that its singular set has codimension $\geq k+1$. In this work we determinate Baum-Bott residues for $\mathscr{F}$ with respect to homogeneous symmetric polynomials of degree $k+1$. We drop the Baum-Bott's generic hypothesis and we show that the residues can be expressed in terms of the Gr…
▽ More
Let $\mathscr{F}$ be a singular holomorphic foliation, of codimension $k$, on a complex compact manifold such that its singular set has codimension $\geq k+1$. In this work we determinate Baum-Bott residues for $\mathscr{F}$ with respect to homogeneous symmetric polynomials of degree $k+1$. We drop the Baum-Bott's generic hypothesis and we show that the residues can be expressed in terms of the Grothendieck residue of an one-dimensional foliation on a $(k+1)$-dimensional disc transversal to a $(k+1)$-codimensional component of the singular set of $\mathscr{F}$. Also, we show that Cenkl's algorithm for non-expected dimensional singularities holds dropping the Cenkl's regularity assumption.
△ Less
Submitted 2 March, 2018; v1 submitted 17 December, 2016;
originally announced December 2016.
-
A bound on the Carathéodory number
Authors:
Masaru Ito,
Bruno F. Lourenço
Abstract:
The Carathéodory number k(K) of a pointed closed convex cone K is the minimum among all the k for which every element of K can be written as a nonnegative linear combination of at most k elements belonging to extreme rays. Carathéodory's Theorem gives the bound k(K) <= dim (K). In this work we observe that this bound can be sharpened to k(K) <= l-1, where l is the length of the longest chain of no…
▽ More
The Carathéodory number k(K) of a pointed closed convex cone K is the minimum among all the k for which every element of K can be written as a nonnegative linear combination of at most k elements belonging to extreme rays. Carathéodory's Theorem gives the bound k(K) <= dim (K). In this work we observe that this bound can be sharpened to k(K) <= l-1, where l is the length of the longest chain of nonempty faces contained in K, thus tying the Carathéodory number with a key quantity that appears in the analysis of facial reduction algorithms. We show that this bound is tight for several families of cones, which include symmetric cones and the so-called smooth cones. We also give a family of examples showing that this bound can also fail to be sharp. In addition, we furnish a new proof of a result by Güler and Tunçel which states that the Carathéodory number of a symmetric cone is equal to its rank. Finally, we connect our discussion to the notion of cp-rank for completely positive matrices.
△ Less
Submitted 25 August, 2016;
originally announced August 2016.
-
Cross Sections for proton induced high energy $γ$-ray emission (PIGE) in reaction $^{19}$F(p,$αγ$)$^{16}$O at incident proton energies between 1.5 and 4 MeV
Authors:
P. Cabanelas,
J. Cruz,
M. Fonseca,
A. Henriques,
F. Lourenço,
H. Luís,
J. Machado,
J. Pires Ribeiro,
A. Sánchez-Benítez,
P. Teubig,
P. Velho,
M. Zarza-Moreno,
D. Galaviz,
A. P. Jesus
Abstract:
We have studied the high energy gamma-rays produced in the reaction $^{19}$F(p,$αγ$)$^{16}$O for incident proton energies from 1.5 to 4.0 MeV over NaF/Ag and CaF$_2$/Ag thin targets in two different sets of data. Gamma-rays were detected with a High Purity Ge detector with an angle of 130$^{o}$ with respect to the beam axis. The cross-sections for the high energy gamma-rays of 6.129, 6.915 and 7.1…
▽ More
We have studied the high energy gamma-rays produced in the reaction $^{19}$F(p,$αγ$)$^{16}$O for incident proton energies from 1.5 to 4.0 MeV over NaF/Ag and CaF$_2$/Ag thin targets in two different sets of data. Gamma-rays were detected with a High Purity Ge detector with an angle of 130$^{o}$ with respect to the beam axis. The cross-sections for the high energy gamma-rays of 6.129, 6.915 and 7.115 MeV have been measured for the whole group between 5 and 7.2 MeV with accuracy better than 10\%. A new energy range was covered and more points are included in the cross-sections data base expanding the existing set of data. Results are in agreement with previous measurements in similar conditions.
△ Less
Submitted 15 June, 2016; v1 submitted 1 March, 2016;
originally announced March 2016.
-
Residues for flags of holomorphic foliations
Authors:
Jean-Paul Brasselet,
Maurício Corrêa,
Fernando Lourenço
Abstract:
In this work we prove a Baum-Bott type residue theorem for flags of holomorphic foliations. We prove some relations between the residues of the flag and the residues of their correspondent foliations. We define the Nash residue for flags and we give a partial answer to the Baum-Bott type rationality conjecture in this context .
In this work we prove a Baum-Bott type residue theorem for flags of holomorphic foliations. We prove some relations between the residues of the flag and the residues of their correspondent foliations. We define the Nash residue for flags and we give a partial answer to the Baum-Bott type rationality conjecture in this context .
△ Less
Submitted 5 September, 2017; v1 submitted 29 February, 2016;
originally announced February 2016.
-
Optimality Conditions for Nonlinear Semidefinite Programming via Squared Slack Variables
Authors:
Bruno F. Lourenço,
Ellen H. Fukuda,
Masao Fukushima
Abstract:
In this work, we derive second-order optimality conditions for nonlinear semidefinite programming (NSDP) problems, by reformulating it as an ordinary nonlinear programming problem using squared slack variables. We first consider the correspondence between Karush-Kuhn-Tucker points and regularity conditions for the general NSDP and its reformulation via slack variables. Then, we obtain a pair of "n…
▽ More
In this work, we derive second-order optimality conditions for nonlinear semidefinite programming (NSDP) problems, by reformulating it as an ordinary nonlinear programming problem using squared slack variables. We first consider the correspondence between Karush-Kuhn-Tucker points and regularity conditions for the general NSDP and its reformulation via slack variables. Then, we obtain a pair of "no-gap" second-order optimality conditions that are essentially equivalent to the ones already considered in the literature. We conclude with the analysis of some computational prospects of the squared slack variables approach for NSDP.
△ Less
Submitted 17 December, 2015;
originally announced December 2015.
-
Facial Reduction and Partial Polyhedrality
Authors:
Bruno F. Lourenço,
Masakazu Muramatsu,
Takashi Tsuchiya
Abstract:
We present FRA-Poly, a facial reduction algorithm (FRA) for conic linear programs that is sensitive to the presence of polyhedral faces in the cone. The main goals of FRA and FRA-Poly are the same, i.e., finding the minimal face containing the feasible region and detecting infeasibility, but FRA-Poly treats polyhedral constraints separately. This idea enables us to reduce the number of iterations…
▽ More
We present FRA-Poly, a facial reduction algorithm (FRA) for conic linear programs that is sensitive to the presence of polyhedral faces in the cone. The main goals of FRA and FRA-Poly are the same, i.e., finding the minimal face containing the feasible region and detecting infeasibility, but FRA-Poly treats polyhedral constraints separately. This idea enables us to reduce the number of iterations drastically when there are many linear inequality constraints. The worst case number of iterations for FRA-poly is written in the terms of a "distance to polyhedrality" quantity and provides better bounds than FRA under mild conditions. In particular, in the case of the doubly nonnegative cone, FRA-Poly gives a worst case bound of $n$ whereas the classical FRA is $\mathcal{O}(n^2)$. Of possible independent interest, we prove a variant of Gordan-Stiemke's Theorem and a proper separation theorem that takes into account partial polyhedrality. We provide a discussion on the optimal facial reduction strategy and an instance that forces FRAs to perform many steps. We also present a few applications. In particular, we will use FRA-poly to improve the bounds recently obtained by Liu and Pataki on the dimension of certain affine subspaces which appear in weakly infeasible problems.
△ Less
Submitted 14 May, 2018; v1 submitted 8 December, 2015;
originally announced December 2015.
-
Weak Infeasibility in Second Order Cone Programming
Authors:
Bruno F. Lourenço,
Masakazu Muramatsu,
Takashi Tsuchiya
Abstract:
The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem. This is used to show that for a given weakly infeasible problem at most $m$ directions are needed to approach the cone, where $m$ is the number of Lorentz cones. W…
▽ More
The objective of this work is to study weak infeasibility in second order cone programming. For this purpose, we consider a relaxation sequence of feasibility problems that mostly preserve the feasibility status of the original problem. This is used to show that for a given weakly infeasible problem at most $m$ directions are needed to approach the cone, where $m$ is the number of Lorentz cones. We also tackle a closely related question and show that given a bounded optimization problem satisfying Slater's condition, we may transform it into another problem that has the same optimal value but it is ensured to attain it. From solutions to the new problem, we discuss how to obtain solution to the original problem which are arbitrarily close to optimality. Finally, we discuss how to obtain finite certificate of weak infeasibility by combining our own techniques with facial reduction. The analysis is similar in spirit to previous work by the authors on SDPs, but a different approach is required to obtain tighter bounds.
△ Less
Submitted 17 September, 2015;
originally announced September 2015.
-
Solving SDP Completely with an Interior Point Oracle
Authors:
Bruno F. Lourenço,
Masakazu Muramatsu,
Takashi Tsuchiya
Abstract:
We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general SDPs even after certain regularization schemes are applied. In this work we fill this gap and show how to use such an oracle to "completely solve" an arbitrary…
▽ More
We suppose the existence of an oracle which solves any semidefinite programming (SDP) problem satisfying Slater's condition simultaneously at its primal and dual sides. We note that such an oracle might not be able to directly solve general SDPs even after certain regularization schemes are applied. In this work we fill this gap and show how to use such an oracle to "completely solve" an arbitrary SDP. Completely solving an SDP, includes, for example, distinguishing between weak/strong feasibility/infeasibility and detecting when the optimal value is attained or not. We will employ several tools, including a variant of facial reduction where all auxiliary problems are ensured to satisfy Slater's condition at all sides. Our main technical innovation, however, is an analysis of double facial reduction, which is the process of applying facial reduction twice: first to the original problem and then once more to the dual of the regularized problem obtained during the first run. Although our discussion is focused on semidefinite programming, the majority of the results are proved for general convex cones
△ Less
Submitted 11 November, 2020; v1 submitted 29 July, 2015;
originally announced July 2015.
-
A structural geometrical analysis of weakly infeasible SDPs
Authors:
Bruno F. Lourenço,
Masakazu Muramatsu,
Takashi Tsuchiya
Abstract:
In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original problem. With this technique, we develop a detailed analysis of weakly infeasible SDFPs to understand clearly and systematically how weak infeasibility arises in semid…
▽ More
In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original problem. With this technique, we develop a detailed analysis of weakly infeasible SDFPs to understand clearly and systematically how weak infeasibility arises in semidefinite programming. In particular, we show that for a weakly infeasible problem over $n\times n$ matrices, at most $n-1$ directions are required to approach the positive semidefinite cone. We also present a discussion on feasibility certificates for SDFPs and related complexity results.
△ Less
Submitted 28 July, 2015; v1 submitted 24 July, 2015;
originally announced July 2015.
-
A weak constraint qualification for conic programs and a problem on duality gap
Authors:
Bruno F. Lourenço
Abstract:
We discuss a weak constraint qualification for conic linear programs and its applications for a few classes of cones. This constraint qualification is used to give a solution to a problem proposed by Shapiro and Zǎlinescu and show that if a closed convex cone is such that all its non-trivial faces are polyhedral and all the non-trivial exposed faces of its dual are polyhedral, then the duality gap…
▽ More
We discuss a weak constraint qualification for conic linear programs and its applications for a few classes of cones. This constraint qualification is used to give a solution to a problem proposed by Shapiro and Zǎlinescu and show that if a closed convex cone is such that all its non-trivial faces are polyhedral and all the non-trivial exposed faces of its dual are polyhedral, then the duality gap is zero as long as the primal and dual problems are feasible. Moreover, the common optimal value must be attained at least at one of the sides. We also show an example of a cone that meets the requirements our theorem but is such that previously known results cannot be used to prove its good duality properties.
△ Less
Submitted 22 April, 2015; v1 submitted 21 April, 2015;
originally announced April 2015.
-
Entanglement reciprocation using three level atoms in a lambda configuration
Authors:
F. C. Lourenco,
A. Vidiella-Barranco
Abstract:
We propose a scheme in which entanglement can be transferred from atoms (discrete variables) to entangled states of cavity fields (continuous variables). The cavities play the role of a kind of quantum memory for entanglement, in such a way that it is possible to retrieve it back to the atoms. In our method, two three level atoms in a lambda configuration, previously entangled, are set to intera…
▽ More
We propose a scheme in which entanglement can be transferred from atoms (discrete variables) to entangled states of cavity fields (continuous variables). The cavities play the role of a kind of quantum memory for entanglement, in such a way that it is possible to retrieve it back to the atoms. In our method, two three level atoms in a lambda configuration, previously entangled, are set to interact with single mode cavity fields prepared in coherent states. During the process, one e-bit of entanglement may be deposited in the cavities in an efficient way. We also show that the stored entanglement may be transferred back to flying atoms.
△ Less
Submitted 19 March, 2008;
originally announced March 2008.
