Other Applied Mathematics Commons^™

Decision Making For Large-Scale Problems Under Uncertainty And Conflict, Benjamin J. Hamlin

All Dissertations

Large-scale decision-making problems appear in many areas including long-range forecasting such as energy generation forecasting. Many such problems are subject to conflicting objectives and uncertain data, and can be modeled as linear optimization problems. We study novel theoretical results and algorithms for large-scale linear decision problems under conflict and uncertainty. First, we propose a parametric Benders decomposition algorithm for solving large-scale linear optimization problems with multiple objectives or deterministically uncertain objectives. Second, we extend the parametric Benders decomposition to a multi-stage setting, developing a parametric stochastic dual dynamic programming algorithm, which enables decision-making when conflicts and uncertainty have planning impacts …

Generalizing Threshold-Based Multiparty Computation To Ramp Schemes, Christian Tucker

All Theses

Secure multiparty computation (MPC) enables multiple participants to jointly compute functions over their private inputs without revealing them. Classical threshold based protocols, such as the BGW protocol, perform computations on scalar values using (k,n)-threshold secret sharing. While these protocols provide strong security guarantees, they become computationally expensive when applied to large matrices or multiple secret values. In this work, we investigate the use of ramp schemes, secret sharing schemes that encode sets of secrets with a trade-off between privacy and efficiency, to generalize BGW computations. We show that the linear operations performed on shares (k,n)-threshold schemes in BGW can be …

Reverse (Bio)Engineering: A Machine Learning Approach To Optimize Baseball Pitcher Health And Performance, Robert C. Moore

All Dissertations

Ball tracking systems are becoming ubiquitous in sport, creating an unprecedented opportunity for big data applications to optimize human health and performance. These applications are especially common in baseball, a sport known for analyzing ball flight data to quantify performance. Analysts routinely use ball flight data to identify the attributes of top performing pitchers, finding that the best pitchers throw with optimal combinations of release speed and spin to precise locations. However, for certain pitchers, the throwing motion required to produce optimal ball flight places exceedingly high biomechanical load on the elbow, and consequently injury rates continue to rise. This …

Modeling Dna Repair In Escherichia Coli Using A Boolean And Stochastic Framework, Gabrianne Ivey

All Theses

DNA can be damaged through both internal and external sources. Therefore, cells have created methods to repair DNA damage. In Escherichia coli, the system responsible for DNA repair is termed the SOS response. This system consists of more than 50 genes and contains three main repair pathways: nucleotide excision repair, translesion synthesis, and homologous recombination. The response is initiated when DNA lesions result in the accumulation of single-stranded DNA (ssDNA). The protein RecA is activated by binding to ssDNA and is then denoted RecA*. RecA* assists in the auto-cleavage of LexA which is the primary repressor protein involved in …

Decomposition And Coordination For Multiobjective Optimization: A Framework And Methodology, Philip J. De Castro

All Dissertations

In this work, we consider finding Pareto efficient solutions for complex multiobjective optimization problems (MOPs). Complex MOPs are unique in the literature because they have many more objective functions than is typically considered. In fact, such complex MOPs will have 30+ objective functions. This large problem size presents computational and coginitive difficulties. Computationally, standard techniques for solving MOPs are often ineffective and cognitively it is difficult for a decision maker (DM) to handle all of the information provided in such a large problem. To address these challenges, we develop a decomposition and coordination framework. This framework will allow us to …

Bounding The Convex Hull Relaxation Of The Unit Commitment Problem With The Shapley-Folkman Theorem, Lauren Henderson

All Theses

The Unit Commitment (UC) problem finds an optimal schedule for a set of generators by minimizing the total operation cost subject to demand and operational constraints. The UC problem is often modeled with a mixed-integer linear program (MILP). We employ the Shapley-Folkman Theorem to provide a bound on the size of fractional solutions of its convex hull relaxation. This result is used to obtain a bound on the optimality gap between the MILP and the convex hull relaxation, which is further tightened using several problem-specific properties of UC. We conduct extensive numerical experiments to study the tightness of this threshold, …

