-
Combination Chemotherapy Optimization with Discrete Dosing
Authors:
Temitayo Ajayi,
Seyedmohammadhossein Hosseinian,
Andrew J. Schaefer,
Clifton D. Fuller
Abstract:
Chemotherapy is one of the primary modalities of cancer treatment. Chemotherapy drug administration is a complex problem that often requires expensive clinical trials to evaluate potential regimens. One way to alleviate this burden and better inform future trials is to build reliable models for drug administration. Previous chemotherapy optimization models have mainly relied on optimal control, wh…
▽ More
Chemotherapy is one of the primary modalities of cancer treatment. Chemotherapy drug administration is a complex problem that often requires expensive clinical trials to evaluate potential regimens. One way to alleviate this burden and better inform future trials is to build reliable models for drug administration. Previous chemotherapy optimization models have mainly relied on optimal control, which does not lend itself to capturing complex and vital operational constraints in chemotherapy planning involving discrete decisions, such as doses via pills and rest periods. In addition, most of the existing models for chemotherapy optimization lack an explicit toxicity measure and impose toxicity constraints primarily through (fixed) limits on drug concentration. The existing stochastic optimization models also focus on maximizing the probability of cure when tumor heterogeneity is uncertain. In this paper, we develop a mixed-integer program for combination chemotherapy (utilization of multiple drugs) optimization that incorporates various important operational constraints and, besides dose and concentration limits, controls treatment toxicity based on its effect on the count of white blood cells. To address the uncertainty of tumor heterogeneity, we propose chance constraints that guarantee reaching an operable tumor size with a high probability in a neoadjuvant setting. We present analytical results pertinent to the accuracy of the model in representing biological processes of chemotherapy and establish its merit for clinical applications through a numerical study of breast cancer.
△ Less
Submitted 2 November, 2021;
originally announced November 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.
-
A Gilmore-Gomory-Type Construction of Integer Programming Value Functions
Authors:
Seth Brown,
Wenxin Zhang,
Temitayo Ajayi,
Andrew Schaefer
Abstract:
In this paper, we analyze how sequentially introducing decision variables into an integer program (IP) affects the value function and its level sets. We use a Gilmore-Gomory approach to find parametrized IP value functions over a restricted set of variables. We introduce the notion of maximal connected subsets of level sets - volumes in which changes to the constraint right-hand side have no effec…
▽ More
In this paper, we analyze how sequentially introducing decision variables into an integer program (IP) affects the value function and its level sets. We use a Gilmore-Gomory approach to find parametrized IP value functions over a restricted set of variables. We introduce the notion of maximal connected subsets of level sets - volumes in which changes to the constraint right-hand side have no effect on the value function - and relate these structures to IP value functions and optimal solutions.
△ Less
Submitted 1 February, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Theorems of the Alternative for Conic Integer Programming
Authors:
Temitayo Ajayi,
Varun Suriyanarayana,
Andrew J. Schaefer
Abstract:
Farkas' Lemma is a foundational result in linear programming, with implications in duality, optimality conditions, and stochastic and bilevel programming. Its generalizations are known as theorems of the alternative. There exist theorems of the alternative for integer programming and conic programming. We present theorems of the alternative for conic integer programming. We provide a nested proced…
▽ More
Farkas' Lemma is a foundational result in linear programming, with implications in duality, optimality conditions, and stochastic and bilevel programming. Its generalizations are known as theorems of the alternative. There exist theorems of the alternative for integer programming and conic programming. We present theorems of the alternative for conic integer programming. We provide a nested procedure to construct a function that characterizes feasibility over right-hand sides and can determine which statement in a theorem of the alternative holds.
△ Less
Submitted 31 May, 2019;
originally announced June 2019.
-
Approximate Submodularity and Its Implications in Discrete Optimization
Authors:
Temitayo Ajayi,
Taewoo Lee,
Andrew Schaefer
Abstract:
Submodularity is a key property in discrete optimization. Submodularity has been widely used for analyzing the greedy algorithm to give performance bounds and providing insight into the construction of valid inequalities for mixed-integer programs. In recent years, researchers started to study approximate submodularity, with a primary focus on providing performance bounds for iterative approaches.…
▽ More
Submodularity is a key property in discrete optimization. Submodularity has been widely used for analyzing the greedy algorithm to give performance bounds and providing insight into the construction of valid inequalities for mixed-integer programs. In recent years, researchers started to study approximate submodularity, with a primary focus on providing performance bounds for iterative approaches. In this paper, we study approximate submodularity from a different perspective in order to broaden its use cases in discrete optimization. We define metrics that quantify approximate submodularity, which we then use to derive new properties about both approximate submodularity preservation and the well-known Lovász extension for set functions. We also show that previous analyses of mixed-integer sets, such as the submodular knapsack polytope, can be extended to the approximate submodularity setting. Our work demonstrates that one may generalize many of the analytical tools used in submodular optimization into the approximate submodularity context.
△ Less
Submitted 21 May, 2022; v1 submitted 26 January, 2019;
originally announced January 2019.
-
Provably convergent acceleration in factored gradient descent with applications in matrix sensing
Authors:
Tayo Ajayi,
David Mildebrath,
Anastasios Kyrillidis,
Shashanka Ubaru,
Georgios Kollias,
Kristofer Bouchard
Abstract:
We present theoretical results on the convergence of \emph{non-convex} accelerated gradient descent in matrix factorization models with $\ell_2$-norm loss. The purpose of this work is to study the effects of acceleration in non-convex settings, where provable convergence with acceleration should not be considered a \emph{de facto} property. The technique is applied to matrix sensing problems, for…
▽ More
We present theoretical results on the convergence of \emph{non-convex} accelerated gradient descent in matrix factorization models with $\ell_2$-norm loss. The purpose of this work is to study the effects of acceleration in non-convex settings, where provable convergence with acceleration should not be considered a \emph{de facto} property. The technique is applied to matrix sensing problems, for the estimation of a rank $r$ optimal solution $X^\star \in \mathbb{R}^{n \times n}$. Our contributions can be summarized as follows. $i)$ We show that acceleration in factored gradient descent converges at a linear rate; this fact is novel for non-convex matrix factorization settings, under common assumptions. $ii)$ Our proof technique requires the acceleration parameter to be carefully selected, based on the properties of the problem, such as the condition number of $X^\star$ and the condition number of objective function. $iii)$ Currently, our proof leads to the same dependence on the condition number(s) in the contraction parameter, similar to recent results on non-accelerated algorithms. $iv)$ Acceleration is observed in practice, both in synthetic examples and in two real applications: neuronal multi-unit activities recovery from single electrode recordings, and quantum state tomography on quantum computing simulators.
△ Less
Submitted 21 September, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.