Showing 1–48 of 48 results for author: Hildebrand, R

Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing

Authors: Jamie Fravel, Robert Hildebrand

Abstract: We develop an optimization framework for identifying ideal Mixed Binary Linear Programs (MBLP) which is linear when using known input data and nonconvex quadratic over parametric input data. These techniques are applied to various formulations for rectangle packing, conjectured to be pairwise-ideal. Additionally, we address a variation of the rectangle packing problem which incorporates clearances… ▽ More We develop an optimization framework for identifying ideal Mixed Binary Linear Programs (MBLP) which is linear when using known input data and nonconvex quadratic over parametric input data. These techniques are applied to various formulations for rectangle packing, conjectured to be pairwise-ideal. Additionally, we address a variation of the rectangle packing problem which incorporates clearances along selected edges of the packed objects. We present both existing and novel MBLP formulations for the underlying disjunctive program and investigate the poor performance of Gurobi's default branch-and-cut methodology. We operate under a strip-packing objective that aims to minimize the overall height of the packed objects. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Half-dimensional immersions into the para-complex projective space and Ruh-Vilms type theorems

Authors: Josef F. Dorfmeister, Roland Hildebrand, Shimpei Kobayashi

Abstract: In this paper we study isometric immersions $f:M^n \to {\mathbb {C}^{\prime}}\!P^n$ of an $n$-dimensional pseudo-Riemannian manifold $M^n$ into the $n$-dimensional para-complex projective space ${\mathbb {C}^{\prime}}\!P^n$. We study the immersion $f$ by means of a lift $\mathfrak f$ of $f$ into a quadric hypersurface in ${S^{2n+1}_{n+1}}$. We find the frame equations and compatibility conditions.… ▽ More In this paper we study isometric immersions $f:M^n \to {\mathbb {C}^{\prime}}\!P^n$ of an $n$-dimensional pseudo-Riemannian manifold $M^n$ into the $n$-dimensional para-complex projective space ${\mathbb {C}^{\prime}}\!P^n$. We study the immersion $f$ by means of a lift $\mathfrak f$ of $f$ into a quadric hypersurface in ${S^{2n+1}_{n+1}}$. We find the frame equations and compatibility conditions. We specialize these results to dimension $n = 2$ and a definite metric on $M^2$ in isothermal coordinates and consider the special cases of Lagrangian surface immersions and minimal surface immersions. We characterize surface immersions with special properties in terms of primitive harmonicity of the Gauss maps. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Optimizing Representation in Redistricting: Dual Bounds for Partitioning Problems with Non-Convex Objectives

Authors: Jamie Fravel, Robert Hildebrand, Nicholas Goedert, Laurel Travis, Matthew Pierson

Abstract: We investigate optimization models for the purpose of computational redistricting. Our focus is on nonconvex objectives for estimating expected black voter and political representation. The objectives are a composition of a ratio of variables and a normal distribution's cumulative distribution function (or "probit curve"). We extend the work of Validi et al. \cite{validi2020imposing}, which presen… ▽ More We investigate optimization models for the purpose of computational redistricting. Our focus is on nonconvex objectives for estimating expected black voter and political representation. The objectives are a composition of a ratio of variables and a normal distribution's cumulative distribution function (or "probit curve"). We extend the work of Validi et al. \cite{validi2020imposing}, which presented robust implementation of contiguity constraints. By develo** mixed integer linear programming models that closely approximate the nonlinear model, our approaches yield tight bounds on these optimization problems and we exhibit their effectiveness on county-level data. △ Less

Submitted 27 January, 2024; v1 submitted 26 May, 2023; originally announced May 2023.

Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part II

Authors: Benjamin Beach, Robert Burlacu, Andreas Barmann, Lukas Hager, Robert Hildebrand

Abstract: This is Part II of a study on mixed-integer programming (MIP) relaxation techniques for the solution of non-convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We set the focus on MIP relaxation methods for non-convex continuous variable products and extend the well-known MIP relaxation normalized multi-parametric disaggregation technique (NMDT), applying a sophisticated d… ▽ More This is Part II of a study on mixed-integer programming (MIP) relaxation techniques for the solution of non-convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We set the focus on MIP relaxation methods for non-convex continuous variable products and extend the well-known MIP relaxation normalized multi-parametric disaggregation technique (NMDT), applying a sophisticated discretization to both variables. We refer to this approach as doubly discretized normalized multiparametric disaggregation technique (D-NMDT). In a comprehensive theoretical analysis, we underline the theoretical advantages of the enhanced method D-NMDT compared to NMDT. Furthermore, we perform a broad computational study to demonstrate its effectiveness in terms of producing tight dual bounds for MIQCQPs. Finally, we compare D-NMDT to the separable MIP relaxations from Part I and a state-of-the-art MIQCQP solver. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2211.00876

Continuous Equality Knapsack with Probit-Style Objectives

Authors: Jamie Fravel, Robert Hildebrand, Laurel Travis

Abstract: We study continuous, equality knapsack problems with uniform separable, non-convex objective functions that are continuous, strictly increasing, antisymmetric about a point, and have concave and convex regions. For example, this model captures a simple allocation problem with the goal of optimizing an expected value where the objective is a sum of cumulative distribution functions of identically d… ▽ More We study continuous, equality knapsack problems with uniform separable, non-convex objective functions that are continuous, strictly increasing, antisymmetric about a point, and have concave and convex regions. For example, this model captures a simple allocation problem with the goal of optimizing an expected value where the objective is a sum of cumulative distribution functions of identically distributed normal distributions (i.e., a sum of inverse probit functions). We prove structural results of this model under general assumptions and provide two algorithms for efficient optimization: (1) running in linear time and (2) running in a constant number of operations given preprocessing of the objective function. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part I

Authors: Benjamin Beach, Robert Burlacu, Andreas Bärmann, Lukas Hager, Robert Hildebrand

Abstract: We study mixed-integer programming (MIP) relaxation techniques for the solution of non convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We present MIP relaxation methods for non convex continuous variable products. In Part I, we consider MIP relaxations based on separable reformulation. The main focus is the introduction of the enhanced separable MIP relaxation for nonc… ▽ More We study mixed-integer programming (MIP) relaxation techniques for the solution of non convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We present MIP relaxation methods for non convex continuous variable products. In Part I, we consider MIP relaxations based on separable reformulation. The main focus is the introduction of the enhanced separable MIP relaxation for nonconvex quadratic products of the form z=xy, called hybrid separable (HybS). Additionally, we introduce a logarithmic MIP relaxation for univariate quadratic terms, called sawtooth relaxation. We combine the latter with HybS and existing separable reformulations to derive MIP relaxations of MIQCQPs. We provide a comprehensive theoretical analysis of these techniques, underlining the theoretical advantages of HybS compared to its predecessors. We perform a broad computational study to demonstrate the effectiveness of the enhanced MIP relaxation in terms of producing tight dual bounds for MIQCQPs. In Part II, we study MIP relaxations that extend the well-known MIP relaxation normalized multiparametric disaggregation technique (NMDT) and present further theoretical and computational analyses. △ Less

Submitted 17 August, 2023; v1 submitted 2 November, 2022; originally announced November 2022.

On the structure of the $6 \times 6$ copositive cone

Authors: Roland Hildebrand, Andrey Afonin