Efficient First-Order Methods For Some Smooth Nonlinear Optimization Problems, Yunheng Jiang

All Dissertations

none

First-Order Algorithms For Convex Smooth Optimization Problems With Homogeneous Linear Constraints, Yidan Guo

All Dissertations

The purpose of this dissertation is to explore the first-order methods that can be used to solve an approximate solution for convex smooth problems with homogeneous linear constraints. It consists of three interconnected research projects.

In the first project, we study the problem of computing the projection of a given vector onto the kernel of a symmetric positive semi-definite matrix. The complexity of an algorithm for computing a numerical solution is evaluated by the total number of matrix-vector multiplications required for computing an approximate solution. Such problems arise commonly in consensus optimization, in which the total number of matrix-vector multiplications …

Optimization Strategies For Political Redistricting, Blake Splitter

All Dissertations

Political redistricting has remained a hot-button issue in the United States for several decades. Every ten years, most states need to redraw their districts to account for changing populations. Sometimes, these district plans can be drawn with the malevolent intention of aiding one political party over another. This dissertation summarizes four distinct methods of drawing these districts using computer algorithms while keeping several objectives in mind. We test these approaches on the case study state of South Carolina, since it provides a sufficiently challenging problem for us to test various algorithms. We find that many of these approaches improve upon …

Models Of Functional Redundancy In Ecological Communities, Sandra Annie Tsiorintsoa

All Dissertations

Functional redundancy is the number of taxa that perform a given function within a given community. In most systems, high levels of functional redundancy are important, because they contribute to ecosystem stability. However, we currently have very little understanding of why functional redundancy varies among communities. One possible factor that could affect functional redundancy is environmental complexity. Many studies show that simplified ecosystems harbor communities with lower taxon diversity. What is less clear is if this simplicity and lower taxon diversity also affects functional redundancy. To answer this question, we use metacommunity models to explore the connection between environmental complexity …

Aspects Of Stochastic Geometric Mechanics In Molecular Biophysics, David Frost

All Dissertations

In confocal single-molecule FRET experiments, the joint distribution of FRET efficiency and donor lifetime distribution can reveal underlying molecular conformational dynamics via deviation from their theoretical Forster relationship. This shift is referred to as a dynamic shift. In this study, we investigate the influence of the free energy landscape in protein conformational dynamics on the dynamic shift by simulation of the associated continuum reaction coordinate Langevin dynamics, yielding a deeper understanding of the dynamic and structural information in the joint FRET efficiency and donor lifetime distribution. We develop novel Langevin models for the dye linker dynamics, including rotational dynamics, based …

Multi-Commodity Flow Models For Logistic Operations Within A Contested Environment, Isabel Strinsky

All Theses

Today's military logistics officers face a difficult challenge, generating route plans for mass deployments within contested environments. The current method of generating route plans is inefficient and does not assess the vulnerability within supply networks and chains. There are few models within the current literature that provide risk-averse solutions for multi-commodity flow models. In this thesis, we discuss two models that have the potential to aid military planners in creating route plans that account for risk and uncertainty. The first model we introduce is a continuous time model with chance constraints. The second model is a two-stage discrete time model …

Asymptotic Cones Of Quadratically Defined Sets And Their Applications To Qcqps, Alexander Joyce

All Dissertations

Quadratically constrained quadratic programs (QCQPs) are a set of optimization problems defined by a quadratic objective function and quadratic constraints. QCQPs cover a diverse set of problems, but the nonconvexity and unboundedness of quadratic constraints lead to difficulties in globally solving a QCQP. This thesis covers properties of unbounded quadratic constraints via a description of the asymptotic cone of a set defined by a single quadratic constraint. A description of the asymptotic cone is provided, including properties such as retractiveness and horizon directions.

Using the characterization of the asymptotic cone, we generalize existing results for bounded quadratically defined regions with …

Null Space Removal In Finite Element Discretizations, Pengfei Jia

All Theses

