-
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.
-
Inferring country-specific import risk of diseases from the world air transportation network
Authors:
Pascal P. Klamser,
Adrian Zachariae,
Benjamin F. Maier,
Olga Baranov,
Clara Jongen,
Frank Schlosser,
Dirk Brockmann
Abstract:
Disease propagation between countries strongly depends on their effective distance, a measure derived from the world air transportation network (WAN). It reduces the complex spreading patterns of a pandemic to a wave-like propagation from the outbreak country, i.e. a linear relationship to the arrival time of the unmitigated spread of a disease. However, in the early stage of an outbreak, what mat…
▽ More
Disease propagation between countries strongly depends on their effective distance, a measure derived from the world air transportation network (WAN). It reduces the complex spreading patterns of a pandemic to a wave-like propagation from the outbreak country, i.e. a linear relationship to the arrival time of the unmitigated spread of a disease. However, in the early stage of an outbreak, what matters to countries' decision makers is knowledge about the relative risk of arrival of active cases, i.e. how likely it is that an active case that boarded at the outbreak location will arrive in their country. As accurate mechanistic models to estimate such risks are still lacking, we propose here the ``import risk'' model that defines an import probability by means of the effective-distance framework. The model assumes that airline passengers are distributed along the shortest path tree that starts at the outbreak's origin. In combination with a random walk, we account for all possible paths, thus inferring predominant connecting flights. Our model outperforms other mobility models, such as the radiation and gravity model with varying distance types, and it improves further if additional geographic information is included. The import risk model's precision increases for countries that are more connected within the WAN, and recovers a geographic distance-dependence that suggests a pull- rather than a push- dynamic of the distribution process.
△ Less
Submitted 3 May, 2023; v1 submitted 24 April, 2023;
originally announced April 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.
-
Biases in human mobility data impact epidemic modeling
Authors:
Frank Schlosser,
Vedran Sekara,
Dirk Brockmann,
Manuel Garcia-Herranz
Abstract:
Large-scale human mobility data is a key resource in data-driven policy making and across many scientific fields. Most recently, mobility data was extensively used during the COVID-19 pandemic to study the effects of governmental policies and to inform epidemic models. Large-scale mobility is often measured using digital tools such as mobile phones. However, it remains an open question how truthfu…
▽ More
Large-scale human mobility data is a key resource in data-driven policy making and across many scientific fields. Most recently, mobility data was extensively used during the COVID-19 pandemic to study the effects of governmental policies and to inform epidemic models. Large-scale mobility is often measured using digital tools such as mobile phones. However, it remains an open question how truthfully these digital proxies represent the actual travel behavior of the general population. Here, we examine mobility datasets from multiple countries and identify two fundamentally different types of bias caused by unequal access to, and unequal usage of mobile phones. We introduce the concept of data generation bias, a previously overlooked type of bias, which is present when the amount of data that an individual produces influences their representation in the dataset. We find evidence for data generation bias in all examined datasets in that high-wealth individuals are overrepresented, with the richest 20% contributing over 50% of all recorded trips, substantially skewing the datasets. This inequality is consequential, as we find mobility patterns of different wealth groups to be structurally different, where the mobility networks of high-wealth users are denser and contain more long-range connections. To mitigate the skew, we present a framework to debias data and show how simple techniques can be used to increase representativeness. Using our approach we show how biases can severely impact outcomes of dynamic processes such as epidemic simulations, where biased data incorrectly estimates the severity and speed of disease transmission. Overall, we show that a failure to account for biases can have detrimental effects on the results of studies and urge researchers and practitioners to account for data-fairness in all future studies of human mobility.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
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.
-
iNaturalist citizen science community during City Nature Challenge: new computational approach for analysis of user activity
Authors:
Liubov Tupikina,
Frank Schlosser,
Vadim Voskresenskii,
Katharina Kloppenborg,
Florence Lopez,
Albrecht Mariz,
Anna Mogilevskaja,
Muki Haklay,
Bastian Greshake Tzovaras
Abstract:
Analysing patterns of engagement among citizen science participants can provide important insights into the organisation and practice of individual citizen science projects. In particular, methods from statistics and network science can be used to understand different types of user behaviour and user interactions to help the further implementation and organization of community efforts. Using publi…
▽ More
Analysing patterns of engagement among citizen science participants can provide important insights into the organisation and practice of individual citizen science projects. In particular, methods from statistics and network science can be used to understand different types of user behaviour and user interactions to help the further implementation and organization of community efforts. Using publicly available data from the iNaturalist community and their yearly City Nature Challenges (CNC) from 2017-2020 as an example; we showcase computational methods to explore the spatio-temporal evolution of this citizen science community that typically interacts in a hybrid offline-online way. In particular, we investigate the user types present in the community along with their interactions, finding significant differences in usage-behavior on both the level of engagement and the types of community tasks/roles and how they interact with the network of contributors. We expect that these computational analysis strategies will be useful to gain further understanding of other citizen science communities and projects.
△ Less
Submitted 5 December, 2021;
originally announced December 2021.
-
Potential benefits of delaying the second mRNA COVID-19 vaccine dose
Authors:
Benjamin F. Maier,
Angelique Burdinski,
Annika H. Rose,
Frank Schlosser,
David Hinrichs,
Cornelia Betsch,
Lars Korn,
Philipp Sprengholz,
Michael Meyer-Hermann,
Tanmay Mitra,
Karl Lauterbach,
Dirk Brockmann
Abstract:
Vaccination against COVID-19 with the recently approved mRNA vaccines BNT162b2 (BioNTech/Pfizer) and mRNA-1273 (Moderna) is currently underway in a large number of countries. However, high incidence rates and rapidly spreading SARS-CoV-2 variants are concerning. In combination with acute supply deficits in Europe in early 2021, the question arises of whether stretching the vaccine, for instance by…
▽ More
Vaccination against COVID-19 with the recently approved mRNA vaccines BNT162b2 (BioNTech/Pfizer) and mRNA-1273 (Moderna) is currently underway in a large number of countries. However, high incidence rates and rapidly spreading SARS-CoV-2 variants are concerning. In combination with acute supply deficits in Europe in early 2021, the question arises of whether stretching the vaccine, for instance by delaying the second dose, can make a significant contribution to preventing deaths, despite associated risks such as lower vaccine efficacy, the potential emergence of escape mutants, enhancement, waning immunity, reduced social acceptance of off-label vaccination, and liability shifts. A quantitative epidemiological assessment of risks and benefits of non-standard vaccination protocols remains elusive. To clarify the situation and to provide a quantitative epidemiological foundation we develop a stochastic epidemiological model that integrates specific vaccine rollout protocols into a risk-group structured infectious disease dynamical model. Using the situation and conditions in Germany as a reference system, we show that delaying the second vaccine dose is expected to prevent deaths in the four to five digit range, should the incidence resurge. We show that this considerable public health benefit relies on the fact that both mRNA vaccines provide substantial protection against severe COVID-19 and death beginning 12 to 14 days after the first dose. The benefits of protocol change are attenuated should vaccine compliance decrease substantially. To quantify the impact of protocol change on vaccination adherence we performed a large-scale online survey. We find that, in Germany, changing vaccination protocols may lead to small reductions in vaccination intention. In sum, we therefore expect the benefits of a strategy change to remain substantial and stable.
△ Less
Submitted 26 February, 2021;
originally announced February 2021.
-
COVID-19 lockdown induces disease-mitigating structural changes in mobility networks
Authors:
Frank Schlosser,
Benjamin F. Maier,
Olivia Jack,
David Hinrichs,
Adrian Zachariae,
Dirk Brockmann
Abstract:
In the wake of the COVID-19 pandemic many countries implemented containment measures to reduce disease transmission. Studies using digital data sources show that the mobility of individuals was effectively reduced in multiple countries. However, it remains unclear whether these reductions caused deeper structural changes in mobility networks, and how such changes may affect dynamic processes on th…
▽ More
In the wake of the COVID-19 pandemic many countries implemented containment measures to reduce disease transmission. Studies using digital data sources show that the mobility of individuals was effectively reduced in multiple countries. However, it remains unclear whether these reductions caused deeper structural changes in mobility networks, and how such changes may affect dynamic processes on the network. Here we use movement data of mobile phone users to show that mobility in Germany has not only been reduced considerably: Lockdown measures caused substantial and long-lasting structural changes in the mobility network. We find that long-distance travel was reduced disproportionately strongly. The trimming of long-range network connectivity leads to a more local, clustered network and a moderation of the "small-world" effect. We demonstrate that these structural changes have a considerable effect on epidemic spreading processes by "flattening" the epidemic curve and delaying the spread to geographically distant regions.
△ Less
Submitted 18 December, 2020; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Reconstruction of the wavefunctions of coupled nanoscopic emitters using a coherent optical technique
Authors:
M. Richter,
F. Schlosser,
M. Schoth,
S. Burger,
F. Schmidt,
A. Knorr,
S. Mukamel
Abstract:
We show that using coherent, spatially resolved spectroscopy, complex hybrid wave functions can be disentangled into the individual wave functions of the individual emitters. This way, detailed information on the coupling of the individual emitters, not available in far-field spectroscopy can be obtained. The proposed quantum state tomography relies on the ability to selectively excite each emitte…
▽ More
We show that using coherent, spatially resolved spectroscopy, complex hybrid wave functions can be disentangled into the individual wave functions of the individual emitters. This way, detailed information on the coupling of the individual emitters, not available in far-field spectroscopy can be obtained. The proposed quantum state tomography relies on the ability to selectively excite each emitter individually by spatially localized pulses. Simulations of coupled semiconductor Ga/InAs quantum dots, using light fields available in current nanoplasmonics, show that even undesired resonances can be removed from measured spectra. The method can also be applied to study the internal coupling of pigments in photosythesis and artificial light harvesting.
△ Less
Submitted 22 August, 2012; v1 submitted 9 January, 2012;
originally announced January 2012.
-
Induced surface enhancement in coral Pt island films attached to nanostructured Ag electrodes
Authors:
H. K. Ly,
Ch. Köhler,
A. Fischer,
J. Kabuss,
F. Schlosser,
M. Schoth,
A. Knorr,
I. M. Weidinger
Abstract:
Coral Pt islands films are deposited via electrochemical reduction on silica coated nanostructured Ag electrodes. From these devices surface enhanced (resonance) Raman [SE(R)R] signals of molecules exclusively attached to Pt are obtained with intensities up to 50% of the value determined for Ag. SE(R)R spectroscopic investigations are carried out with different probe molecules, silica coating thic…
▽ More
Coral Pt islands films are deposited via electrochemical reduction on silica coated nanostructured Ag electrodes. From these devices surface enhanced (resonance) Raman [SE(R)R] signals of molecules exclusively attached to Pt are obtained with intensities up to 50% of the value determined for Ag. SE(R)R spectroscopic investigations are carried out with different probe molecules, silica coating thicknesses and excitation lines. Additionally, field enhancement calculations on Ag-SiO2-Pt support geometries are performed to elucidate the influence of the Pt island film nanostructure on the observed Raman intensities. It is concluded that the non perfect coating of the Pt island film promotes the efficiency of the induced Pt SER activity. Comparison with similar measurements on Ag-SiO2-Au electrodes further suggests that the chemical nature of the deposited metal island film plays a minor role for the SE(R)R intensity.
△ Less
Submitted 4 January, 2012;
originally announced January 2012.