-
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.
-
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.
-
Single Rh adatoms stabilized on α-Fe2O3(1-102) by co-adsorbed water
Authors:
Florian Kraushofer,
Lena Haager,
Moritz Eder,
Ali Rafsanjani-Abbasi,
Zdeněk Jakub,
Giada Franceschi,
Michele Riva,
Matthias Meier,
Michael Schmid,
Ulrike Diebold,
Gareth S. Parkinson
Abstract:
Oxide-supported single-atom catalysts are commonly modelled as a metal atom substituting surface cation sites in a low-index surface. Adatoms with dangling bonds will inevitably coordinate molecules from the gas phase, and adsorbates such as water can affect both stability and catalytic activity. Here, we use scanning tunneling microscopy (STM), noncontact atomic force microscopy (ncAFM), and x-ra…
▽ More
Oxide-supported single-atom catalysts are commonly modelled as a metal atom substituting surface cation sites in a low-index surface. Adatoms with dangling bonds will inevitably coordinate molecules from the gas phase, and adsorbates such as water can affect both stability and catalytic activity. Here, we use scanning tunneling microscopy (STM), noncontact atomic force microscopy (ncAFM), and x-ray photoelectron spectroscopy (XPS) to show that high densities of single Rh adatoms are stabilized on alpha-Fe2O3(1-102) in the presence of 2x10^(-8) mbar of water at room temperature, in marked contrast to the rapid sintering observed under UHV conditions. Annealing to 50 °C in UHV desorbs all water from the substrate leaving only the OH groups coordinated to Rh, and high-resolution ncAFM images provide a direct view into the internal structure. We provide direct evidence of the importance of OH ligands in the stability of single atoms, and argue that their presence should be assumed when modelling SAC systems.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.