Abstract: In this work we complement the description of the extreme rays of the $6 \times 6$ copositive cone with some topological structure. In a previous paper we decomposed the set of extreme elements of this cone into a disjoint union of pieces of algebraic varieties of different dimension. In this paper we link this classification to the recently introduced combinatorial characteristic called extended… ▽ More In this work we complement the description of the extreme rays of the $6 \times 6$ copositive cone with some topological structure. In a previous paper we decomposed the set of extreme elements of this cone into a disjoint union of pieces of algebraic varieties of different dimension. In this paper we link this classification to the recently introduced combinatorial characteristic called extended minimal zero support set. We determine those components which are essential, i.e., which are not embedded in the boundary of other components. This allows to drastically decrease the number of cases one has to consider when investigating different properties of the $6 \times 6$ copositive cone. As an application, we construct an example of a copositive $6 \times 6$ matrix with unit diagonal which does not belong to the Parrilo inner sum of squares relaxation ${\cal K}^{(1)}_6$. △ Less

Submitted 16 September, 2022; originally announced September 2022.

MSC Class: 15B48; 90C26

Optimization in complex spaces with the Mixed Newton Method

Authors: Sergey Bakhurin, Roland Hildebrand, Mohammad Alkousa, Alexander Titov

Abstract: We propose a second-order method for unconditional minimization of functions $f(z)$ of complex arguments. We call it the Mixed Newton Method due to the use of the mixed Wirtinger derivative $\frac{\partial^2f}{\partial\bar z\partial z}$ for computation of the search direction, as opposed to the full Hessian $\frac{\partial^2f}{\partial(z,\bar z)^2}$ in the classical Newton method. The method has b… ▽ More We propose a second-order method for unconditional minimization of functions $f(z)$ of complex arguments. We call it the Mixed Newton Method due to the use of the mixed Wirtinger derivative $\frac{\partial^2f}{\partial\bar z\partial z}$ for computation of the search direction, as opposed to the full Hessian $\frac{\partial^2f}{\partial(z,\bar z)^2}$ in the classical Newton method. The method has been developed for specific applications in wireless network communications, but its global convergence properties are shown to be superior on a more general class of functions $f$, namely sums of squares of absolute values of holomorphic functions. In particular, for such objective functions minima are surrounded by attraction basins, while the iterates are repelled from other types of critical points. We provide formulas for the asymptotic convergence rate and show that in the scalar case the method reduces to the well-known complex Newton method for the search of zeros of holomorphic functions. In this case, it exhibits generically fractal global convergence patterns. △ Less

Submitted 9 July, 2022; originally announced July 2022.

Comments: 20 pages

MSC Class: 32-08; 90C26; 65K05; 90C53

Optimal step length for the maximal decrease of a self-concordant function by the Newton method

Authors: Anastasia Ivanova, Roland Hildebrand

Abstract: In this paper we consider the problem of finding the optimal step length for the Newton method on the class of self-concordant functions, with the decrease in function value as criterion. We formulate this problem as an optimal control problem and use optimal control theory to solve it. In this paper we consider the problem of finding the optimal step length for the Newton method on the class of self-concordant functions, with the decrease in function value as criterion. We formulate this problem as an optimal control problem and use optimal control theory to solve it. △ Less

Submitted 14 February, 2022; originally announced February 2022.

MSC Class: 90C51; 90C60

Extremal cubics on the circle and the 2-sphere

Authors: Anastasia Ivanova, Roland Hildebrand

Abstract: We study balls of homogeneous cubics on $\mathbb R^n$, $n = 2,3$, which are bounded by unity on the unit sphere. For $n = 2$ we completely describe the facial structure of this norm ball, while for $n = 3$ we classify all extremal points and describe some families of faces. We study balls of homogeneous cubics on $\mathbb R^n$, $n = 2,3$, which are bounded by unity on the unit sphere. For $n = 2$ we completely describe the facial structure of this norm ball, while for $n = 3$ we classify all extremal points and describe some families of faces. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Improving the constant in Nesterov's $\fracπ{2}$-theorem

Authors: Roland Hildebrand

Abstract: One of the hard optimization problems that has a semi-definite relaxation with quantitative bound on the approximation error is the maximization of a convex quadratic form on the hypercube. The relaxation not only yields an upper bound on the optimal value, but its solution can be used to construct random sub-optimal solutions of the original problem whose expected value is not less than… ▽ More One of the hard optimization problems that has a semi-definite relaxation with quantitative bound on the approximation error is the maximization of a convex quadratic form on the hypercube. The relaxation not only yields an upper bound on the optimal value, but its solution can be used to construct random sub-optimal solutions of the original problem whose expected value is not less than $\frac{2}π$ times the value of the relaxation. This constant cannot be improved globally. More precisely, for every $ε> 0$ there exists a problem instance for which the ratio of the two values in question is larger than $\fracπ{2} - ε$. However, if a given problem instance is considered, then the relaxation yields a concrete solution which may result in a much better ratio. In this contribution we present an improved, explicit bound depending on the rank of the solution. We consider also the problem of maximization of a convex hermitian quadratic form on the complex poly-disc. In this case a bound on the approximation error is given by the $\frac{4}π$-theorem of Ben-Tal, Nemirovski, and Roos. The derivation of a rank-dependent improved bound is similar to the real case. In the complex case we provide explicit expressions in the form of an infinite series and conjecture a closed-form expression. △ Less

Submitted 22 June, 2021; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: Theorem 1.1 is already published in another paper by Briet, Filho, Vallentin

MSC Class: 90C22; 90C20

Convex optimization

Authors: Evgeniya Vorontsova, Roland Hildebrand, Alexander Gasnikov, Fedor Stonyakin

Abstract: This textbook is based on lectures given by the authors at MIPT (Moscow), HSE (Moscow), FEFU (Vladivostok), V.I. Vernadsky KFU (Simferopol), ASU (Republic of Adygea), and the University of Grenoble-Alpes (Grenoble, France). First of all, the authors focused on the program of a two-semester course of lectures on convex optimization, which is given to students of MIPT. The first chapter of this book… ▽ More This textbook is based on lectures given by the authors at MIPT (Moscow), HSE (Moscow), FEFU (Vladivostok), V.I. Vernadsky KFU (Simferopol), ASU (Republic of Adygea), and the University of Grenoble-Alpes (Grenoble, France). First of all, the authors focused on the program of a two-semester course of lectures on convex optimization, which is given to students of MIPT. The first chapter of this book contains the materials of the first semester ("Fundamentals of convex analysis and optimization"), the second and third chapters contain the materials of the second semester ("Numerical methods of convex optimization"). The textbook has a number of features. First, in contrast to the classic manuals, this book does not provide proofs of all the theorems mentioned. This allowed, on one side, to describe more themes, but on the other side, made the presentation less self-sufficient. The second important point is that part of the material is advanced and is published in the Russian educational literature, apparently for the first time. Third, the accents that are given do not always coincide with the generally accepted accents in the textbooks that are now popular. First of all, we talk about a sufficiently advanced presentation of conic optimization, including robust optimization, as a vivid demonstration of the capabilities of modern convex analysis. △ Less

Submitted 22 November, 2021; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 364 pages, in Russian

MSC Class: 65-01; 90-01; 65K05; 90C30; 90C90 ACM Class: G.1.6

Semi-definite representations for sets of cubics on the 2-sphere

Authors: Roland Hildebrand

Abstract: The compact set of homogeneous quadratic polynomials in $n$ real variables with modulus bounded by 1 on the unit sphere $S^{n-1}$ is trivially semi-definite representable. The compact set of homogeneous ternary quartics with modulus bounded by 1 on the unit sphere $S^2$ is also semi-definite representable. This suggests that the compact set of homogeneous ternary cubics with modulus bounded by 1 o… ▽ More The compact set of homogeneous quadratic polynomials in $n$ real variables with modulus bounded by 1 on the unit sphere $S^{n-1}$ is trivially semi-definite representable. The compact set of homogeneous ternary quartics with modulus bounded by 1 on the unit sphere $S^2$ is also semi-definite representable. This suggests that the compact set of homogeneous ternary cubics with modulus bounded by 1 on $S^2$ is semi-definite representable. We deduce an explicit semi-definite representation of this norm ball. More generally, we provide a semi-definite description of the cone of inhomogeneous ternary cubics which are nonnegative on $S^2$. △ Less

