-
Rolling Horizon Policies in Multistage Stochastic Programming
Authors:
Murwan Siddig,
Yongjia Song,
Amin Khademi
Abstract:
Multistage Stochastic Programming (MSP) is a class of models for sequential decision-making under uncertainty. MSP problems are known for their computational intractability due to the sequential nature of the decision-making structure and the uncertainty in the problem data due to the so-called curse of dimensionality. A common approach to tackle MSP problems with a large number of stages is a rol…
▽ More
Multistage Stochastic Programming (MSP) is a class of models for sequential decision-making under uncertainty. MSP problems are known for their computational intractability due to the sequential nature of the decision-making structure and the uncertainty in the problem data due to the so-called curse of dimensionality. A common approach to tackle MSP problems with a large number of stages is a rolling-horizon (RH) procedure, where one solves a sequence of MSP problems with a smaller number of stages. This leads to a delicate issue of how many stages to include in the smaller problems used in the RH procedure. This paper addresses this question for, both, finite and infinite horizon MSP problems. For the infinite horizon case with discounted costs, we derive a bound which can be used to prescribe an epsilon-sufficient number of stages. For the finite horizon case, we propose a heuristic approach from the perspective of approximate dynamic programming to provide a sufficient number of stages for each roll in the RH procedure. Our numerical experiments on a hydrothermal power generation planning problem show the effectiveness of the proposed approaches.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Additive Average Schwarz Method for Elliptic Mortar Finite Element Problems with Highly Heterogeneous Coefficients
Authors:
Ali Khademi,
Leszek Marcinkowski,
Sanjib Kumar Acharya,
Talal Rahman
Abstract:
In this paper, we extend the additive average Schwarz method to solve second order elliptic boundary value problems with heterogeneous coefficients inside the subdomains and across their interfaces by the mortar technique, where the mortar finite element discretization is on nonmatching meshes. In this two-level method, we enrich the coarse space in two different ways, i.e., by adding eigenfunctio…
▽ More
In this paper, we extend the additive average Schwarz method to solve second order elliptic boundary value problems with heterogeneous coefficients inside the subdomains and across their interfaces by the mortar technique, where the mortar finite element discretization is on nonmatching meshes. In this two-level method, we enrich the coarse space in two different ways, i.e., by adding eigenfunctions of two variants of the generalized eigenvalue problems. We prove that the condition numbers of the systems of algebraic equations resulting from the extended additive average Schwarz method, corresponding to both coarse spaces, are of the order O(H/h) and independent of jumps in the coefficients, where H and h are the mesh parameters.
△ Less
Submitted 9 February, 2021; v1 submitted 4 February, 2021;
originally announced February 2021.
-
On strong duality, theorems of the alternative, and projections in conic optimization
Authors:
Temitayo Ajayi,
Akshay Gupte,
Amin Khademi,
Andrew Schaefer
Abstract:
A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ (also called Clark-Duffin theorem), that are sufficient for achieving strong duality and show that the first implies the second which implies the third, and als…
▽ More
A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ (also called Clark-Duffin theorem), that are sufficient for achieving strong duality and show that the first implies the second which implies the third, and also give a more general form of the third CQ for conic problems. Furthermore, two consequences of strong duality are presented, the first being a theorem of the alternative on almost feasibility (also called weak infeasibility), and the second being an explicit description of the projection of conic sets onto linear subspaces, akin to using projection cones for polyhedral sets.
△ Less
Submitted 16 November, 2021; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Data-Driven Infectious Disease Control with Uncertain Resources
Authors:
Ceyda Yaba Best,
Amin Khademi,
Burak Eksioglu
Abstract:
We study a resource allocation problem for containing an infectious disease in a metapopulation subject to resource uncertainty. We propose a two-stage model where the policy maker seeks to allocate resources in both stages where the second stage resource is random. Instead of a system of nonlinear differential equations that governs the epidemic trajectories in the constraints of the optimization…
▽ More
We study a resource allocation problem for containing an infectious disease in a metapopulation subject to resource uncertainty. We propose a two-stage model where the policy maker seeks to allocate resources in both stages where the second stage resource is random. Instead of a system of nonlinear differential equations that governs the epidemic trajectories in the constraints of the optimization model, we use a data-driven functional form to model the cumulative number of infected individuals. This flexible data-driven modeling choice allows us to transform the optimization problem to a tractable mixed integer linear program. Our flexible approach can handle an online decision making process, where the decision makers update their decisions for opening treatment units and allocating beds utilizing the new information about the epidemic progress. We utilize a detailed simulation model, validated by real data from the 2014 Ebola epidemic in Sierra Leone. Our results show that our policies produce about 400 fewer number of infected individuals in Sierra Leone compared to the policies applied during the actual epidemic. We also provide a detailed comparison of allocation policies generated by our optimization framework which sheds light on the optimal resource allocation in different regions.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
On generalizations of the Synge-Křížek maximum angle condition for $d$-simplices
Authors:
Ali Khademi,
Sergey Korotov,
Jon Eivind Vatne
Abstract:
In this note we present a generalization of the maximum angle condition, proposed by J. L. Synge in 1957 and M. Křížek in 1992 for triangular and tetrahedral elements, respectively, for the case of higher-dimensional simplicial finite elements. Its relations to the other angle-type conditions commonly used in finite element methods are analysed.
In this note we present a generalization of the maximum angle condition, proposed by J. L. Synge in 1957 and M. Křížek in 1992 for triangular and tetrahedral elements, respectively, for the case of higher-dimensional simplicial finite elements. Its relations to the other angle-type conditions commonly used in finite element methods are analysed.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
On closed non-vanishing ideals in $C_B(X)$ II; compactness properties
Authors:
A. Khademi,
M. R. Koushesh
Abstract:
For a completely regular space $X$, let $C_B(X)$ be the normed algebra of all bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm and let $C_0(X)$ be its subalgebra consisting of mappings vanishing at infinity. For a non-vanishing closed ideal $H$ of $C_B(X)$ we study properties of its spectrum $\mathfrak{sp}(H)$ which may be c…
▽ More
For a completely regular space $X$, let $C_B(X)$ be the normed algebra of all bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm and let $C_0(X)$ be its subalgebra consisting of mappings vanishing at infinity. For a non-vanishing closed ideal $H$ of $C_B(X)$ we study properties of its spectrum $\mathfrak{sp}(H)$ which may be characterized as the unique locally compact (Hausdorff) space $Y$ such that $H$ and $C_0(Y)$ are isometrically isomorphic. We concentrate on compactness properties of $\mathfrak{sp}(H)$ and find necessary and sufficient (algebraic) conditions on $H$ such that the spectrum $\mathfrak{sp}(H)$ satisfies (topological) properties such as the Lindelöf property, $σ$-compactness, countable compactness, pseudocompactness and paracompactness.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
On closed non-vanishing ideals in CB(X)
Authors:
A. Khademi,
M. R. Koushesh
Abstract:
Let $X$ be a completely regular topological space. We study closed ideals $H$ of $C_B(X)$, the normed algebra of bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm, which are non-vanishing, in the sense that, there is no point of $X$ at which every element of $H$ vanishes. This is done by studying the (unique) locally compact…
▽ More
Let $X$ be a completely regular topological space. We study closed ideals $H$ of $C_B(X)$, the normed algebra of bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm, which are non-vanishing, in the sense that, there is no point of $X$ at which every element of $H$ vanishes. This is done by studying the (unique) locally compact Hausdorff space $Y$ associated to $H$ in such a way that $H$ and $C_0(Y)$ are isometrically isomorphic. We are interested in various connectedness properties of $Y$. In particular, we present necessary and sufficient (algebraic) conditions for $H$ such that $Y$ satisfies (topological) properties such as locally connectedness, total disconnectedness, zero-dimensionality, strong zero-dimensionality, total separatedness or extremal disconnectedness.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
