-
Test Center Location Problem: A bi-objective Model and Algorithms
Authors:
Mansoor Davoodia,
Justin M. Calabrese
Abstract:
The optimal placement of healthcare facilities, including the placement of diagnostic test centers, plays a pivotal role in ensuring efficient and equitable access to healthcare services. However, the emergence of unique complexities in the context of a pandemic, exemplified by the COVID-19 crisis, has necessitated the development of customized solutions. This paper introduces a bi-objective integ…
▽ More
The optimal placement of healthcare facilities, including the placement of diagnostic test centers, plays a pivotal role in ensuring efficient and equitable access to healthcare services. However, the emergence of unique complexities in the context of a pandemic, exemplified by the COVID-19 crisis, has necessitated the development of customized solutions. This paper introduces a bi-objective integer linear programming model designed to achieve two key objectives: minimizing average travel time for individuals visiting testing centers and maximizing an equitable workload distribution among testing centers. To address this problem, we propose a customized local search algorithm based on the Voronoi diagram. Additionally, we employ an $ε$-constraint approach, which leverages the Gurobi solver. We rigorously examine the effectiveness of the model and the algorithms through numerical experiments and demonstrate their capability to identify Pareto-optimal solutions. We show that while the Gurobi performs efficiently in small-size instances, our proposed algorithm outperforms it in large-size instances of the problem.
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Personnel Scheduling and Testing Strategy during Pandemics: The case of COVID-19
Authors:
Mansoor Davoodi,
Ana Batista,
Abhishek Senapati,
Justin M. Calabrese
Abstract:
Efficient personnel scheduling plays a significant role in matching workload demand in organizations. However, staff scheduling is sometimes affected by unexpected events, such as the COVID-19 pandemic, that disrupt regular operations. Since infectious diseases like COVID-19 transmit mainly through close contact with individuals, an efficient way to prevent the spread is by limiting the number of…
▽ More
Efficient personnel scheduling plays a significant role in matching workload demand in organizations. However, staff scheduling is sometimes affected by unexpected events, such as the COVID-19 pandemic, that disrupt regular operations. Since infectious diseases like COVID-19 transmit mainly through close contact with individuals, an efficient way to prevent the spread is by limiting the number of on-site employees in the workplace along with regular testing. Thus, determining an optimal scheduling and testing strategy that meets the organization's goals and prevents the spread of the virus is crucial during disease outbreaks. In this paper, we formulate these challenges in the framework of two Mixed Integer Non-linear Programming (MINLP) models. The first model aims to derive optimal staff occupancy and testing strategies to minimize the risk of infection among employees, while the second model aims at only optimal staff occupancy under a random testing strategy. To solve the problems expressed in the models, we propose a canonical genetic algorithm as well as two commercial solvers. Using both real and synthetic contact networks of employees, our results show that following the recommended occupancy and testing strategy reduces the risk of infection 25\%--60\% under different scenarios.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Modeling COVID-19 optimal testing strategies in long-term care facilities: An optimization-based approach
Authors:
Mansoor Davoodi,
Ana Batista,
Abhishek Senapati,
Weronika Schlechte-Welnicz,
Birgit Wagner,
Justin M. Calabrese
Abstract:
Long-term care facilities have been widely affected by the COVID-19 pandemic. Retirement homes are particularly vulnerable due to the higher mortality risk of infected elderly individuals. Once an outbreak occurs, suppressing the spread of the virus in retirement homes is challenging because the residents are in contact with each other, and isolation measures cannot be widely enforced. Regular tes…
▽ More
Long-term care facilities have been widely affected by the COVID-19 pandemic. Retirement homes are particularly vulnerable due to the higher mortality risk of infected elderly individuals. Once an outbreak occurs, suppressing the spread of the virus in retirement homes is challenging because the residents are in contact with each other, and isolation measures cannot be widely enforced. Regular testing strategies, on the other hand, have been shown to effectively prevent outbreaks in retirement homes. However, high frequency testing may consume substantial staff working time, which results in a trade-off between the time invested in testing, and the time spent providing essential care to residents. Thus, developing an optimal testing strategy is crucial to proactively detect infections while guaranteeing efficient use of limited staff time in these facilities. Although numerous efforts have been made to prevent the virus from spreading in long-term care facilities, this is the first study to develop testing strategies based on formal optimization methods. This paper proposes two novel optimization models for testing schedules. The models aim to minimize the risk of infection in retirement homes, considering the trade-off between the probability of infection and staff workload. We employ a probabilistic approach in conjunction with the optimization models, to compute the risk of infection, including contact rates, incidence status, and the probability of infection of the residents. To solve the models, we propose an enhanced local search algorithm by leveraging the symmetry property of the optimal solution. We perform several experiments with realistically sized instances and show that the proposed approach can derive optimal testing strategies.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Optimal Workplace Occupancy Strategies during the COVID-19 Pandemic
Authors:
Mansoor Davoodi,
Abhishek Senapati,
Adam Mertel,
Weronika Schlechte-Welnicz,
Justin M. Calabrese
Abstract:
During the COVID-19 pandemic, many organizations (e.g. businesses, companies, government facilities, etc.) have attempted to reduce infection risk by employing partial home office strategies. However, working from home can also reduce productivity for certain types of work and particular employees. Over the long term, many organizations therefore face a need to balance infection risk against produ…
▽ More
During the COVID-19 pandemic, many organizations (e.g. businesses, companies, government facilities, etc.) have attempted to reduce infection risk by employing partial home office strategies. However, working from home can also reduce productivity for certain types of work and particular employees. Over the long term, many organizations therefore face a need to balance infection risk against productivity. Motivated by this trade-off, we model this situation as a bi-objective optimization problem and propose a practical approach to find trade-off (Pareto optimal) solutions. We present a new probabilistic framework to compute the expected number of infected employees as a function of key parameters including: the incidence level in the neighborhood of the organization, the COVID-19 transmission rate, the number of employees, the percentage of vaccinated employees, the testing frequency, and the contact rate among employees. We implement the model and the optimization algorithm and perform several numerical experiments with different parameter settings. Furthermore, we provide an online application based on the models and algorithms developed in this paper, which can be used to identify the optimal workplace occupancy rate for real-world organizations.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
A proof of the Donaldson-Thomas crepant resolution conjecture
Authors:
Sjoerd Viktor Beentjes,
John Calabrese,
Jørgen Vold Rennemo
Abstract:
We prove the crepant resolution conjecture for Donaldson-Thomas invariants of hard Lefschetz CY3 orbifolds, formulated by Bryan-Cadman-Young, interpreting the statement as an equality of rational functions. In order to do so, we show that the generating series of stable pair invariants on any CY3 orbifold is the expansion of a rational function. As a corollary, we deduce a symmetry of this functio…
▽ More
We prove the crepant resolution conjecture for Donaldson-Thomas invariants of hard Lefschetz CY3 orbifolds, formulated by Bryan-Cadman-Young, interpreting the statement as an equality of rational functions. In order to do so, we show that the generating series of stable pair invariants on any CY3 orbifold is the expansion of a rational function. As a corollary, we deduce a symmetry of this function induced by the derived dualising functor. Our methods also yield a proof of the orbifold DT/PT correspondence for multi-regular curve classes on hard Lefschetz CY3 orbifolds.
△ Less
Submitted 29 October, 2018; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Gabriel's theorem and birational geometry
Authors:
John Calabrese,
Roberto Pirisi
Abstract:
Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's reconstruction theorem and the fact that two varieties are birational if and only if they have the same function field.
Extending work of Meinhardt and Partsch, we prove that two varieties are isomorphic in codimension c if and only if certain quotients of their categories of coherent sheaves are equivalent. This result interpolates between Gabriel's reconstruction theorem and the fact that two varieties are birational if and only if they have the same function field.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Derived Equivalent Calabi-Yau 3-folds from Cubic 4-folds
Authors:
John Calabrese,
Richard P. Thomas
Abstract:
We describe pretty examples of derived equivalences and autoequivalences of Calabi-Yau threefolds arising from pencils of cubic fourfolds. The cubic fourfolds are chosen to be special, so they have an associated K3 surface. Thus a pencil gives rise to two different Calabi-Yau threefolds: the associated pencil of K3 surfaces, and the baselocus of the original pencil - the intersection of two cubic…
▽ More
We describe pretty examples of derived equivalences and autoequivalences of Calabi-Yau threefolds arising from pencils of cubic fourfolds. The cubic fourfolds are chosen to be special, so they have an associated K3 surface. Thus a pencil gives rise to two different Calabi-Yau threefolds: the associated pencil of K3 surfaces, and the baselocus of the original pencil - the intersection of two cubic fourfolds. They both have crepant resolutions which are derived equivalent.
△ Less
Submitted 10 September, 2015; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Moduli Problems in Abelian Categories and the Reconstruction Theorem
Authors:
John Calabrese,
Michael Groechenig
Abstract:
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that…
▽ More
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that the group of autoequivalences of the category of quasi-coherent sheaves consists of automorphisms of the underlying space and twists by line bundles. We apply our strategy to prove analogous statements for categories of sheaves twisted by a Gm-gerbe. Our methods allow us to treat even gerbes not coming from a Brauer class. As a pleasant consequence, we deduce a Morita theory for sheaves of abelian categories.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
On the Crepant Resolution Conjecture for Donaldson-Thomas Invariants
Authors:
John Calabrese
Abstract:
We prove a comparison formula for curve-counting invariants in the setting of the McKay correspondence, related to the crepant resolution conjecture for Donaldson-Thomas invariants. The conjecture is concerned with comparing the invariants of a (hard Lefschetz) Calabi-Yau orbifold of dimension three with those of a specific crepant resolution of its coarse moduli space. We prove the conjecture for…
▽ More
We prove a comparison formula for curve-counting invariants in the setting of the McKay correspondence, related to the crepant resolution conjecture for Donaldson-Thomas invariants. The conjecture is concerned with comparing the invariants of a (hard Lefschetz) Calabi-Yau orbifold of dimension three with those of a specific crepant resolution of its coarse moduli space. We prove the conjecture for point classes and give a conditional proof for general curve classes. We also prove a variant of the formula for curve classes. Along the way we identify the image of the standard heart of the orbifold under the Bridgeland-King-Reid equivalence.
△ Less
Submitted 14 December, 2014; v1 submitted 27 June, 2012;
originally announced June 2012.
-
Donaldson-Thomas Invariants and Flops
Authors:
John Calabrese
Abstract:
We prove a comparison formula for the Donaldson-Thomas curve-counting invariants of two smooth and projective Calabi-Yau threefolds related by a flop. By results of Bridgeland any two such varieties are derived equivalent. Furthermore there exist pairs of categories of perverse coherent sheaves on both sides which are swapped by this equivalence. Using the theory developed by Joyce we construct th…
▽ More
We prove a comparison formula for the Donaldson-Thomas curve-counting invariants of two smooth and projective Calabi-Yau threefolds related by a flop. By results of Bridgeland any two such varieties are derived equivalent. Furthermore there exist pairs of categories of perverse coherent sheaves on both sides which are swapped by this equivalence. Using the theory developed by Joyce we construct the motivic Hall algebras of these categories. These algebras provide a bridge relating the invariants on both sides of the flop.
△ Less
Submitted 14 December, 2014; v1 submitted 7 November, 2011;
originally announced November 2011.