Submitted 24 March, 2021; originally announced March 2021.

MSC Class: 90C22; 90C23

Compact mixed-integer programming relaxations in quadratic optimization

Authors: Ben Beach, Robert Hildebrand, Joey Huchette

Abstract: We present a technique for producing valid dual bounds for nonconvex quadratic optimization problems. The approach leverages an elegant piecewise linear approximation for univariate quadratic functions due to Yarotsky, formulating this (simple) approximation using mixed-integer programming (MIP). Notably, the number of constraints, binary variables, and auxiliary continuous variables used in this… ▽ More We present a technique for producing valid dual bounds for nonconvex quadratic optimization problems. The approach leverages an elegant piecewise linear approximation for univariate quadratic functions due to Yarotsky, formulating this (simple) approximation using mixed-integer programming (MIP). Notably, the number of constraints, binary variables, and auxiliary continuous variables used in this formulation grows logarithmically in the approximation error. Combining this with a diagonal perturbation technique to convert a nonseparable quadratic function into a separable one, we present a mixed-integer convex quadratic relaxation for nonconvex quadratic optimization problems. We study the strength (or sharpness) of our formulation and the tightness of its approximation. Further, we show that our formulation represents feasible points via a Gray code. We close with computational results on problems with quadratic objectives and/or constraints, showing that our proposed method i) across the board outperforms existing MIP relaxations from the literature, and ii) on hard instances produces better bounds than exact solvers within a fixed time budget. △ Less

Submitted 27 March, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 48 pages, 4 figures. Submitted to the Journal of Global Optimization, 3-27-2021. This replacement is an upgrade from a conference paper to a journal article, and is greatly revised and expanded in scope

MSC Class: 90C20; 90C26; 90C11

Complexity, Exactness, and Rationality in Polynomial Optimization

Authors: Daniel Bienstock, Alberto del Pia, Robert Hildebrand

Abstract: We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained sets admit rational solutions. However, we show in other cases that it is NP Hard to detect if rational solutions exist or if they exist of any reasonable size. W… ▽ More We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained sets admit rational solutions. However, we show in other cases that it is NP Hard to detect if rational solutions exist or if they exist of any reasonable size. We extend this idea to various settings including near feasible, but super optimal solutions and detecting rational rays on which a cubic function is unbounded. Lastly, we show that in fixed dimension, the feasibility problem over a set defined by polynomial inequalities is in NP by providing a simple certificate to verify feasibility. We conclude with several related examples of irrationality and encoding size issues in QCQPs and SOCPs. △ Less

Submitted 14 April, 2022; v1 submitted 16 November, 2020; originally announced November 2020.

An Approximate Method for the Optimization of Long-Horizon Tank Blending and Scheduling Operations

Authors: Benjamin Beach, Robert Hildebrand, Kimberly Ellis, Baptiste Lebreton

Abstract: We address a challenging tank blending and scheduling problem regarding operations for a chemical plant. We model the problem as a nonconvex MIQCP, then approximate this model as a MILP using a discretization-based approach. We combine a rolling horizon approach with the discretization of individual chemical property specifications to deal with long scheduling horizons, time-varying quality specif… ▽ More We address a challenging tank blending and scheduling problem regarding operations for a chemical plant. We model the problem as a nonconvex MIQCP, then approximate this model as a MILP using a discretization-based approach. We combine a rolling horizon approach with the discretization of individual chemical property specifications to deal with long scheduling horizons, time-varying quality specifications, and multiple suppliers with discrete arrival times. This approach has been evaluated using industry-representative data sets from the specialty chemical industry. We demonstrate that the proposed approach supports fast planning cycles. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Optimal inequalities between distances in convex projective domains

Authors: Roland Hildebrand

Abstract: On any proper convex domain in real projective space there exists a natural Riemannian metric, the Blaschke metric. On the other hand, distances between points can be measured in the Hilbert metric. Using techniques of optimal control, we provide inequalities lower bounding the Riemannian length of the line segment joining two points of the domain by the Hilbert distance between these points, thus… ▽ More On any proper convex domain in real projective space there exists a natural Riemannian metric, the Blaschke metric. On the other hand, distances between points can be measured in the Hilbert metric. Using techniques of optimal control, we provide inequalities lower bounding the Riemannian length of the line segment joining two points of the domain by the Hilbert distance between these points, thus strengthening a result of Tholozan. Our estimates are valid for a whole class of Riemannian metrics on convex projective domains, namely those induced by convex non-degenerate centro-affine hypersurface immersions. If the immersions are asymptotic to the boundary of the convex cone over the domain, then we can also upper bound the Riemmanian length. On these classes, and in particular for the Blaschke metric, our inequalities are optimal. △ Less

Submitted 21 February, 2021; v1 submitted 12 May, 2020; originally announced May 2020.

MSC Class: 53A15; 52A38; 58E10

Optimal step length for the Newton method near the minimum of a self-concordant function

Authors: Roland Hildebrand

Abstract: In path-following methods for conic programming knowledge of the performance of the (damped) Newton method at finite distances from the minimizer of a self-concordant function is crucial for the tuning of the parameters of the method. The available bounds on the progress and the step length to be used are based on conservative relations between the Hessians at different points and are hence sub-op… ▽ More In path-following methods for conic programming knowledge of the performance of the (damped) Newton method at finite distances from the minimizer of a self-concordant function is crucial for the tuning of the parameters of the method. The available bounds on the progress and the step length to be used are based on conservative relations between the Hessians at different points and are hence sub-optimal. In this contribution we use methods of optimal control theory to compute the optimal step length of the Newton method on the class of self-concordant functions, as a function of the initial Newton decrement, and the resulting worst-case decrease of the decrement. The exact bounds are expressed in terms of solutions of ordinary differential equations which cannot be integrated explicitly. We provide approximate numerical and analytic expressions which are accurate enough for use in optimization methods. As an application, the neighbourhood of the central path in which the iterates of path-following methods are required to stay can be enlarged, enabling faster progress along the central path during each iteration and hence fewer iterations to achieve a given accuracy. △ Less

Submitted 26 July, 2020; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: 6 figures

MSC Class: 90C51; 90C60

Projectively self-concordant barriers

Authors: Roland Hildebrand

Abstract: Self-concordance is the most important property required for barriers in convex programming. It is intrinsically linked to the affine structure of the underlying space. Here we introduce an alternative notion of self-concordance which is linked to the projective structure. A function on a set $X \subset A^n$ in an $n$-dimensional affine space is projectively self-concordant if and only if it can b… ▽ More Self-concordance is the most important property required for barriers in convex programming. It is intrinsically linked to the affine structure of the underlying space. Here we introduce an alternative notion of self-concordance which is linked to the projective structure. A function on a set $X \subset A^n$ in an $n$-dimensional affine space is projectively self-concordant if and only if it can be extended to an affinely self-concordant logarithmically homogeneous function on the conic extension $K \subset V^{n+1}$ of $X$ in the $(n+1)$-dimensional vector space obtained by homogenization of $A^n$. The feasible sets in conic programs, notably linear and semi-definite programs, are naturally equipped with projectively self-concordant barriers. However, the interior-point methods used to solve these programs employ only affine self-concordance. We show that estimates used in the analysis of interior-point methods are tighter for projective self-concordance, in particular inner and outer approximations of the set. This opens the way to a better tuning of parameters in interior-points algorithms to allow larger steps and hence faster convergence. Projective self-concordance is also a useful tool in the theoretical analysis of logarithmically homogeneous barriers on cones. △ Less

Submitted 15 March, 2021; v1 submitted 4 September, 2019; originally announced September 2019.

