-
MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers
Authors:
Alexander Hoen,
Dominik Kamp,
Ambros Gleixner
Abstract:
The recent performance improvements in mixed-integer programming (MIP) went along with a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which is, to the best of our knowledge, the first open-source delta debugger for MIP. Delta debugging is a hypothesis-trial-resu…
▽ More
The recent performance improvements in mixed-integer programming (MIP) went along with a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which is, to the best of our knowledge, the first open-source delta debugger for MIP. Delta debugging is a hypothesis-trial-result approach to isolate the cause of a solver failure. MIP-DD simplifies MIP instances while maintaining the undesired behavior and already supported and motivated fixes for many bugs in the SCIP releases 8.0.4, 8.1.0, and 9.0.0. This translates to an increase of approximately 71.% more bugfixes than in the same time period before and including some fixes of long-known issues. As we highlight in selected case studies, instances triggering fundamental bugs in SCIP can typically be reduced to a few variables and constraints in less than an hour. This makes it significantly easier to manually trace and check the solution process on the resulting simplified instances. A promising future application of MIP-DD is the analysis of performance bottlenecks, which could very well benefit from simple adversarial instances.
△ Less
Submitted 6 June, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
A diving heuristic for mixed-integer problems with unbounded semi-continuous variables
Authors:
Katrin Halbig,
Alexander Hoen,
Ambros Gleixner,
Jakob Witzig,
Dieter Weninger
Abstract:
Semi-continuous decision variables arise naturally in many real-world applications. They are defined to take either value zero or any value within a specified range, and occur mainly to prevent small nonzero values in the solution. One particular challenge that can come with semi-continuous variables in practical models is that their upper bound may be large or even infinite. In this article, we b…
▽ More
Semi-continuous decision variables arise naturally in many real-world applications. They are defined to take either value zero or any value within a specified range, and occur mainly to prevent small nonzero values in the solution. One particular challenge that can come with semi-continuous variables in practical models is that their upper bound may be large or even infinite. In this article, we briefly discuss these challenges, and present a new diving heuristic tailored for mixed-integer optimization problems with general semi-continuous variables. The heuristic is designed to work independently of whether the semi-continuous variables are bounded from above, and thus circumvents the specific difficulties that come with unbounded semi-continuous variables. We conduct extensive computational experiments on three different test sets, integrating the heuristic in an open-source MIP solver. The results indicate that this heuristic is a successful tool for finding high-quality solutions in negligible time. At the root node the primal gap is reduced by an average of 5 % up to 21 %, and considering the overall performance improvement, the primal integral is reduced by 2 % to 17 % on average.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
Authors:
Sander Borst,
Leon Eifler,
Ambros Gleixner
Abstract:
This paper presents the integration of constraint propagation and dual proof analysis in an exact, roundoff-error-free MIP solver. The authors employ safe rounding methods to ensure that all results remain provably correct, while sacrificing as little computational performance as possible in comparison to a pure floating-point implementation. The study also addresses the adaptation of certificatio…
▽ More
This paper presents the integration of constraint propagation and dual proof analysis in an exact, roundoff-error-free MIP solver. The authors employ safe rounding methods to ensure that all results remain provably correct, while sacrificing as little computational performance as possible in comparison to a pure floating-point implementation. The study also addresses the adaptation of certification techniques for correctness verification. Computational studies demonstrate the effectiveness of these techniques, showcasing a 23% performance improvement on the MIPLIB 2017 benchmark test set.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
The SCIP Optimization Suite 9.0
Authors:
Suresh Bolusani,
Mathieu Besançon,
Ksenia Bestuzheva,
Antonia Chmiela,
João Dionísio,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Mohammed Ghannam,
Ambros Gleixner,
Christoph Graczyk,
Katrin Halbig,
Ivo Hedtke,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Dominik Kamp,
Thorsten Koch,
Kevin Kofler,
Jurgen Lentz,
Julian Manns,
Gioni Mexi,
Erik Mühmer,
Marc E. Pfetsch,
Franziska Schlösser
, et al. (6 additional authors not shown)
Abstract:
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuris…
▽ More
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bug fixes. The SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. The SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Branch and Price for the Length-Constrained Cycle Partition Problem
Authors:
Mohammed Ghannam,
Gioni Mexi,
Edward Lam,
Ambros Gleixner
Abstract:
The length-constrained cycle partition problem (LCCP) is a graph optimization problem in which a set of nodes must be partitioned into a minimum number of cycles. Every node is associated with a critical time and the length of every cycle must not exceed the critical time of any node in the cycle. We formulate LCCP as a set partitioning model and solve it using an exact branch-and-price approach.…
▽ More
The length-constrained cycle partition problem (LCCP) is a graph optimization problem in which a set of nodes must be partitioned into a minimum number of cycles. Every node is associated with a critical time and the length of every cycle must not exceed the critical time of any node in the cycle. We formulate LCCP as a set partitioning model and solve it using an exact branch-and-price approach. We use a dynamic programming-based pricing algorithm to generate improving cycles, exploiting the particular structure of the pricing problem for efficient bidirectional search and symmetry breaking. Computational results show that the LP relaxation of the set partitioning model produces strong dual bounds and our branch-and-price method improves significantly over the state of the art. It is able to solve closed instances in a fraction of the previously needed time and closes 13 previously unsolved instances, one of which has 76 nodes, a notable improvement over the previous limit of 52 nodes.
△ Less
Submitted 2 February, 2024; v1 submitted 31 January, 2024;
originally announced January 2024.
-
Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
Authors:
Alexander Hoen,
Andy Oertel,
Ambros Gleixner,
Jakob Nordström
Abstract:
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the fea sibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first…
▽ More
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the fea sibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first step in this direction by showing how the correctness of MIP presolve reductions on 0-1 integer linear programs can be certified by using (and suitably extending) the VeriPB tool for pseudo-Boolean proof logging. Our experimental evaluation on both decision and optimization instances demonstrates the computational viability of the approach and leads to suggestions for future revisions of the proof format that will help to reduce the verbosity of the certificates and to accelerate the certification and verification process further.
△ Less
Submitted 20 March, 2024; v1 submitted 17 January, 2024;
originally announced January 2024.
-
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
Authors:
Leon Eifler,
Jakob Witzig,
Ambros Gleixner
Abstract:
In this paper we study formulations and algorithms for the cycle clustering problem, a partitioning problem over the vertex set of a directed graph with nonnegative arc weights that is used to identify cyclic behavior in simulation data generated from nonreversible Markov state models. Here, in addition to partitioning the vertices into a set of coherent clusters, the resulting clusters must be or…
▽ More
In this paper we study formulations and algorithms for the cycle clustering problem, a partitioning problem over the vertex set of a directed graph with nonnegative arc weights that is used to identify cyclic behavior in simulation data generated from nonreversible Markov state models. Here, in addition to partitioning the vertices into a set of coherent clusters, the resulting clusters must be ordered into a cycle such as to maximize the total net flow in the forward direction of the cycle. We provide a problem-specific binary programming formulation and compare it to a formulation based on the reformulation-linearization technique (RLT). We present theoretical results on the polytope associated with our custom formulation and develop primal heuristics and separation routines for both formulations. In computational experiments on simulation data from biology we find that branch and cut based on the problem-specific formulation outperforms the one based on RLT.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
The MIP Workshop 2023 Computational Competition on Reoptimization
Authors:
Suresh Bolusani,
Mathieu Besançon,
Ambros Gleixner,
Timo Berthold,
Claudia D'Ambrosio,
Gonzalo Muñoz,
Joseph Paat,
Dimitri Thomopulos
Abstract:
This paper describes the computational challenge developed for a computational competition held in 2023 for the $20^{\textrm{th}}$ anniversary of the Mixed Integer Programming Workshop. The topic of this competition was reoptimization, also known as warm starting, of mixed integer linear optimization problems after slight changes to the input data for a common formulation. The challenge was to acc…
▽ More
This paper describes the computational challenge developed for a computational competition held in 2023 for the $20^{\textrm{th}}$ anniversary of the Mixed Integer Programming Workshop. The topic of this competition was reoptimization, also known as warm starting, of mixed integer linear optimization problems after slight changes to the input data for a common formulation. The challenge was to accelerate the proof of optimality of the modified instances by leveraging the information from the solving processes of previously solved instances, all while creating high-quality primal solutions. Specifically, we discuss the competition's format, the creation of public and hidden datasets, and the evaluation criteria. Our goal is to establish a methodology for the generation of benchmark instances and an evaluation framework, along with benchmark datasets, to foster future research on reoptimization of mixed integer linear optimization problems.
△ Less
Submitted 29 November, 2023; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
Authors:
Leon Eifler,
Jules Nicolas-Thouvenin,
Ambros Gleixner
Abstract:
This article studies a combination of the two state-of-the-art algorithms for the exact solution of linear programs (LPs) over the rational numbers, i.e., without any roundoff errors or numerical tolerances. By integrating the method of precision boosting inside an LP iterative refinement loop, the combined algorithm is able to leverage the strengths of both methods: the speed of LP iterative refi…
▽ More
This article studies a combination of the two state-of-the-art algorithms for the exact solution of linear programs (LPs) over the rational numbers, i.e., without any roundoff errors or numerical tolerances. By integrating the method of precision boosting inside an LP iterative refinement loop, the combined algorithm is able to leverage the strengths of both methods: the speed of LP iterative refinement, in particular in the majority of cases when a double-precision floating-point solver is able to compute approximate solutions with small errors, and the robustness of precision boosting whenever extended levels of precision become necessary. We compare the practical performance of the resulting algorithm with both puremethods on a large set of LPs and mixed-integer programs (MIPs). The results show that the combined algorithm solves more instances than a pure LP iterative refinement approach, while being faster than pure precision boosting. When embedded in an exact branch-and-cut framework for MIPs, the combined algorithm is able to reduce the number of failed calls to the exact LP solver to zero, while maintaining the speed of the pure LP iterative refinement approach.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
A proof system for certifying symmetry and optimality reasoning in integer programming
Authors:
Jasper van Doornmalen,
Leon Eifler,
Ambros Gleixner,
Christopher Hojny
Abstract:
We present a proof system for establishing the correctness of results produced by optimization algorithms, with a focus on mixed-integer programming (MIP). Our system generalizes the seminal work of Bogaerts, Gocht, McCreesh, and Nordström (2022) for binary programs to handle any additional difficulties arising from unbounded and continuous variables, and covers a broad range of solving techniques…
▽ More
We present a proof system for establishing the correctness of results produced by optimization algorithms, with a focus on mixed-integer programming (MIP). Our system generalizes the seminal work of Bogaerts, Gocht, McCreesh, and Nordström (2022) for binary programs to handle any additional difficulties arising from unbounded and continuous variables, and covers a broad range of solving techniques, including symmetry handling, cutting planes, and presolving reductions. Consistency across all decisions that affect the feasible region is achieved by a pair of transitive relations on the set of solutions, which relies on the newly introduced notion of consistent branching trees. Combined with a series of machine-verifiable derivation rules, the resulting framework offers practical solutions to enhance the trust in integer programming as a methodology for applications where reliability and correctness are key.
△ Less
Submitted 8 November, 2023; v1 submitted 7 November, 2023;
originally announced November 2023.
-
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Authors:
Gioni Mexi,
Timo Berthold,
Ambros Gleixner,
Jakob Nordström
Abstract:
Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool…
▽ More
Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Boolean solving, where solvers can reason directly with 0-1 integer linear inequalities rather than with clausal constraints extracted from such inequalities. In this work, we investigate how pseudo-Boolean conflict analysis can be integrated in MIP solving, focusing on 0-1 integer linear programs (0-1 ILPs). Phrased in MIP terminology, conflict analysis can be understood as a sequence of linear combinations and cuts. We leverage this perspective to design a new conflict analysis algorithm based on mixed integer rounding (MIR) cuts, which theoretically dominates the state-of-the-art division-based method in pseudo-Boolean solving. We also report results from a first proof-of-concept implementation of different pseudo-Boolean conflict analysis methods in the open-source MIP solver SCIP. When evaluated on a large and diverse set of 0-1 ILP instances from MIPLIB 2017, our new MIR-based conflict analysis outperforms both previous pseudo-Boolean methods and the clause-based method used in MIP. Our conclusion is that pseudo-Boolean conflict analysis in MIP is a promising research direction that merits further study, and that it might also make sense to investigate the use of such conflict analysis to generate stronger no-goods in constraint programming.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows
Authors:
Mohammed Ghannam,
Ambros Gleixner
Abstract:
The dynamic vehicle routing problem with time windows (DVRPTW) is a generalization of the classical VRPTW to an online setting, where customer data arrives in batches and real-time routing solutions are required. In this paper we adapt the Hybrid Genetic Search (HGS) algorithm, a successful heuristic for VRPTW, to the dynamic variant. We discuss the affected components of the HGS algorithm includi…
▽ More
The dynamic vehicle routing problem with time windows (DVRPTW) is a generalization of the classical VRPTW to an online setting, where customer data arrives in batches and real-time routing solutions are required. In this paper we adapt the Hybrid Genetic Search (HGS) algorithm, a successful heuristic for VRPTW, to the dynamic variant. We discuss the affected components of the HGS algorithm including giant-tour representation, cost computation, initial population, crossover, and local search. Our approach modifies these components for DVRPTW, attempting to balance solution quality and constraints on future customer arrivals. To this end, we devise methods for comparing different-sized solutions, normalizing costs, and accounting for future epochs that do not require any prior training. Despite this limitation, computational results on data from the EURO meets NeurIPS Vehicle Routing Competition 2022 demonstrate significantly improved solution quality over the best-performing baseline algorithm.
△ Less
Submitted 26 July, 2023; v1 submitted 21 July, 2023;
originally announced July 2023.
-
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization
Authors:
Gioni Mexi,
Mathieu Besançon,
Suresh Bolusani,
Antonia Chmiela,
Alexander Hoen,
Ambros Gleixner
Abstract:
We introduce Scylla, a primal heuristic for mixed-integer optimization problems. It exploits approximate solves of the Linear Programming relaxations through the matrix-free Primal-Dual Hybrid Gradient algorithm with specialized termination criteria, and derives integer-feasible solutions via fix-and-propagate procedures and feasibility-pump-like updates to the objective function. Computational ex…
▽ More
We introduce Scylla, a primal heuristic for mixed-integer optimization problems. It exploits approximate solves of the Linear Programming relaxations through the matrix-free Primal-Dual Hybrid Gradient algorithm with specialized termination criteria, and derives integer-feasible solutions via fix-and-propagate procedures and feasibility-pump-like updates to the objective function. Computational experiments show that the method is particularly suited to instances with hard linear relaxations.
△ Less
Submitted 26 July, 2023; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds
Authors:
Ksenia Bestuzheva,
Helena Völker,
Ambros Gleixner
Abstract:
Nonnegativity certificates can be used to obtain tight dual bounds for polynomial optimization problems. Hierarchies of certificate-based relaxations ensure convergence to the global optimum, but higher levels of such hierarchies can become very computationally expensive, and the well-known sums of squares hierarchies scale poorly with the degree of the polynomials. This has motivated research int…
▽ More
Nonnegativity certificates can be used to obtain tight dual bounds for polynomial optimization problems. Hierarchies of certificate-based relaxations ensure convergence to the global optimum, but higher levels of such hierarchies can become very computationally expensive, and the well-known sums of squares hierarchies scale poorly with the degree of the polynomials. This has motivated research into alternative certificates and approaches to global optimization. We consider sums of nonnegative circuit polynomials (SONC) certificates, which are well-suited for sparse problems since the computational cost depends on the number of terms in the polynomials and does not depend on the degrees of the polynomials. We propose a method that guarantees that given finite variable domains, a SONC relaxation will yield a finite dual bound. This method opens up a new approach to utilizing variable bounds in SONC-based methods, which is particularly crucial for integrating SONC relaxations into branch-and-bound algorithms. We report on computational experiments with incorporating SONC relaxations into the spatial branch-and-bound algorithm of the mixed-integer nonlinear programming framework SCIP. Applying our strengthening method increases the number of instances where the SONC relaxation of the root node yielded a finite dual bound from 9 to 330 out of 349 instances in the test set.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Online Learning for Scheduling MIP Heuristics
Authors:
Antonia Chmiela,
Ambros Gleixner,
Pawel Lichocki,
Sebastian Pokutta
Abstract:
Mixed Integer Programming (MIP) is NP-hard, and yet modern solvers often solve large real-world problems within minutes. This success can partially be attributed to heuristics. Since their behavior is highly instance-dependent, relying on hard-coded rules derived from empirical testing on a large heterogeneous corpora of benchmark instances might lead to sub-optimal performance. In this work, we p…
▽ More
Mixed Integer Programming (MIP) is NP-hard, and yet modern solvers often solve large real-world problems within minutes. This success can partially be attributed to heuristics. Since their behavior is highly instance-dependent, relying on hard-coded rules derived from empirical testing on a large heterogeneous corpora of benchmark instances might lead to sub-optimal performance. In this work, we propose an online learning approach that adapts the application of heuristics towards the single instance at hand. We replace the commonly used static heuristic handling with an adaptive framework exploiting past observations about the heuristic's behavior to make future decisions. In particular, we model the problem of controlling Large Neighborhood Search and Diving - two broad and complex classes of heuristics - as a multi-armed bandit problem. Going beyond existing work in the literature, we control two different classes of heuristics simultaneously by a single learning agent. We verify our approach numerically and show consistent node reductions over the MIPLIB 2017 Benchmark set. For harder instances that take at least 1000 seconds to solve, we observe a speedup of 4%.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework
Authors:
Leon Eifler,
Ambros Gleixner
Abstract:
This paper is concerned with the exact solution of mixed-integer programs (MIPs) over the rational numbers, i.e., without any roundoff errors and error tolerances. Here, one computational bottleneck that should be avoided whenever possible is to employ large-scale symbolic computations. Instead it is often possible to use safe directed rounding methods, e.g., to generate provably correct dual boun…
▽ More
This paper is concerned with the exact solution of mixed-integer programs (MIPs) over the rational numbers, i.e., without any roundoff errors and error tolerances. Here, one computational bottleneck that should be avoided whenever possible is to employ large-scale symbolic computations. Instead it is often possible to use safe directed rounding methods, e.g., to generate provably correct dual bounds. In this work, we continue to leverage this paradigm and extend an exact branch-and-bound framework by separation routines for safe cutting planes, based on the approach first introduced by Cook, Dash, Fukasawa, and Goycoolea in 2009. Constraints are aggregated safely using approximate dual multipliers from an LP solve, followed by mixed-integer rounding to generate provably valid, although slightly weaker inequalities. We generalize this approach to problem data that is not representable in floating-point arithmetic, add routines for controlling the encoding length of the resulting cutting planes, and show how these cutting planes can be verified according to the VIPR certificate standard. Furthermore, we analyze the performance impact of these cutting planes in the context of an exact MIP framework, showing that we can solve 21.5% more instances and reduce solving times by 26.8% on the MIPLIB 2017 benchmark test set.
△ Less
Submitted 7 November, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Enabling Research through the SCIP Optimization Suite 8.0
Authors:
Ksenia Bestuzheva,
Mathieu Besançon,
Wei-Kun Chen,
Antonia Chmiela,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Oliver Gaul,
Gerald Gamrath,
Ambros Gleixner,
Leona Gottwald,
Christoph Graczyk,
Katrin Halbig,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Thorsten Koch,
Marco Lübbecke,
Stephen J. Maher,
Frederic Matter,
Erik Mühmer,
Benjamin Müller,
Marc E. Pfetsch,
Daniel Rehfeldt,
Steffan Schlein
, et al. (10 additional authors not shown)
Abstract:
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version…
▽ More
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon SCIP.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Terms
Authors:
Ksenia Bestuzheva,
Ambros Gleixner,
Tobias Achterberg
Abstract:
The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. The goal of this paper is to extend the applicability and improve the performance of RLT for bilinear product relations. First, a method for detecting bilinear product relations implicitly contained in mixed-integer linea…
▽ More
The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. The goal of this paper is to extend the applicability and improve the performance of RLT for bilinear product relations. First, a method for detecting bilinear product relations implicitly contained in mixed-integer linear programs is developed based on analyzing linear constraints with binary variables, thus enabling the application of bilinear RLT to a new class of problems. Our second contribution addresses the high computational cost of RLT cut separation, which presents one of the major difficulties in applying RLT efficiently in practice. We propose a new RLT cutting plane separation algorithm which identifies combinations of linear constraints and bound factors that are expected to yield an inequality that is violated by the current relaxation solution. This algorithm is applicable to RLT cuts generated for all types of bilinear terms, including but not limited to the detected implicit products. A detailed computational study based on implementations in two solvers evaluates the performance impact of the proposed methods.
△ Less
Submitted 22 May, 2024; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds
Authors:
Ksenia Bestuzheva,
Ambros Gleixner,
Helena Völker
Abstract:
Certificates of polynomial nonnegativity can be used to obtain tight dual bounds for polynomial optimization problems. We consider Sums of Nonnegative Circuit (SONC) polynomials certificates, which are well suited for sparse problems since the computational cost depends only on the number of terms in the polynomials and does not depend on the degrees of the polynomials. This work is a first step t…
▽ More
Certificates of polynomial nonnegativity can be used to obtain tight dual bounds for polynomial optimization problems. We consider Sums of Nonnegative Circuit (SONC) polynomials certificates, which are well suited for sparse problems since the computational cost depends only on the number of terms in the polynomials and does not depend on the degrees of the polynomials. This work is a first step to integrating SONC-based relaxations of polynomial problems into a branch-and-bound algorithm. To this end, the SONC relaxation for constrained optimization problems is extended in order to better utilize variable bounds, since this property is key for the success of a relaxation in the context of branch-and-bound. Computational experiments show that the proposed extension is crucial for making the SONC relaxations applicable to most constrained polynomial optimization problems and for integrating the two approaches.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support
Authors:
Ambros Gleixner,
Leona Gottwald,
Alexander Hoen
Abstract:
Presolving has become an essential component of modern MIP solvers both in terms of computational performance and numerical robustness. In this paper, we present PaPILO, a new C++ header-only library that provides a large set of presolving routines for MIP and LP problems from the literature. The creation of PaPILO was motivated by the current lack of (a) solver-independent implementations that (b…
▽ More
Presolving has become an essential component of modern MIP solvers both in terms of computational performance and numerical robustness. In this paper, we present PaPILO, a new C++ header-only library that provides a large set of presolving routines for MIP and LP problems from the literature. The creation of PaPILO was motivated by the current lack of (a) solver-independent implementations that (b) exploit parallel hardware, and (c) support multiprecision arithmetic. Traditionally, presolving is designed to be fast. Whenever necessary, its low computational overhead is usually achieved by strict working limits. PaPILO's parallelization framework aims at reducing the computational overhead also when presolving is executed more aggressively or is applied to large-scale problems. To rule out conflicts between parallel presolve reductions, PaPILO uses a transaction-based design. This helps to avoid both the memory-intensive allocation of multiple copies of the problem and special synchronization between presolvers. Additionally, the use of Intel's TBB library aids PaPILO to efficiently exploit recursive parallelism within expensive presolving routines such as probing, dominated columns, or constraint sparsification. We provide an overview of PaPILO's capabilities and insights into important design choices.
△ Less
Submitted 20 March, 2024; v1 submitted 21 June, 2022;
originally announced June 2022.
-
The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights
Authors:
Maxime Gasse,
Quentin Cappart,
Jonas Charfreitag,
Laurent Charlin,
Didier Chételat,
Antonia Chmiela,
Justin Dumouchelle,
Ambros Gleixner,
Aleksandr M. Kazachkov,
Elias Khalil,
Pawel Lichocki,
Andrea Lodi,
Miles Lubin,
Chris J. Maddison,
Christopher Morris,
Dimitri J. Papageorgiou,
Augustin Parjadis,
Sebastian Pokutta,
Antoine Prouvost,
Lara Scavuzzo,
Giulia Zarpellon,
Linxin Yang,
Sha Lai,
Akang Wang,
Xiaodong Luo
, et al. (16 additional authors not shown)
Abstract:
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolation, ignoring that they often stem from related data distributions in practice. However, recent years have seen a surge of interest in using machine learning as a new approach for solving combinatorial problems, either dir…
▽ More
Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolation, ignoring that they often stem from related data distributions in practice. However, recent years have seen a surge of interest in using machine learning as a new approach for solving combinatorial problems, either directly as solvers or by enhancing exact solvers. Based on this context, the ML4CO aims at improving state-of-the-art combinatorial optimization solvers by replacing key heuristic components. The competition featured three challenging tasks: finding the best feasible solution, producing the tightest optimality certificate, and giving an appropriate solver configuration. Three realistic datasets were considered: balanced item placement, workload apportionment, and maritime inventory routing. This last dataset was kept anonymous for the contestants.
△ Less
Submitted 17 March, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
The SCIP Optimization Suite 8.0
Authors:
Ksenia Bestuzheva,
Mathieu Besançon,
Wei-Kun Chen,
Antonia Chmiela,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Oliver Gaul,
Gerald Gamrath,
Ambros Gleixner,
Leona Gottwald,
Christoph Graczyk,
Katrin Halbig,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Thorsten Koch,
Marco Lübbecke,
Stephen J. Maher,
Frederic Matter,
Erik Mühmer,
Benjamin Müller,
Marc E. Pfetsch,
Daniel Rehfeldt,
Steffan Schlein
, et al. (10 additional authors not shown)
Abstract:
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin…
▽ More
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 8.0 of the SCIP Optimization Suite. Major updates in SCIP include improvements in symmetry handling and decomposition algorithms, new cutting planes, a new plugin type for cut selection, and a complete rework of the way nonlinear constraints are handled. Additionally, SCIP 8.0 now supports interfaces for Julia as well as Matlab. Further, UG now includes a unified framework to parallelize all solvers, a utility to analyze computational experiments has been added to GCG, dual solutions can be postsolved by PaPILO, new heuristics and presolving methods were added to SCIP-SDP, and additional problem classes and major performance improvements are available in SCIP-Jack.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
Authors:
Boro Sofranac,
Ambros Gleixner,
Sebastian Pokutta
Abstract:
Propagation of linear constraints has become a crucial sub-routine in modern Mixed-Integer Programming (MIP) solvers. In practice, iterative algorithms with tolerance-based stop** criteria are used to avoid problems with slow or infinite convergence. However, these heuristic stop** criteria can pose difficulties for fairly comparing the efficiency of different implementations of iterative prop…
▽ More
Propagation of linear constraints has become a crucial sub-routine in modern Mixed-Integer Programming (MIP) solvers. In practice, iterative algorithms with tolerance-based stop** criteria are used to avoid problems with slow or infinite convergence. However, these heuristic stop** criteria can pose difficulties for fairly comparing the efficiency of different implementations of iterative propagation algorithms in a real-world setting. Most significantly, the presence of unbounded variable domains in the problem formulation makes it difficult to quantify the relative size of reductions performed on them. In this work, we develop a method to measure -- independently of the algorithmic design -- the progress that a given iterative propagation procedure has made at a given point in time during its execution. Our measure makes it possible to study and better compare the behavior of bounds propagation algorithms for linear constraints. We apply the new measure to answer two questions of practical relevance: (i) We investigate to what extent heuristic stop** criteria can lead to premature termination on real-world MIP instances. (ii) We compare a GPU-parallel propagation algorithm against a sequential state-of-the-art implementation and show that the parallel version is even more competitive in a real-world setting than originally reported.
△ Less
Submitted 24 August, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Learning to Schedule Heuristics in Branch-and-Bound
Authors:
Antonia Chmiela,
Elias B. Khalil,
Ambros Gleixner,
Andrea Lodi,
Sebastian Pokutta
Abstract:
Primal heuristics play a crucial role in exact solvers for Mixed Integer Programming (MIP). While solvers are guaranteed to find optimal solutions given sufficient time, real-world applications typically require finding good solutions early on in the search to enable fast decision-making. While much of MIP research focuses on designing effective heuristics, the question of how to manage multiple M…
▽ More
Primal heuristics play a crucial role in exact solvers for Mixed Integer Programming (MIP). While solvers are guaranteed to find optimal solutions given sufficient time, real-world applications typically require finding good solutions early on in the search to enable fast decision-making. While much of MIP research focuses on designing effective heuristics, the question of how to manage multiple MIP heuristics in a solver has not received equal attention. Generally, solvers follow hard-coded rules derived from empirical testing on broad sets of instances. Since the performance of heuristics is instance-dependent, using these general rules for a particular problem might not yield the best performance. In this work, we propose the first data-driven framework for scheduling heuristics in an exact MIP solver. By learning from data describing the performance of primal heuristics, we obtain a problem-specific schedule of heuristics that collectively find many solutions at minimal cost. We provide a formal description of the problem and propose an efficient algorithm for computing such a schedule. Compared to the default settings of a state-of-the-art academic MIP solver, we are able to reduce the average primal integral by up to 49% on a class of challenging instances.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
A Computational Study of Perspective Cuts
Authors:
Ksenia Bestuzheva,
Ambros Gleixner,
Stefan Vigerske
Abstract:
The benefits of cutting planes based on the perspective function are well known for many specific classes of mixed-integer nonlinear programs with on/off structures. However, we are not aware of any empirical studies that evaluate their applicability and computational impact over large, heterogeneous test sets in general-purpose solvers. This paper provides a detailed computational study of perspe…
▽ More
The benefits of cutting planes based on the perspective function are well known for many specific classes of mixed-integer nonlinear programs with on/off structures. However, we are not aware of any empirical studies that evaluate their applicability and computational impact over large, heterogeneous test sets in general-purpose solvers. This paper provides a detailed computational study of perspective cuts within a linear programming based branch-and-cut solver for general mixed-integer nonlinear programs. Within this study, we extend the applicability of perspective cuts from convex to nonconvex nonlinearities. This generalization is achieved by applying a perspective strengthening to valid linear inequalities which separate solutions of linear relaxations. The resulting method can be applied to any constraint where all variables appearing in nonlinear terms are semi-continuous and depend on at least one common indicator variable. Our computational experiments show that adding perspective cuts for convex constraints yields a consistent improvement of performance, and adding perspective cuts for nonconvex constraints reduces branch-and-bound tree sizes and strengthens the root node relaxation, but has no significant impact on the overall mean time.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
A Computational Status Update for Exact Rational Mixed Integer Programming
Authors:
Leon Eifler,
Ambros Gleixner
Abstract:
The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm published by Cook, Koch, Steffy, and Wolter in 2013.
We describe a substantial revision and extension of this framework that integrates symbolic presolving, features an exact repair step for solutions from primal heurist…
▽ More
The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm published by Cook, Koch, Steffy, and Wolter in 2013.
We describe a substantial revision and extension of this framework that integrates symbolic presolving, features an exact repair step for solutions from primal heuristics, employs a faster rational LP solver based on LP iterative refinement, and is able to produce independently verifiable certificates of optimality.
We study the significantly improved performance and give insights into the computational behavior of the new algorithmic components.
On the MIPLIB 2017 benchmark set, we observe an average speedup of 6.6x over the original framework and 2.8 times as many instances solved within a time limit of two hours.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices
Authors:
Boro Sofranac,
Ambros Gleixner,
Sebastian Pokutta
Abstract:
Fast domain propagation of linear constraints has become a crucial component of today's best algorithms and solvers for mixed integer programming and pseudo-boolean optimization to achieve peak solving performance. Irregularities in the form of dynamic algorithmic behaviour, dependency structures, and sparsity patterns in the input data make efficient implementations of domain propagation on GPUs…
▽ More
Fast domain propagation of linear constraints has become a crucial component of today's best algorithms and solvers for mixed integer programming and pseudo-boolean optimization to achieve peak solving performance. Irregularities in the form of dynamic algorithmic behaviour, dependency structures, and sparsity patterns in the input data make efficient implementations of domain propagation on GPUs and, more generally, on parallel architectures challenging. This is one of the main reasons why domain propagation in state-of-the-art solvers is single thread only. In this paper, we present a new algorithm for domain propagation which (a) avoids these problems and allows for an efficient implementation on GPUs, and is (b) capable of running propagation rounds entirely on the GPU, without any need for synchronization or communication with the CPU. We present extensive computational results which demonstrate the effectiveness of our approach and show that ample speedups are possible on practically relevant problems: on state-of-the-art GPUs, our geometric mean speed-up for reasonably-large instances is around 10x to 20x and can be as high as 180x on favorably-large instances.
△ Less
Submitted 25 August, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Linear Programming using Limited-Precision Oracles
Authors:
Ambros Gleixner,
Daniel E. Steffy
Abstract:
Since the elimination algorithm of Fourier and Motzkin, many different methods have been developed for solving linear programs. When analyzing the time complexity of LP algorithms, it is typically either assumed that calculations are performed exactly and bounds are derived on the number of elementary arithmetic operations necessary, or the cost of all arithmetic operations is considered through a…
▽ More
Since the elimination algorithm of Fourier and Motzkin, many different methods have been developed for solving linear programs. When analyzing the time complexity of LP algorithms, it is typically either assumed that calculations are performed exactly and bounds are derived on the number of elementary arithmetic operations necessary, or the cost of all arithmetic operations is considered through a bit-complexity analysis. Yet in practice, implementations typically use limited-precision arithmetic. In this paper we introduce the idea of a limited-precision LP oracle and study how such an oracle could be used within a larger framework to compute exact precision solutions to LPs. Under mild assumptions, it is shown that a polynomial number of calls to such an oracle and a polynomial number of bit operations, is sufficient to compute an exact solution to an LP. This work provides a foundation for understanding and analyzing the behavior of the methods that are currently most effective in practice for solving LPs exactly.
△ Less
Submitted 30 December, 2019;
originally announced December 2019.
-
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming
Authors:
Benjamin Müller,
Gonzalo Muñoz,
Maxime Gasse,
Ambros Gleixner,
Andrea Lodi,
Felipe Serrano
Abstract:
The most important ingredient for solving mixed-integer nonlinear programs (MINLPs) to global epsilon-optimality with spatial branch and bound is a tight, computationally tractable relaxation. Due to both theoretical and practical considerations, relaxations of MINLPs are usually required to be convex. Nonetheless, current optimization solver can often successfully handle a moderate presence of no…
▽ More
The most important ingredient for solving mixed-integer nonlinear programs (MINLPs) to global epsilon-optimality with spatial branch and bound is a tight, computationally tractable relaxation. Due to both theoretical and practical considerations, relaxations of MINLPs are usually required to be convex. Nonetheless, current optimization solver can often successfully handle a moderate presence of nonconvexities, which opens the door for the use of potentially tighter nonconvex relaxations. In this work, we exploit this fact and make use of a nonconvex relaxation obtained via aggregation of constraints: a surrogate relaxation. These relaxations were actively studied for linear integer programs in the 70s and 80s, but they have been scarcely considered since. We revisit these relaxations in an MINLP setting and show the computational benefits and challenges they can have. Additionally, we study a generalization of such relaxation that allows for multiple aggregations simultaneously and present the first algorithm that is capable of computing the best set of aggregations. We propose a multitude of computational enhancements for improving its practical performance and evaluate the algorithm's ability to generate strong dual bounds through extensive computational experiments.
△ Less
Submitted 1 December, 2019;
originally announced December 2019.
-
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method
Authors:
Ambros Gleixner,
Nils-Christian Kempke,
Thorsten Koch,
Daniel Rehfeldt,
Svenja Uslu
Abstract:
In linear optimization, matrix structure can often be exploited algorithmically. However, beneficial presolving reductions sometimes destroy the special structure of a given problem. In this article, we discuss structure-aware implementations of presolving as part of a parallel interior-point method to solve linear programs with block-diagonal structure, including both linking variables and linkin…
▽ More
In linear optimization, matrix structure can often be exploited algorithmically. However, beneficial presolving reductions sometimes destroy the special structure of a given problem. In this article, we discuss structure-aware implementations of presolving as part of a parallel interior-point method to solve linear programs with block-diagonal structure, including both linking variables and linking constraints. While presolving reductions are often mathematically simple, their implementation in a high-performance computing environment is a complex endeavor. We report results on impact, performance, and scalability of the resulting presolving routines on real-world energy system models with up to 700 million nonzero entries in the constraint matrix.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
On the Relation between the Extended Supporting Hyperplane Algorithm and Kelley's Cutting Plane Algorithm
Authors:
Felipe Serrano,
Robert Schwarz,
Ambros Gleixner
Abstract:
Recently, Kronqvist et al.~\cite{KronqvistLundellWesterlund2016} rediscovered the supporting hyperplane algorithm of Veinott~\cite{Veinott1967} and demonstrated its computational benefits for solving convex mixed-integer nonlinear programs.
In this paper we derive the algorithm from a geometric point of view.
This enables us to show that the supporting hyperplane algorithm is equivalent to Kel…
▽ More
Recently, Kronqvist et al.~\cite{KronqvistLundellWesterlund2016} rediscovered the supporting hyperplane algorithm of Veinott~\cite{Veinott1967} and demonstrated its computational benefits for solving convex mixed-integer nonlinear programs.
In this paper we derive the algorithm from a geometric point of view.
This enables us to show that the supporting hyperplane algorithm is equivalent to Kelley's cutting plane algorithm~\cite{J.E.Kelley1960} applied to a particular reformulation of the problem.
As a result, we extend the applicability of the supporting hyperplane algorithm to convex problems represented by general, not necessarily convex, differentiable functions that satisfy a mild condition.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms
Authors:
Benjamin Müller,
Felipe Serrano,
Ambros Gleixner
Abstract:
One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-constrained domain. The starting point of this paper is the fact that the convex hull of the graph of xy can be much tighter when computed over a strict, non-rectangular subset of the box. In order to exploit this in practic…
▽ More
One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-constrained domain. The starting point of this paper is the fact that the convex hull of the graph of xy can be much tighter when computed over a strict, non-rectangular subset of the box. In order to exploit this in practice, we propose to compute valid linear inequalities for the projection of the feasible region onto the x-y-space by solving a sequence of linear programs akin to optimization-based bound tightening. These valid inequalities allow us to employ results from the literature to strengthen the classical McCormick relaxation. As a consequence, we obtain a stronger convexification procedure that exploits problem structure and can benefit from supplementary information obtained during the branch-and-bound algorithm such as an objective cutoff. We complement this by a new bound tightening procedure that efficiently computes the best possible bounds for x, y, and xy over the available projections. Our computational evaluation using the academic solver SCIP exhibit that the proposed methods are applicable to a large portion of the public test library MINLPLib and help to improve performance significantly.
△ Less
Submitted 10 January, 2020; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Conflict-Driven Heuristics for Mixed Integer Programming
Authors:
Jakob Witzig,
Ambros Gleixner
Abstract:
Two essential ingredients of modern mixed-integer programming (MIP) solvers are diving heuristics that simulate a partial depth-first search in a branch-and-bound search tree and conflict analysis of infeasible subproblems to learn valid constraints. So far, these techniques have mostly been studied independently: primal heuristics under the aspect of finding high-quality feasible solutions early…
▽ More
Two essential ingredients of modern mixed-integer programming (MIP) solvers are diving heuristics that simulate a partial depth-first search in a branch-and-bound search tree and conflict analysis of infeasible subproblems to learn valid constraints. So far, these techniques have mostly been studied independently: primal heuristics under the aspect of finding high-quality feasible solutions early during the solving process and conflict analysis for fathoming nodes of the search tree and improving the dual bound. Here, we combine both concepts in two different ways. First, we develop a diving heuristic that targets the generation of valid conflict constraints from the Farkas dual. We show that in the primal this is equivalent to the optimistic strategy of diving towards the best bound with respect to the objective function. Secondly, we use information derived from conflict analysis to enhance the search of a diving heuristic akin to classical coefficient diving. The computational performance of both methods is evaluated using an implementation in the source-open MIP solver SCIP. Experiments are carried out on publicly available test sets including Miplib 2010 and Cor@l.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Authors:
Leon Eifler,
Ambros Gleixner,
Jonad Pulaj
Abstract:
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathematical theorems. At its core, the framework relies on a rational branch-and-bound certificate produced by an exact integer programming solver, SCIP, in order to circumvent floating-point roundoff errors present in most s…
▽ More
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathematical theorems. At its core, the framework relies on a rational branch-and-bound certificate produced by an exact integer programming solver, SCIP, in order to circumvent floating-point roundoff errors present in most state-of-the-art solvers for mixed-integer programs. The resulting certificates are self-contained and checker software exists that can verify their correctness independently of the integer programming solver used to produce the certificate. This acts as a safeguard against programming errors that may be present in complex solver software. The viability of this approach is tested by applying it to finite cases of Chvátal's conjecture, a long-standing open question in extremal combinatorics. We take particular care to verify also the correctness of the input for this specific problem, using the Coq formal proof assistant. As a result, we are able to provide a first machine-assisted proof that Chvátal's conjecture holds for all downsets whose union of sets contains seven elements or less.
△ Less
Submitted 21 September, 2020; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Solving Quadratic Programs to High Precision using Scaled Iterative Refinement
Authors:
Tobias Weber,
Sebastian Sager,
Ambros Gleixner
Abstract:
Quadratic optimization problems (QPs) are ubiquitous, and solution algorithms have matured to a reliable technology. However, the precision of solutions is usually limited due to the underlying floating-point operations. This may cause inconveniences when solutions are used for rigorous reasoning. We contribute on three levels to overcome this issue. First, we present a novel refinement algorithm…
▽ More
Quadratic optimization problems (QPs) are ubiquitous, and solution algorithms have matured to a reliable technology. However, the precision of solutions is usually limited due to the underlying floating-point operations. This may cause inconveniences when solutions are used for rigorous reasoning. We contribute on three levels to overcome this issue. First, we present a novel refinement algorithm to solve QPs to arbitrary precision. It iteratively solves refined QPs, assuming a floating-point QP solver oracle. We prove linear convergence of residuals and primal errors. Second, we provide an efficient implementation, based on SoPlex and qpOASES that is publicly available in source code. Third, we give precise reference solutions for the Maros and Mészáros benchmark library.
△ Less
Submitted 19 August, 2019; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Model-independent search for neutrino sources with the ANTARES neutrino telescope
Authors:
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
J. A. B. Coelho
, et al. (103 additional authors not shown)
Abstract:
A novel method to analyse the spatial distribution of neutrino candidates recorded with the ANTARES neutrino telescope is introduced, searching for an excess of neutrinos in a region of arbitrary size and shape from any direction in the sky. Techniques originating from the domains of machine learning, pattern recognition and image processing are used to purify the sample of neutrino candidates and…
▽ More
A novel method to analyse the spatial distribution of neutrino candidates recorded with the ANTARES neutrino telescope is introduced, searching for an excess of neutrinos in a region of arbitrary size and shape from any direction in the sky. Techniques originating from the domains of machine learning, pattern recognition and image processing are used to purify the sample of neutrino candidates and for the analysis of the obtained skymap. In contrast to a dedicated search for a specific neutrino emission model, this approach is sensitive to a wide range of possible morphologies of potential sources of high-energy neutrino emission. The application of these methods to ANTARES data yields a large-scale excess with a post-trial significance of 2.5$σ$. Applied to public data from IceCube in its IC40 configuration, an excess consistent with the results from ANTARES is observed with a post-trial significance of 2.1$σ$.
△ Less
Submitted 30 May, 2019; v1 submitted 13 March, 2017;
originally announced March 2017.
-
Exact Methods for Recursive Circle Packing
Authors:
Ambros Gleixner,
Stephen Maher,
Benjamin Müller,
João Pedro Pedroso
Abstract:
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for…
▽ More
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for solving RCPP that provides strong dual bounds based on an exact Dantzig--Wolfe reformulation of a nonconvex mixed-integer nonlinear programming formulation. The key idea of this reformulation is to break symmetry on each recursion level by enumerating one-level packings, i.e., packings of circles into other circles, and by dynamically generating packings of circles into rectangles. We use column generation techniques to design a "price-and-verify" algorithm that solves this reformulation to global optimality. Extensive computational experiments on a large test set show that our method not only computes tight dual bounds, but often produces primal solutions better than those computed by heuristics from the literature.
△ Less
Submitted 4 January, 2019; v1 submitted 24 February, 2017;
originally announced February 2017.
-
Search for high-energy neutrinos from bright GRBs with ANTARES
Authors:
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
J. A. B. Coelho
, et al. (103 additional authors not shown)
Abstract:
Gamma-ray bursts are thought to be sites of hadronic acceleration, thus neutrinos are expected from the decay of charged particles, produced in pγ interactions. The methods and results of a search for muon neutrinos in the data of the ANTARES neutrino telescope from four bright GRBs (GRB 080916C, GRB 110918A, GRB 130427A and GRB 130505A) observed between 2008 and 2013 are presented. Two scenarios…
▽ More
Gamma-ray bursts are thought to be sites of hadronic acceleration, thus neutrinos are expected from the decay of charged particles, produced in pγ interactions. The methods and results of a search for muon neutrinos in the data of the ANTARES neutrino telescope from four bright GRBs (GRB 080916C, GRB 110918A, GRB 130427A and GRB 130505A) observed between 2008 and 2013 are presented. Two scenarios of the fireball model have been investigated: the internal shock scenario, leading to the production of neutrinos with energies mainly above 100 TeV, and the photospheric scenario, characterised by a low-energy component in neutrino spectra due to the assumption of neutrino production closer to the central engine. Since no neutrino events have been detected in temporal and spatial coincidence with these bursts, upper limits at 90% C.L. on the expected neutrino fluxes are derived. The non-detection allows for directly constraining the bulk Lorentz factor of the jet Γ and the baryon loading fp.
△ Less
Submitted 10 April, 2017; v1 submitted 27 December, 2016;
originally announced December 2016.
-
Search for Dark Matter Annihilation in the Earth using the ANTARES Neutrino Telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella
, et al. (104 additional authors not shown)
Abstract:
A search for a neutrino signal from WIMP pair annihilations in the centre of the Earth has been performed with the data collected with the ANTARES neutrino telescope from 2007 to 2012. The event selection criteria have been developed and tuned to maximise the sensitivity of the experiment to such a neutrino signal. No significant excess of neutrinos over the expected background has been observed.…
▽ More
A search for a neutrino signal from WIMP pair annihilations in the centre of the Earth has been performed with the data collected with the ANTARES neutrino telescope from 2007 to 2012. The event selection criteria have been developed and tuned to maximise the sensitivity of the experiment to such a neutrino signal. No significant excess of neutrinos over the expected background has been observed. Upper limits at $90\%$ C.L. on the WIMP annihilation rate in the Earth and the spin independent scattering cross-section of WIMPs to nucleons $σ^{SI}_p$ were calculated for WIMP pair annihilations into either $τ^{+}τ^{-}$, $W^+W^-$, $b\overline{b}$ or the non-SUSY $ν_μ\barν_μ$ as a function of the WIMP mass (between $25\,\mathrm{GeV/c^2}$ and $1000\,\mathrm{GeV/c^2}$) and as a function of the thermally averaged annihilation cross section times velocity $\langleσ_{A} v\rangle_{Earth}$ of the WIMPs in the centre of the Earth. For masses of the WIMP close to the mass of iron nuclei ($50\,\mathrm{GeV/c^2}$), the obtained limits on $σ^{SI}_p$ are more stringent than those obtained by other indirect searches.
△ Less
Submitted 19 April, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.
-
Results from the search for dark matter in the Milky Way with 9 years of data of the ANTARES neutrino telescope
Authors:
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
J. A. B. Coelho
, et al. (103 additional authors not shown)
Abstract:
Using data recorded with the ANTARES telescope from 2007 to 2015, a new search for dark matter annihilation in the Milky Way has been performed. Three halo models and five annihilation channels, $\rm WIMP + WIMP \to b \bar b, W^+ W^-, τ^+ τ^-, μ^{+} μ^{-}$ and $ν\barν$, with WIMP masses ranging from 50 $\frac{\text{GeV}}{\text{c}^2}$ to 100 $\frac{\text{TeV}}{\text{c}^2}$, were considered. No exce…
▽ More
Using data recorded with the ANTARES telescope from 2007 to 2015, a new search for dark matter annihilation in the Milky Way has been performed. Three halo models and five annihilation channels, $\rm WIMP + WIMP \to b \bar b, W^+ W^-, τ^+ τ^-, μ^{+} μ^{-}$ and $ν\barν$, with WIMP masses ranging from 50 $\frac{\text{GeV}}{\text{c}^2}$ to 100 $\frac{\text{TeV}}{\text{c}^2}$, were considered. No excess over the expected background was found, and limits on the thermally averaged annihilation cross--section were set.
△ Less
Submitted 28 May, 2019; v1 submitted 14 December, 2016;
originally announced December 2016.
-
Verifying Integer Programming Results
Authors:
Kevin K. H. Cheung,
Ambros Gleixner,
Daniel E. Steffy
Abstract:
Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of state-of-the-art MILP…
▽ More
Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of state-of-the-art MILP solution algorithms, the ideal form of such a certificate is not entirely clear. This paper proposes such a certificate format, illustrating its capabilities and structure through examples. The certificate format is designed with simplicity in mind and is composed of a list of statements that can be sequentially verified using a limited number of simple yet powerful inference rules. We present a supplementary verification tool for compressing and checking these certificates independently of how they were created. We report computational results on a selection of mixed-integer linear programming instances from the literature. To this end, we have extended the exact rational version of the MIP solver SCIP to produce such certificates.
△ Less
Submitted 1 January, 2019; v1 submitted 27 November, 2016;
originally announced November 2016.
-
Time-dependent search for neutrino emission from x-ray binaries with the ANTARES telescope
Authors:
A. Albert,
M. André,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
A. Coleiro,
R. Coniglione,
H. Costantini
, et al. (93 additional authors not shown)
Abstract:
ANTARES is currently the largest neutrino telescope operating in the Northern Hemisphere, aiming at the detection of high-energy neutrinos from astrophysical sources. Neutrino telescopes constantly monitor at least one complete hemisphere of the sky, and are thus well-suited to detect neutrinos produced in transient astrophysical sources. A timedependent search has been applied to a list of 33 x-r…
▽ More
ANTARES is currently the largest neutrino telescope operating in the Northern Hemisphere, aiming at the detection of high-energy neutrinos from astrophysical sources. Neutrino telescopes constantly monitor at least one complete hemisphere of the sky, and are thus well-suited to detect neutrinos produced in transient astrophysical sources. A timedependent search has been applied to a list of 33 x-ray binaries undergoing high flaring activities in satellite data (RXTE/ASM, MAXI and Swift/BAT) and during hardness transition states in the 2008-2012 period. The background originating from interactions of charged cosmic rays in the Earth's atmosphere is drastically reduced by requiring a directional and temporal coincidence with astrophysical phenomena. The results of this search are presented together with comparisons between the neutrino flux upper limits and the neutrino flux predictions from astrophysical models. The neutrino flux upper limits resulting from this search limit the jet parameter predictions for some astrophysical models.
△ Less
Submitted 8 March, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes
Authors:
Isabel Beckenbach,
Leon Eifler,
Konstantin Fackeldey,
Ambros Gleixner,
Andreas Grever,
Marcus Weber,
Jakob Witzig
Abstract:
In this paper, we present a new, optimization-based method to exhibit cyclic behavior in non-reversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary differential equations representing non-reversible biological processes, in particular molecular simulations. Here, the discrete time steps of the simulation are often very small compa…
▽ More
In this paper, we present a new, optimization-based method to exhibit cyclic behavior in non-reversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary differential equations representing non-reversible biological processes, in particular molecular simulations. Here, the discrete time steps of the simulation are often very small compared to the time scale of interest, i.e., of the whole process. In this setting, the detection of a global cyclic behavior of the process becomes difficult because transitions between individual states may appear almost reversible on the small time scale of the simulation. We address this difficulty using a mixed-integer programming model that allows us to compute a cycle of clusters with maximum net flow, i.e., large forward and small backward probability. For a synthetic genetic regulatory network consisting of a ring-oscillator with three genes, we show that this approach can detect the most productive overall cycle, outperforming classical spectral analysis methods. Our method applies to general non-equilibrium steady state systems such as catalytic reactions, for which the objective value computes the effectiveness of the catalyst.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Stacked search for time shifted high energy neutrinos from gamma ray bursts with the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
S. Adrian-Martínez,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
B. Baret,
J. Barrios-Marti,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
T. Chiarusi,
M. Circella,
R. Coniglione,
H. Costantini
, et al. (97 additional authors not shown)
Abstract:
A search for high-energy neutrino emission correlated with gamma-ray bursts outside the electromagnetic prompt-emission time window is presented. Using a stacking approach of the time delays between reported gamma-ray burst alerts and spatially coincident muon-neutrino signatures, data from the Antares neutrino telescope recorded between 2007 and 2012 are analysed. One year of public data from the…
▽ More
A search for high-energy neutrino emission correlated with gamma-ray bursts outside the electromagnetic prompt-emission time window is presented. Using a stacking approach of the time delays between reported gamma-ray burst alerts and spatially coincident muon-neutrino signatures, data from the Antares neutrino telescope recorded between 2007 and 2012 are analysed. One year of public data from the IceCube detector between 2008 and 2009 have been also investigated. The respective timing profiles are scanned for statistically significant accumulations within 40 days of the Gamma Ray Burst, as expected from Lorentz Invariance Violation effects and some astrophysical models. No significant excess over the expected accidental coincidence rate could be found in either of the two data sets. The average strength of the neutrino signal is found to be fainter than one detectable neutrino signal per hundred gamma-ray bursts in the Antares data at 90% confidence level.
△ Less
Submitted 20 October, 2016; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Towards an accurate solution of wireless network design problems
Authors:
Fabio D'Andreagiovanni,
Ambros Gleixner
Abstract:
The optimal design of wireless networks has been widely studied in the literature and many optimization models have been proposed over the years. However, most models directly include the signal-to-interference ratios representing service coverage conditions. This leads to mixed-integer linear programs with constraint matrices containing tiny coefficients that vary widely in their order of magnitu…
▽ More
The optimal design of wireless networks has been widely studied in the literature and many optimization models have been proposed over the years. However, most models directly include the signal-to-interference ratios representing service coverage conditions. This leads to mixed-integer linear programs with constraint matrices containing tiny coefficients that vary widely in their order of magnitude. These formulations are known to be challenging even for state-of-the-art solvers: the standard numerical precision supported by these solvers is usually not sufficient to reliably guarantee feasible solutions. Service coverage errors are thus commonly present. Though these numerical issues are known and become evident even for small-sized instances, just a very limited number of papers has tried to tackle them, by mainly investigating alternative non-compact formulations in which the sources of numerical instabilities are eliminated. In this work, we explore a new approach by investigating how recent advances in exact solution algorithms for linear and mixed-integer programs over the rational numbers can be applied to analyze and tackle the numerical difficulties arising in wireless network design models.
△ Less
Submitted 27 April, 2017; v1 submitted 2 April, 2016;
originally announced April 2016.
-
Murchison Widefield Array Limits on Radio Emission from ANTARES Neutrino Events
Authors:
S. Croft,
D. L. Kaplan,
S. J. Tingay,
T. Murphy,
M. E. Bell,
A. Rowlinson,
S. Adrian-Martinez,
M. Ageron,
A. Albert,
M. Andre,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Marti,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone
, et al. (109 additional authors not shown)
Abstract:
We present a search, using the Murchison Widefield Array (MWA), for electromagnetic counterparts to two candidate high energy neutrino events detected by the ANTARES neutrino telescope in 2013 November and 2014 March. These events were selected by ANTARES because they are consistent, within 0.4 degrees, with the locations of galaxies within 20 Mpc of Earth. Using MWA archival data at frequencies b…
▽ More
We present a search, using the Murchison Widefield Array (MWA), for electromagnetic counterparts to two candidate high energy neutrino events detected by the ANTARES neutrino telescope in 2013 November and 2014 March. These events were selected by ANTARES because they are consistent, within 0.4 degrees, with the locations of galaxies within 20 Mpc of Earth. Using MWA archival data at frequencies between 118 and 182 MHz, taken ~20 days prior to, at the same time as, and up to a year after the neutrino triggers, we look for transient or strongly variable radio sources consistent with the neutrino positions. No such counterparts are detected, and we set a 5 sigma upper limit for low-frequency radio emission of ~1E37 erg/s for progenitors at 20 Mpc. If the neutrino sources are instead not in nearby galaxies, but originate in binary neutron star coalescences, our limits place the progenitors at z > 0.2. While it is possible, due to the high background from atmospheric neutrinos, that neither event is astrophysical, the MWA observations are nevertheless among the first to follow up neutrino candidates in the radio, and illustrate the promise of wide-field instruments like MWA to detect electromagnetic counterparts to such events.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Limits on Dark Matter Annihilation in the Sun using the ANTARES Neutrino Telescope
Authors:
ANTARES collaboration,
S. Adrián-Martínez,
A. Albert,
M. André,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
A. Coleiro
, et al. (95 additional authors not shown)
Abstract:
A search for muon neutrinos originating from dark matter annihilations in the Sun is performed using the data recorded by the ANTARES neutrino telescope from 2007 to 2012. In order to obtain the best possible sensitivities to dark matter signals, an optimisation of the event selection criteria is performed taking into account the background of atmospheric muons, atmospheric neutrinos and the energ…
▽ More
A search for muon neutrinos originating from dark matter annihilations in the Sun is performed using the data recorded by the ANTARES neutrino telescope from 2007 to 2012. In order to obtain the best possible sensitivities to dark matter signals, an optimisation of the event selection criteria is performed taking into account the background of atmospheric muons, atmospheric neutrinos and the energy spectra of the expected neutrino signals. No significant excess over the background is observed and $90\%$ C.L. upper limits on the neutrino flux, the spin--dependent and spin--independent WIMP-nucleon cross--sections are derived for WIMP masses ranging from $ \rm 50$ GeV to $\rm 5$ TeV for the annihilation channels $\rm WIMP + WIMP \to b \bar b, W^+ W^-$ and $\rm τ^+ τ^-$.
△ Less
Submitted 9 May, 2016; v1 submitted 7 March, 2016;
originally announced March 2016.
-
A search for Secluded Dark Matter in the Sun with the ANTARES neutrino telescope
Authors:
S. Adrián-Martínez,
A. Albert,
M. André,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. Bou-Cabo,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
A. Coleiro
, et al. (93 additional authors not shown)
Abstract:
A search for Secluded Dark Matter annihilation in the Sun using 2007-2012 data of the ANTARES neutrino telescope is presented. Three different cases are considered: a) detection of dimuons that result from the decay of the mediator, or neutrino detection from: b) mediator that decays into a dimuon and, in turn, into neutrinos, and c) mediator that decays directly into neutrinos. As no significant…
▽ More
A search for Secluded Dark Matter annihilation in the Sun using 2007-2012 data of the ANTARES neutrino telescope is presented. Three different cases are considered: a) detection of dimuons that result from the decay of the mediator, or neutrino detection from: b) mediator that decays into a dimuon and, in turn, into neutrinos, and c) mediator that decays directly into neutrinos. As no significant excess over background is observed, constraints are derived on the dark matter mass and the lifetime of the mediator.
△ Less
Submitted 3 May, 2016; v1 submitted 22 February, 2016;
originally announced February 2016.
-
High-energy Neutrino follow-up search of Gravitational Wave Event GW150914 with ANTARES and IceCube
Authors:
S. Adrián-Martínez,
A. Albert,
M. André,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
A. Coleiro,
R. Coniglione
, et al. (1369 additional authors not shown)
Abstract:
We present the high-energy-neutrino follow-up observations of the first gravitational wave transient GW150914 observed by the Advanced LIGO detectors on Sept. 14th, 2015. We search for coincident neutrino candidates within the data recorded by the IceCube and ANTARES neutrino detectors. A possible joint detection could be used in targeted electromagnetic follow-up observations, given the significa…
▽ More
We present the high-energy-neutrino follow-up observations of the first gravitational wave transient GW150914 observed by the Advanced LIGO detectors on Sept. 14th, 2015. We search for coincident neutrino candidates within the data recorded by the IceCube and ANTARES neutrino detectors. A possible joint detection could be used in targeted electromagnetic follow-up observations, given the significantly better angular resolution of neutrino events compared to gravitational waves. We find no neutrino candidates in both temporal and spatial coincidence with the gravitational wave event. Within 500 s of the gravitational wave event, the number of neutrino candidates detected by IceCube and ANTARES were three and zero, respectively. This is consistent with the expected atmospheric background, and none of the neutrino candidates were directionally coincident with GW150914. We use this non-detection to constrain neutrino emission from the gravitational-wave event.
△ Less
Submitted 22 April, 2016; v1 submitted 17 February, 2016;
originally announced February 2016.
-
Constraints on the neutrino emission from the Galactic Ridge with the ANTARES telescope
Authors:
S. Adrián-Martínez,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella,
A. Coleiro
, et al. (94 additional authors not shown)
Abstract:
Compelling evidence for the existence of astrophysical neutrinos has been reported by the IceCube collaboration. Some features of the energy and declination distributions of IceCube events hint at a North/South asymmetry of the neutrino flux. This could be due to the presence of the bulk of our Galaxy in the Southern hemisphere. The ANTARES neutrino telescope, located in the Mediterranean Sea, has…
▽ More
Compelling evidence for the existence of astrophysical neutrinos has been reported by the IceCube collaboration. Some features of the energy and declination distributions of IceCube events hint at a North/South asymmetry of the neutrino flux. This could be due to the presence of the bulk of our Galaxy in the Southern hemisphere. The ANTARES neutrino telescope, located in the Mediterranean Sea, has been taking data since 2007. It offers the best sensitivity to muon neutrinos produced by galactic cosmic ray interactions in this region of the sky. In this letter a search for an extended neutrino flux from the Galactic Ridge region is presented. Different models of neutrino production by cosmic ray propagation are tested. No excess of events is observed and upper limits for different neutrino flux spectral indices are set. This constrains the number of IceCube events possibly originating from the Galactic Ridge. A simple power-law extrapolation of the Fermi-LAT flux to associated IceCube High Energy Starting Events is excluded at 90% confidence level.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.