Partial differential equations are frequently utilized in the mathematical formulation of physical problems. Boundary conditions need to be applied in order to obtain the unique solution to such problems. However, some types of boundary conditions do not lead to unique solutions because the continuous problem has a null space. In this thesis, we will discuss how to solve such problems effectively. We first review the foundation of all three problems and prove that Laplace problem, linear elasticity problem and Stokes problem can be well posed if we restrict the test and trial space in the continuous and discrete finite element …

On Variants Of Sliding And Frank-Wolfe Type Methods And Their Applications In Video Co-Localization, Seyed Hamid Nazari

All Dissertations

In this dissertation, our main focus is to design and analyze first-order methods for computing approximate solutions to convex, smooth optimization problems over certain feasible sets. Specifically, our goal in this dissertation is to explore some variants of sliding and Frank-Wolfe (FW) type algorithms, analyze their convergence complexity, and examine their performance in numerical experiments. We achieve three accomplishments in our research results throughout this dissertation. First, we incorporate a linesearch technique to a well-known projection-free sliding algorithm, namely the conditional gradient sliding (CGS) method. Our proposed algorithm, called the conditional gradient sliding with linesearch (CGSls), does not require the …

Optimal First Order Methods For Reducing Gradient Norm In Unconstrained Convex Smooth Optimization, Yunheng Jiang

All Theses

In this thesis, we focus on convergence performance of first-order methods to compute an $\epsilon$-approximate solution of minimizing convex smooth function $f$ at the $N$-th iteration.

In our introduction of the above research question, we first introduce the gradient descent method with constant step size $h=1/L$. The gradient descent method has a $\mathcal{O}(L^2\|x_0-x^*\|^2/\epsilon)$ convergence with respect to $\|\nabla f(x_N)\|^2$. Next we introduce Nesterov’s accelerated gradient method, which has an $\mathcal{O}(L\|x_0-x^*\|\sqrt{1/\epsilon})$ complexity in terms of $\|\nabla f(x_N)\|^2$. The convergence performance of Nesterov’s accelerated gradient method is much better than that of the gradient descent method but still not optimal. We also …

Efficiency Of Homomorphic Encryption Schemes, Kyle Yates

All Theses

In 2009, Craig Gentry introduced the first fully homomorphic encryption scheme using bootstrapping. In the 13 years since, a large amount of research has gone into improving efficiency of homomorphic encryption schemes. This includes implementing leveled homomorphic encryption schemes for practical use, which are schemes that allow for some predetermined amount of additions and multiplications that can be performed on ciphertexts. These leveled schemes have been found to be very efficient in practice. In this thesis, we will discuss the efficiency of various homomorphic encryption schemes. In particular, we will see how to improve sizes of parameter choices in homomorphic …

Advancements In Gaussian Process Learning For Uncertainty Quantification, John C. Nicholson

All Dissertations

Gaussian processes are among the most useful tools in modeling continuous processes in machine learning and statistics. The research presented provides advancements in uncertainty quantification using Gaussian processes from two distinct perspectives. The first provides a more fundamental means of constructing Gaussian processes which take on arbitrary linear operator constraints in much more general framework than its predecessors, and the other from the perspective of calibration of state-aware parameters in computer models. If the value of a process is known at a finite collection of points, one may use Gaussian processes to construct a surface which interpolates these values to …

An Algorithm For Biobjective Mixed Integer Quadratic Programs, Pubudu Jayasekara Merenchige

All Dissertations

Multiobjective quadratic programs (MOQPs) are appealing since convex quadratic programs have elegant mathematical properties and model important applications. Adding mixed-integer variables extends their applicability while the resulting programs become global optimization problems. Thus, in this work, we develop a branch and bound (BB) algorithm for solving biobjective mixed-integer quadratic programs (BOMIQPs). An algorithm of this type does not exist in the literature.

The algorithm relies on five fundamental components of the BB scheme: calculating an initial set of efficient solutions with associated Pareto points, solving node problems, fathoming, branching, and set dominance. Considering the properties of the Pareto set of …