MSC Class: 90C51; 90C25

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VII. Inverse semigroup theory, closures, decomposition of perturbations

Authors: Robert Hildebrand, Matthias Köppe, Yuan Zhou

Abstract: In this self-contained paper, we present a theory of the piecewise linear minimal valid functions for the 1-row Gomory-Johnson infinite group problem. The non-extreme minimal valid functions are those that admit effective perturbations. We give a precise description of the space of these perturbations as a direct sum of certain finite- and infinite-dimensional subspaces. The infinite-dimensional s… ▽ More In this self-contained paper, we present a theory of the piecewise linear minimal valid functions for the 1-row Gomory-Johnson infinite group problem. The non-extreme minimal valid functions are those that admit effective perturbations. We give a precise description of the space of these perturbations as a direct sum of certain finite- and infinite-dimensional subspaces. The infinite-dimensional subspaces have partial symmetries; to describe them, we develop a theory of inverse semigroups of partial bijections, interacting with the functional equations satisfied by the perturbations. Our paper provides the foundation for grid-free algorithms for the Gomory-Johnson model, in particular for testing extremality of piecewise linear functions whose breakpoints are rational numbers with huge denominators. △ Less

Submitted 3 January, 2020; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 67 pages, 21 figures; v2: changes to sections 10.2-10.3, improved figures; v3: additional figures and minor updates, add reference to IPCO abstract. CC-BY-SA

MSC Class: 90C10 (Primary); 20M18; 39B62 (Secondary)

Journal ref: Open Journal of Mathematical Optimization, Volume 3 (2022), article no. 5, 44 p

Natural parameterizations of closed projective plane curves

Authors: Roland Hildebrand

Abstract: A natural parametrization of smooth projective plane curves which tolerates the presence of sextactic points is the Forsyth-Laguerre parametrization. On a closed projective plane curve, which necessarily contains sextactic points, this parametrization is, however, in general not periodic. We show that by the introduction of an additional scalar parameter $α\leq \frac12$ one can define a projective… ▽ More A natural parametrization of smooth projective plane curves which tolerates the presence of sextactic points is the Forsyth-Laguerre parametrization. On a closed projective plane curve, which necessarily contains sextactic points, this parametrization is, however, in general not periodic. We show that by the introduction of an additional scalar parameter $α\leq \frac12$ one can define a projectively invariant $2π$-periodic global parametrization on every simple closed convex sufficiently smooth projective plane curve without inflection points. For non-quadratic curves this parametrization, which we call balanced, is unique up to a shift of the parameter. The curve is an ellipse if and only if $α= \frac12$, and the value of $α$ is a global projective invariant of the curve. The parametrization is equivariant with respect to duality. △ Less

Submitted 14 March, 2020; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: submitted to Journal of Geometry

MSC Class: 53A20; 52A10

Self-associated three-dimensional cones

Authors: Roland Hildebrand

Abstract: For every proper convex cone $K \subset \mathbb R^3$ there exists a unique complete hyperbolic affine 2-sphere with mean curvature $-1$ which is asymptotic to the boundary of the cone. Two cones are associated if the corresponding affine spheres can be mapped to each other by an orientation-preserving isometry. This equivalence relation is generated by the groups $SL(3,\mathbb R)$ and $S^1$, where… ▽ More For every proper convex cone $K \subset \mathbb R^3$ there exists a unique complete hyperbolic affine 2-sphere with mean curvature $-1$ which is asymptotic to the boundary of the cone. Two cones are associated if the corresponding affine spheres can be mapped to each other by an orientation-preserving isometry. This equivalence relation is generated by the groups $SL(3,\mathbb R)$ and $S^1$, where the former acts by linear transformations of the ambient space, and the latter by multiplication of the cubic holomorphic differential of the affine sphere by unimodular complex constants. The action of $S^1$ generalizes conic duality, which acts by multiplication of the cubic differential by $-1$. We call a cone self-associated if it is linearly isomorphic to all its associated cones, in which case the action of $S^1$ induces (nonlinear) isometries of the corresponding affine sphere. We give a complete classification of the self-associated cones and compute isothermal parametrizations of the corresponding affine spheres. The solutions can be expressed in terms of degenerate Painlevé III transcendents. The boundaries of generic self-associated cones can be represented as conic hulls of vector-valued solutions of a certain third-order linear ordinary differential equation with periodic coefficients, but there exist also cones with polyhedral boundary parts. △ Less

Submitted 8 January, 2021; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: The third version contains simplified proofs

MSC Class: 30F20; 53A05; 30F30; 52A15; 53A15; 35J96; 33E17

Binary Extended Formulations

Authors: Sanjeeb Dash, Oktay Gunluk, Robert Hildebrand

Abstract: We analyze different ways of constructing binary extended formulations of mixed-integer problems with bounded integer variables and compare their relative strength with respect to split cuts. We show that among all binary extended formulations where each bounded integer variable is represented by a distinct collection of binary variables, what we call "unimodular" extended formulations are the str… ▽ More We analyze different ways of constructing binary extended formulations of mixed-integer problems with bounded integer variables and compare their relative strength with respect to split cuts. We show that among all binary extended formulations where each bounded integer variable is represented by a distinct collection of binary variables, what we call "unimodular" extended formulations are the strongest. We also compare the strength of some binary extended formulations from the literature. Finally, we study the behavior of branch-and-bound on such extended formulations and show that branching on the new binary variables leads to significantly smaller enumeration trees in some cases. △ Less

Submitted 3 January, 2018; originally announced January 2018.

Extremal copositive matrices with minimal zero supports of cardinality two

Authors: Roland Hildebrand

Abstract: Let $A \in {\cal C}^n$ be an extremal copositive matrix with unit diagonal. Then the minimal zeros of $A$ all have supports of cardinality two if and only if the elements of $A$ are all from the set $\{-1,0,1\}$. Thus the extremal copositive matrices with minimal zero supports of cardinality two are exactly those matrices which can be obtained by diagonal scaling from the extremal $\{-1,0,1\}$ uni… ▽ More Let $A \in {\cal C}^n$ be an extremal copositive matrix with unit diagonal. Then the minimal zeros of $A$ all have supports of cardinality two if and only if the elements of $A$ are all from the set $\{-1,0,1\}$. Thus the extremal copositive matrices with minimal zero supports of cardinality two are exactly those matrices which can be obtained by diagonal scaling from the extremal $\{-1,0,1\}$ unit diagonal matrices characterized by Hoffman and Pereira in 1973. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: 4 pages

MSC Class: 15A48; 15A21

Minimal cut-generating functions are nearly extreme

Authors: Amitabh Basu, Robert Hildebrand, Marco Molinaro

Abstract: We study continuous (strongly) minimal cut generating functions for the model where all variables are integer. We consider both the original Gomory-Johnson setting as well as a recent extension by Cornuéjols and Yıldız. We show that for any continuous minimal or strongly minimal cut generating function, there exists an extreme cut generating function that approximates the (strongly) minimal functi… ▽ More We study continuous (strongly) minimal cut generating functions for the model where all variables are integer. We consider both the original Gomory-Johnson setting as well as a recent extension by Cornuéjols and Yıldız. We show that for any continuous minimal or strongly minimal cut generating function, there exists an extreme cut generating function that approximates the (strongly) minimal function as closely as desired. In other words, the extreme functions are "dense" in the set of continuous (strongly) minimal functions. △ Less

Submitted 27 August, 2017; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: A subset of these results appeared in Proceedings of IPCO 2016, Lecture Notes in Computer Science, vol. 9682, pp. 202--213

MSC Class: 90C10; 90C11; 46E10

Extension Complexity Lower Bounds for Mixed-Integer Extended Formulations

Authors: Robert Hildebrand, Robert Weismantel, Rico Zenklusen

Abstract: We prove that any mixed-integer linear extended formulation for the matching polytope of the complete graph on $n$ vertices, with a polynomial number of constraints, requires $Ω(\sqrt{\sfrac{n}{\log n}})$ many integer variables. By known reductions, this result extends to the traveling salesman polytope. This lower bound has various implications regarding the existence of small mixed-integer mathe… ▽ More We prove that any mixed-integer linear extended formulation for the matching polytope of the complete graph on $n$ vertices, with a polynomial number of constraints, requires $Ω(\sqrt{\sfrac{n}{\log n}})$ many integer variables. By known reductions, this result extends to the traveling salesman polytope. This lower bound has various implications regarding the existence of small mixed-integer mathematical formulations of common problems in operations research. In particular, it shows that for many classic vehicle routing problems and problems involving matchings, any compact mixed-integer linear description of such a problem requires a large number of integer variables. This provides a first non-trivial lower bound on the number of integer variables needed in such settings. △ Less

Submitted 24 June, 2022; v1 submitted 2 November, 2016; originally announced November 2016.

Comments: Unfortunately, the proof technique seems to have a flaw in Lemma 8. Specifically, there was an error in rearranging formulas involving projections of mixed integer sets. The overall main results, it turns out hold true. Please see the improved techniques (quite different) by Cevallos, Weltge, and Zenklusen. https://epubs.siam.org/doi/pdf/10.1137/1.9781611975031.51

Copositive matrices with circulant zero support set

Authors: Roland Hildebrand

Abstract: Let $n \geq 5$ and let $u^1,\dots,u^n$ be nonnegative real $n$-vectors such that the indices of their positive elements form the sets $\{1,2,\dots,n-2\},\{2,3,\dots,n-1\},\dots,\{n,1,\dots,n-3\}$, respectively. Here each index set is obtained from the previous one by a circular shift. The set of copositive forms which vanish on the vectors $u^1,\dots,u^n$ is a face of the copositive cone… ▽ More Let $n \geq 5$ and let $u^1,\dots,u^n$ be nonnegative real $n$-vectors such that the indices of their positive elements form the sets $\{1,2,\dots,n-2\},\{2,3,\dots,n-1\},\dots,\{n,1,\dots,n-3\}$, respectively. Here each index set is obtained from the previous one by a circular shift. The set of copositive forms which vanish on the vectors $u^1,\dots,u^n$ is a face of the copositive cone ${\cal C}^n$. We give an explicit semi-definite description of this face and of its subface consisting of positive semi-definite forms, and study their properties. If the vectors $u^1,\dots,u^n$ and their positive multiples exhaust the zero set of an exceptional copositive form belonging to this face, then we say it has minimal circulant zero support set, and otherwise non-minimal circulant zero support set. We show that forms with non-minimal circulant zero support set are always extremal, and forms with minimal circulant zero support sets can be extremal only if $n$ is odd. We construct explicit examples of extremal forms with non-minimal circulant zero support set for any order $n \geq 5$, and examples of extremal forms with minimal circulant zero support set for any odd order $n \geq 5$. The set of all forms with non-minimal circulant zero support set, i.e., defined by different collections $u^1,\dots,u^n$ of zeros, is a submanifold of codimension $2n$, the set of all forms with minimal circulant zero support set a submanifold of codimension $n$. △ Less

Submitted 8 November, 2016; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: 32 pages

MSC Class: 15B48; 15A21

Sublinear Bounds for a Quantitative Doignon-Bell-Scarf Theorem

Authors: Stephen R. Chestnut, Robert Hildebrand, Rico Zenklusen

Abstract: The recent paper "A quantitative Doignon-Bell-Scarf Theorem" by Aliev et al. generalizes the famous Doignon-Bell-Scarf Theorem on the existence of integer solutions to systems of linear inequalities. Their generalization examines the number of facets of a polyhedron that contains exactly $k$ integer points in $\mathbb{R}^n$. They show that there exists a number $c(n,k)$ such that any polyhedron in… ▽ More The recent paper "A quantitative Doignon-Bell-Scarf Theorem" by Aliev et al. generalizes the famous Doignon-Bell-Scarf Theorem on the existence of integer solutions to systems of linear inequalities. Their generalization examines the number of facets of a polyhedron that contains exactly $k$ integer points in $\mathbb{R}^n$. They show that there exists a number $c(n,k)$ such that any polyhedron in $\mathbb{R}^n$ that contains exactly $k$ integer points has a relaxation to at most $c(n,k)$ of its inequalities that will define a new polyhedron with the same integer points. They prove that $c(n,k) = O(k2^n)$. In this paper, we improve the bound asymptotically to be sublinear in $k$. We also provide lower bounds on $c(n,k)$, along with other structural results. For dimension $n=2$, our bounds are asymptotically tight to within a constant. △ Less

Submitted 30 August, 2017; v1 submitted 22 December, 2015; originally announced December 2015.

Mixed Integer Reformulations of Integer Programs and the Affine TU-dimension of a Matrix

Authors: Jörg Bader, Robert Hildebrand, Robert Weismantel, Rico Zenklusen

Abstract: We study the reformulation of integer linear programs by means of a mixed integer linear program with fewer integer variables. Such reformulations can be solved efficiently with mixed integer linear programming techniques. We exhibit examples that demonstrate how integer programs can be reformulated using far fewer integer variables. To this end, we introduce a generalization of total unimodularit… ▽ More We study the reformulation of integer linear programs by means of a mixed integer linear program with fewer integer variables. Such reformulations can be solved efficiently with mixed integer linear programming techniques. We exhibit examples that demonstrate how integer programs can be reformulated using far fewer integer variables. To this end, we introduce a generalization of total unimodularity called the \emph{affine TU-dimension} of a matrix and study related theory and algorithms for determining the affine TU-dimension of a matrix. We also present bounds on the number of integer variables needed to represent certain integer hulls. △ Less

Submitted 13 April, 2017; v1 submitted 12 August, 2015; originally announced August 2015.

MSC Class: 90C11 (Primary); 90C10; 90C27 (Secondary)

An FPTAS for Minimizing Indefinite Quadratic Forms over Integers in Polyhedra

Authors: Robert Hildebrand, Robert Weismantel, Kevin Zemmer

Abstract: We present a generic approach that allows us to develop a fully polynomial-time approximation scheme (FTPAS) for minimizing nonlinear functions over the integer points in a rational polyhedron in fixed dimension. The approach combines the subdivision strategy of Papadimitriou and Yannakakis (2000) with ideas similar to those commonly used to derive real algebraic certificates of positivity for pol… ▽ More We present a generic approach that allows us to develop a fully polynomial-time approximation scheme (FTPAS) for minimizing nonlinear functions over the integer points in a rational polyhedron in fixed dimension. The approach combines the subdivision strategy of Papadimitriou and Yannakakis (2000) with ideas similar to those commonly used to derive real algebraic certificates of positivity for polynomials. Our general approach is widely applicable. We apply it, for instance, to the Motzkin polynomial and to indefinite quadratic forms $x^T Q x$ in a fixed number of variables, where $Q$ has at most one positive, or at most one negative eigenvalue. In dimension three, this leads to an FPTAS for general $Q$. △ Less

Submitted 14 October, 2015; v1 submitted 3 July, 2015; originally announced July 2015.

Typicalness of chaotic fractal behaviour of integral vortexes in Hamiltonian systems with discontinuous right hand side

Authors: Roland Hildebrand, Lev Lokutsievskiy, Mikhail Zelikin

Abstract: We consider a linear-quadratic deterministic optimal control problem where the control takes values in a two-dimensional simplex. The phase portrait of the optimal synthesis contains second-order singular extremals and exhibits modes of infinite accumulations of switchings in finite time, so-called chattering. We prove the presence of an entirely new phenomenon, namely the chaotic behaviour of bou… ▽ More We consider a linear-quadratic deterministic optimal control problem where the control takes values in a two-dimensional simplex. The phase portrait of the optimal synthesis contains second-order singular extremals and exhibits modes of infinite accumulations of switchings in finite time, so-called chattering. We prove the presence of an entirely new phenomenon, namely the chaotic behaviour of bounded pieces of optimal trajectories. We find the hyperbolic domains in the neighbourhood of a homoclinic point and estimate the corresponding contraction-extension coefficients. This gives us the possibility to calculate the entropy and the Hausdorff dimension of the non-wandering set which appears to have a Cantor-like structure as in Smale's Horseshoe. The dynamics of the system is described by a topological Markov chain. In the second part it is shown that this behaviour is generic for piece-wise smooth Hamiltonian systems in the vicinity of a junction of three discontinuity hyper-surface strata. △ Less

Submitted 7 June, 2015; originally announced June 2015.

Comments: 113 pages, 22 figures

MSC Class: 37J99 (Primary) 49L99 (Secondary)

Journal ref: Zelikin M.I., Lokutsievskii L.V., Hildebrand, R., Typicality of Chaotic Fractal Behavior of Integral Vortices in Hamiltonian Systems with Discontinuous Right Hand Side, R. J Math Sci (2017) 221:1, pp 1-136

Note on the Complexity of the Mixed-Integer Hull of a Polyhedron

Authors: Robert Hildebrand, Timm Oertel, Robert Weismantel

Abstract: We study the complexity of computing the mixed-integer hull $\operatorname{conv}(P\cap\mathbb{Z}^n\times\mathbb{R}^d)$ of a polyhedron $P$. Given an inequality description, with one integer variable, the mixed-integer hull can have exponentially many vertices and facets in $d$. For $n,d$ fixed, we give an algorithm to find the mixed integer hull in polynomial time. Given… ▽ More We study the complexity of computing the mixed-integer hull $\operatorname{conv}(P\cap\mathbb{Z}^n\times\mathbb{R}^d)$ of a polyhedron $P$. Given an inequality description, with one integer variable, the mixed-integer hull can have exponentially many vertices and facets in $d$. For $n,d$ fixed, we give an algorithm to find the mixed integer hull in polynomial time. Given $P=\operatorname{conv}(V)$ and $n$ fixed, we compute a vertex description of the mixed-integer hull in polynomial time and give bounds on the number of vertices of the mixed integer hull. △ Less

Submitted 10 March, 2015; v1 submitted 8 December, 2014; originally announced December 2014.

Light on the Infinite Group Relaxation

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: This is a survey on the infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph Gomory and Ellis Johnson in their groundbreaking papers titled "Some continuous functions related to corner polyhedra I, II" [Math. Programming 3 (1972), 23-85, 359-389]. The survey presents the infinite group problem in the modern context of cut generati… ▽ More This is a survey on the infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph Gomory and Ellis Johnson in their groundbreaking papers titled "Some continuous functions related to corner polyhedra I, II" [Math. Programming 3 (1972), 23-85, 359-389]. The survey presents the infinite group problem in the modern context of cut generating functions. It focuses on the recent developments, such as algorithms for testing extremality and breakthroughs for the k-row problem for general k >= 1 that extend previous work on the single-row and two-row problems. The survey also includes some previously unpublished results; among other things, it unveils piecewise linear extreme functions with more than four different slopes. An interactive companion program, implemented in the open-source computer algebra package Sage, provides an updated compendium of known extreme functions. △ Less

Submitted 24 March, 2015; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 45 pages

MSC Class: 90C10

Journal ref: 4OR 14 (2016), 1-40, 107-131

Spectrahedral cones generated by rank 1 matrices

Authors: Roland Hildebrand

Abstract: Let ${\cal S}_+^n \subset {\cal S}^n$ be the cone of positive semi-definite matrices as a subset of the vector space of real symmetric $n \times n$ matrices. The intersection of ${\cal S}_+^n$ with a linear subspace of ${\cal S}^n$ is called a spectrahedral cone. We consider spectrahedral cones $K$ such that every element of $K$ can be represented as a sum of rank 1 matrices in $K$. We shall call… ▽ More Let ${\cal S}_+^n \subset {\cal S}^n$ be the cone of positive semi-definite matrices as a subset of the vector space of real symmetric $n \times n$ matrices. The intersection of ${\cal S}_+^n$ with a linear subspace of ${\cal S}^n$ is called a spectrahedral cone. We consider spectrahedral cones $K$ such that every element of $K$ can be represented as a sum of rank 1 matrices in $K$. We shall call such spectrahedral cones rank one generated (ROG). We show that ROG cones which are linearly isomorphic as convex cones are also isomorphic as linear sections of the positive semi-definite matrix cone, which is not the case for general spectrahedral cones. We give many examples of ROG cones and show how to construct new ROG cones from given ones by different procedures. We provide classifications of some subclasses of ROG cones, in particular, we classify all ROG cones for matrix sizes not exceeding 4. Further we prove some results on the structure of ROG cones. We also briefly consider the case of complex or quaternionic matrices. ROG cones are in close relation with the exactness of semi-definite relaxations of quadratically constrained quadratic optimization problems or of relaxations approximating the cone of nonnegative functions in squared functional systems. △ Less

Submitted 7 April, 2015; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: Version 2: section on complex and quaternionic case added, many sections completely rewritten

MSC Class: 15A48; 90C22

Minimizing Cubic and Homogeneous Polynomials over Integers in the Plane

Authors: Alberto Del Pia, Robert Hildebrand, Robert Weismantel, Kevin Zemmer

Abstract: We complete the complexity classification by degree of minimizing a polynomial over the integer points in a polyhedron in $\mathbb{R}^2$. Previous work shows that optimizing a quadratic polynomial over the integer points in a polyhedral region in $\mathbb{R}^2$ can be done in polynomial time, while optimizing a quartic polynomial in the same type of region is NP-hard. We close the gap by showing t… ▽ More We complete the complexity classification by degree of minimizing a polynomial over the integer points in a polyhedron in $\mathbb{R}^2$. Previous work shows that optimizing a quadratic polynomial over the integer points in a polyhedral region in $\mathbb{R}^2$ can be done in polynomial time, while optimizing a quartic polynomial in the same type of region is NP-hard. We close the gap by showing that this problem can be solved in polynomial time for cubic polynomials. Furthermore, we show that the problem of minimizing a homogeneous polynomial of any fixed degree over the integer points in a bounded polyhedron in $\mathbb{R}^2$ is solvable in polynomial time. We show that this holds for polynomials that can be translated into homogeneous polynomials, even when the translation vector is unknown. We demonstrate that such problems in the unbounded case can have smallest optimal solutions of exponential size in the size of the input, thus requiring a compact representation of solutions for a general polynomial time algorithm for the unbounded case. △ Less

Submitted 6 May, 2015; v1 submitted 20 August, 2014; originally announced August 2014.

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We develop foundational tools for classifying the extreme valid functions for the k-dimensional infinite group problem. In particular, (1) we present the general regular solution to Cauchy's additive functional equation on bounded convex domains. This provides a k-dimensional generalization of the so-called interval lemma, allowing us to deduce affine properties of the function from certain additi… ▽ More We develop foundational tools for classifying the extreme valid functions for the k-dimensional infinite group problem. In particular, (1) we present the general regular solution to Cauchy's additive functional equation on bounded convex domains. This provides a k-dimensional generalization of the so-called interval lemma, allowing us to deduce affine properties of the function from certain additivity relations. (2) We study the discrete geometry of additivity domains of piecewise linear functions, providing a framework for finite tests of minimality and extremality. (3) We give a theory of non-extremality certificates in the form of perturbation functions. We apply these tools in the context of minimal valid functions for the two-dimensional infinite group problem that are piecewise linear on a standard triangulation of the plane, under the assumption of a regularity condition called diagonal constrainedness. We show that the extremality of a minimal valid function is equivalent to the extremality of its restriction to a certain finite two-dimensional group problem. This gives an algorithm for testing the extremality of a given minimal valid function. △ Less

Submitted 23 August, 2016; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: 44 pages, 10 figures

MSC Class: 90C10

Minimal zeros of copositive matrices

Authors: Roland Hildebrand

Abstract: Let $A$ be an element of the copositive cone ${\cal C}_n$. A zero $u$ of $A$ is a nonzero nonnegative vector such that $u^TAu = 0$. The support of $u$ is the index set $\mbox{supp}u \subset \{1,\dots,n\}$ corresponding to the positive entries of $u$. A zero $u$ of $A$ is called minimal if there does not exist another zero $v$ of $A$ such that its support $\mbox{supp}v$ is a strict subset of… ▽ More Let $A$ be an element of the copositive cone ${\cal C}_n$. A zero $u$ of $A$ is a nonzero nonnegative vector such that $u^TAu = 0$. The support of $u$ is the index set $\mbox{supp}u \subset \{1,\dots,n\}$ corresponding to the positive entries of $u$. A zero $u$ of $A$ is called minimal if there does not exist another zero $v$ of $A$ such that its support $\mbox{supp}v$ is a strict subset of $\mbox{supp}u$. We investigate the properties of minimal zeros of copositive matrices and their supports. Special attention is devoted to copositive matrices which are irreducible with respect to the cone $S_+(n)$ of positive semi-definite matrices, i.e., matrices which cannot be written as a sum of a copositive and a nonzero positive semi-definite matrix. We give a necessary and sufficient condition for irreducibility of a matrix $A$ with respect to $S_+(n)$ in terms of its minimal zeros. A similar condition is given for the irreducibility with respect to the cone ${\cal N}_n$ of entry-wise nonnegative matrices. For $n = 5$ matrices which are irreducible with respect to both $S_+(5)$ and ${\cal N}_5$ are extremal. For $n = 6$ a list of candidate combinations of supports of minimal zeros which an exceptional extremal matrix can have is provided. △ Less

Submitted 8 June, 2014; v1 submitted 31 December, 2013; originally announced January 2014.

Comments: Some conditions and proofs simplified

MSC Class: 15A48; 15A21

Analytic formulas for complete hyperbolic affine spheres

Authors: Roland Hildebrand

Abstract: We classify all regular three-dimensional convex cones which possess an automorphism group of dimension at least two, and provide analytic expressions for the complete hyperbolic affine spheres which are asymptotic to the boundaries of these cones. The affine spheres are represented by explicit hypersurface immersions into three-dimensional real space. The generic member of the family of immersion… ▽ More We classify all regular three-dimensional convex cones which possess an automorphism group of dimension at least two, and provide analytic expressions for the complete hyperbolic affine spheres which are asymptotic to the boundaries of these cones. The affine spheres are represented by explicit hypersurface immersions into three-dimensional real space. The generic member of the family of immersions is given by elliptic integrals. △ Less

Submitted 21 May, 2013; originally announced May 2013.

Comments: 16 pages

MSC Class: 53A15; 35J96

Hessian potentials with parallel derivatives

Authors: Roland Hildebrand

Abstract: Let $U \subset \mathbb A^n$ be an open subset of real affine space. We consider functions $F: U \to \mathbb R$ with non-degenerate Hessian such that the first or the third derivative of $F$ is parallel with respect to the Levi-Civita connection defined by the Hessian metric $F"$. In the former case the solutions are given precisely by the logarithmically homogeneous functions, while the latter cas… ▽ More Let $U \subset \mathbb A^n$ be an open subset of real affine space. We consider functions $F: U \to \mathbb R$ with non-degenerate Hessian such that the first or the third derivative of $F$ is parallel with respect to the Levi-Civita connection defined by the Hessian metric $F"$. In the former case the solutions are given precisely by the logarithmically homogeneous functions, while the latter case is closely linked to metrised Jordan algebras. Both conditions together are related to unital metrised Jordan algebras. Both conditions combined with convexity provide a local characterization of canonical barriers on symmetric cones. △ Less

Submitted 29 March, 2013; originally announced March 2013.

Comments: 10 pages

MSC Class: 53B05; 58J60; 90C22

Graph immersions with parallel cubic form

Authors: Roland Hildebrand

Abstract: We consider non-degenerate graph immersions into affine space $\mathbb A^{n+1}$ whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a correspondence between such graph immersions and pairs $(J,γ)$, where $J$ is an $n$-dimensional real Jordan algebra and $γ$ is a non-degenerate trace form on $J$. Every graph immersion with parallel cubic form c… ▽ More We consider non-degenerate graph immersions into affine space $\mathbb A^{n+1}$ whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a correspondence between such graph immersions and pairs $(J,γ)$, where $J$ is an $n$-dimensional real Jordan algebra and $γ$ is a non-degenerate trace form on $J$. Every graph immersion with parallel cubic form can be extended to an affine complete symmetric space covering the maximal connected component of zero in the set of quasi-regular elements in the algebra $J$. It is an improper affine hypersphere if and only if the corresponding Jordan algebra is nilpotent. In this case it is an affine complete, Euclidean complete graph immersion, with a polynomial as globally defining function. We classify all such hyperspheres up to dimension 5. As a special case we describe a connection between Cayley hypersurfaces and polynomial quotient algebras. Our algebraic approach can be used to study also other classes of hypersurfaces with parallel cubic form. △ Less

Submitted 9 April, 2020; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: some proofs have been simplified with respect to the first version

MSC Class: 53A15; 17C36; 17C37

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. II. The Unimodular Two-Dimensional Case

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We give an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. We give an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. △ Less

Submitted 27 October, 2012; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:1206.2079

Journal ref: IPCO 2013, Lecture Notes in Computer Science, vol. 7801

Centro-affine hypersurface immersions with parallel cubic form

Authors: Roland Hildebrand

Abstract: We consider non-degenerate centro-affine hypersurface immersions in R^n whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a bijective correspondence between homothetic families of proper affine hyperspheres with center in the origin and with parallel cubic form, and Köchers conic omega-domains, which are the maximal connected sets consisting… ▽ More We consider non-degenerate centro-affine hypersurface immersions in R^n whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a bijective correspondence between homothetic families of proper affine hyperspheres with center in the origin and with parallel cubic form, and Köchers conic omega-domains, which are the maximal connected sets consisting of invertible elements in a real semi-simple Jordan algebra. Every level surface of the omega function in an omega-domain is an affine complete, Euclidean complete proper affine hypersphere with parallel cubic form and with center in the origin. On the other hand, every proper affine hypersphere with parallel cubic form and with center in the origin can be represented as such a level surface. We provide a complete classification of proper affine hyperspheres with parallel cubic form based on the classification of semi-simple real Jordan algebras. Centro-affine hypersurface immersions with parallel cubic form are related to the wider class of real unital Jordan algebras. Every such immersion can be extended to an affine complete one, whose conic hull is the connected component of the unit element in the set of invertible elements in a real unital Jordan algebra. Our approach can be used to study also other classes of hypersurfaces with parallel cubic form. △ Less

Submitted 4 January, 2013; v1 submitted 6 August, 2012; originally announced August 2012.

Comments: Fourth version, 35 pages. A missing case has been added to the classification

MSC Class: 53A15

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. I. The One-Dimensional Case

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We give an algorithm for testing the extremality of minimal valid functions for Gomory and Johnson's infinite group problem that are piecewise linear (possibly discontinuous) with rational breakpoints. This is the first set of necessary and sufficient conditions that can be tested algorithmically for deciding extremality in this important class of minimal valid functions. We also present an extrem… ▽ More We give an algorithm for testing the extremality of minimal valid functions for Gomory and Johnson's infinite group problem that are piecewise linear (possibly discontinuous) with rational breakpoints. This is the first set of necessary and sufficient conditions that can be tested algorithmically for deciding extremality in this important class of minimal valid functions. We also present an extreme function that is a piecewise linear function with some irrational breakpoints, whose extremality follows from a new principle. △ Less

Submitted 24 July, 2013; v1 submitted 10 June, 2012; originally announced June 2012.

Comments: 38 pages, 10 figures

MSC Class: 90C11; 90C34

Journal ref: Mathematics of Operations Research 40 (2014), no. 1, 105-129

The Triangle Closure is a Polyhedron

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with certain families of lattice-free sets are polyhedra. For a long time, the only result known was the celebrated theorem of Cook, Kannan and Schrijver who showed t… ▽ More Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with certain families of lattice-free sets are polyhedra. For a long time, the only result known was the celebrated theorem of Cook, Kannan and Schrijver who showed that the split closure is a polyhedron. Although some fairly general results were obtained by Andersen, Louveaux and Weismantel [ An analysis of mixed integer linear sets based on lattice point free convex sets, Math. Oper. Res. 35 (2010), 233--256] and Averkov [On finitely generated closures in the theory of cutting planes, Discrete Optimization 9 (2012), no. 4, 209--215], some basic questions have remained unresolved. For example, maximal lattice-free triangles are the natural family to study beyond the family of splits and it has been a standing open problem to decide whether the triangle closure is a polyhedron. In this paper, we show that when the number of integer variables $m=2$ the triangle closure is indeed a polyhedron and its number of facets can be bounded by a polynomial in the size of the input data. The techniques of this proof are also used to give a refinement of necessary conditions for valid inequalities being facet-defining due to Cornuéjols and Margot [On the facets of mixed integer programs with two integer variables and two constraints, Mathematical Programming 120 (2009), 429--456] and obtain polynomial complexity results about the mixed integer hull. △ Less

Submitted 8 January, 2013; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 39 pages; made self-contained by merging material from arXiv:1107.5068v1

MSC Class: 90C11

A (k+1)-Slope Theorem for the k-Dimensional Infinite Group Relaxation

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe, Marco Molinaro

Abstract: We prove that any minimal valid function for the k-dimensional infinite group relaxation that is piecewise linear with at most k+1 slopes and does not factor through a linear map with non-trivial kernel is extreme. This generalizes a theorem of Gomory and Johnson for k=1, and Cornuejols and Molinaro for k=2. We prove that any minimal valid function for the k-dimensional infinite group relaxation that is piecewise linear with at most k+1 slopes and does not factor through a linear map with non-trivial kernel is extreme. This generalizes a theorem of Gomory and Johnson for k=1, and Cornuejols and Molinaro for k=2. △ Less

Submitted 19 September, 2011; originally announced September 2011.

Comments: 25 pages, 2 figures

MSC Class: 90C10; 90C11

Algorithmic and Complexity Results for Cutting Planes Derived from Maximal Lattice-Free Convex Sets

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We study a mixed integer linear program with m integer variables and k non-negative continuous variables in the form of the relaxation of the corner polyhedron that was introduced by Andersen, Louveaux, Weismantel and Wolsey [Inequalities from two rows of a simplex tableau, Proc. IPCO 2007, LNCS, vol. 4513, Springer, pp. 1--15]. We describe the facets of this mixed integer linear program via the e… ▽ More We study a mixed integer linear program with m integer variables and k non-negative continuous variables in the form of the relaxation of the corner polyhedron that was introduced by Andersen, Louveaux, Weismantel and Wolsey [Inequalities from two rows of a simplex tableau, Proc. IPCO 2007, LNCS, vol. 4513, Springer, pp. 1--15]. We describe the facets of this mixed integer linear program via the extreme points of a well-defined polyhedron. We then utilize this description to give polynomial time algorithms to derive valid inequalities with optimal l_p norm for arbitrary, but fixed m. For the case of m=2, we give a refinement and a new proof of a characterization of the facets by Cornuejols and Margot [On the facets of mixed integer programs with two integer variables and two constraints, Math. Programming 120 (2009), 429--456]. The key point of our approach is that the conditions are much more explicit and can be tested in a more direct manner, removing the need for a reduction algorithm. These results allow us to show that the relaxed corner polyhedron has only polynomially many facets. △ Less

Submitted 25 July, 2011; originally announced July 2011.

Comments: 35 pages, 15 figures

MSC Class: 90C11

A new Lenstra-type Algorithm for Quasiconvex Polynomial Integer Minimization with Complexity 2^O(n log n)

Authors: Robert Hildebrand, Matthias Köppe

Abstract: We study the integer minimization of a quasiconvex polynomial with quasiconvex polynomial constraints. We propose a new algorithm that is an improvement upon the best known algorithm due to Heinz (Journal of Complexity, 2005). This improvement is achieved by applying a new modern Lenstra-type algorithm, finding optimal ellipsoid roundings, and considering sparse encodings of polynomials. For the b… ▽ More We study the integer minimization of a quasiconvex polynomial with quasiconvex polynomial constraints. We propose a new algorithm that is an improvement upon the best known algorithm due to Heinz (Journal of Complexity, 2005). This improvement is achieved by applying a new modern Lenstra-type algorithm, finding optimal ellipsoid roundings, and considering sparse encodings of polynomials. For the bounded case, our algorithm attains a time-complexity of s (r l M d)^{O(1)} 2^{2n log_2(n) + O(n)} when M is a bound on the number of monomials in each polynomial and r is the binary encoding length of a bound on the feasible region. In the general case, s l^{O(1)} d^{O(n)} 2^{2n log_2(n) +O(n)}. In each we assume d>= 2 is a bound on the total degree of the polynomials and l bounds the maximum binary encoding size of the input. △ Less

Submitted 19 January, 2012; v1 submitted 23 June, 2010; originally announced June 2010.

Comments: 28 pages, 10 figures

MSC Class: 90C10; 90C25

Journal ref: Discrete Optimization 10 (2013), no. 1, 69-84

Semidefinite descriptions of separable matrix cones

Authors: Roland Hildebrand

Abstract: Let K, K' be convex cones residing in finite-dimensional real vector spaces E, E'. An element in the tensor product E \otimes E' is K \otimes K'-separable if it can be represented as finite sum \sum_l x_l \otimes x'_l with x_l \in K and x_l' \in K' for all l. Let S(n), H(n), Q(n) be the spaces of n x n real symmetric, complex hermitian and quaternionic hermitian matrices, respectively. Let furth… ▽ More Let K, K' be convex cones residing in finite-dimensional real vector spaces E, E'. An element in the tensor product E \otimes E' is K \otimes K'-separable if it can be represented as finite sum \sum_l x_l \otimes x'_l with x_l \in K and x_l' \in K' for all l. Let S(n), H(n), Q(n) be the spaces of n x n real symmetric, complex hermitian and quaternionic hermitian matrices, respectively. Let further S_+(n), H_+(n), Q_+(n) be the cones of positive semidefinite matrices in these spaces. If a matrix in H(mn) = H(m) \otimes H(n) is H_+(m) \otimes H_+(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m) \otimes S(n), H(m) \otimes S(n), and for m < 3 in the space Q(m) \otimes S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n) \otimes S(2) is Q_+(n) \otimes S_+(2)-separable if and only if it is positive semidefinite. △ Less

Submitted 20 January, 2007; originally announced January 2007.

Comments: 23 pages

MSC Class: 15A48