Browsing Mathematics (Faculty of) by Title
Now showing items 1916-1935 of 2985
-
On the Hardness of the Quantum Separability Problem and the Global Power of Locally Invariant Unitary Operations
(University of Waterloo, 2008-09-18)Given a bipartite density matrix ρ of a quantum state, the Quantum Separability problem (QUSEP) asks — is ρ entangled, or separable? In this thesis, we first strengthen Gurvits’ 2003 NP-hardness result for QUSEP by showing ... -
On the Importance of Infrastructure-Awareness in Large-Scale Distributed Storage Systems
(University of Waterloo, 2021-01-08)Big data applications put significant latency and throughput demands on distributed storage systems. Meeting these demands requires storage systems to use a significant amount of infrastructure resources, such as network ... -
On the Integrality Gap of Directed Steiner Tree Problem
(University of Waterloo, 2014-05-27)In the Directed Steiner Tree problem, we are given a directed graph G = (V,E) with edge costs, a root vertex r ∈ V, and a terminal set X ⊆ V . The goal is to find the cheapest subset of edges that contains an r-t path for ... -
On the Integration of Unmanned Aerial Vehicles into Public Airspace
(University of Waterloo, 2020-05-28)Unmanned Aerial Vehicles will soon be integrated in the airspace and start serving us in various capacities such as package delivery, surveillance, search and rescue missions, inspection of infrastructure, precision ... -
On the local positivity of line bundles on algebraic surfaces
(University of Waterloo, 2015-01-09)In this thesis, we define a measure for how `positive' an effective line bundle is at a point on a variety, and prove that it is linear on the numerically effective subcone on a smooth, complete, toric surface. -
On the Maintenance Costs of Formal Software Requirements Specification Written in the Software Cost Reduction and in the Real-time Unified Modeling Language Notations
(University of Waterloo, 2005)A formal specification language used during the requirements phase can reduce errors and rework, but formal specifications are regarded as expensive to maintain, discouraging their adoption. This work presents a ... -
On the Modelling of Hyperspectral Light and Skin Interactions and the Simulation of Skin Appearance Changes Due to Tanning
(University of Waterloo, 2016-01-07)The distinctive visual attributes of human skin are largely determined by its interactions with light across different spectral domains. Accordingly, the modelling of these interactions has been the object of extensive ... -
On the Modular Theory of von Neumann Algebras
(University of Waterloo, 2010-09-17)The purpose of this thesis is to provide an exposition of the \textit{modular theory} of von Neumann algebras. The motivation of the theory is to classify and describe von Neumann algebras which do not admit a trace, and ... -
On the Near-Optimality of List Scheduling Heuristics for Local and Global Instruction Scheduling
(University of Waterloo, 2006)Modern architectures allow multiple instructions to be issued at once and have other complex features. To account for this, compilers perform instruction scheduling after generating the output code. The instruction ... -
On the Number of Trials Needed to Obtain k Consecutive Successes
(Elsevier, 2021-04-30)A sequence of independent Bernoulli trials, each of which is a success with probability p, is conducted. For k ∈ Z+, let Xk be the number of trials required to obtain k consecutive successes. Using techniques from elementary ... -
On the Optical Monitoring of Anemia Severity Levels
(University of Waterloo, 2015-08-13)Anemia is a prevalent medical condition that seriously a ects millions of people all over the world. In many regions, not only its initial detection, but also its monitoring are hindered by the limited access to laboratory ... -
On the optimal CFL number of SSP methods for hyperbolic problems
(Elsevier, 2019-01-01)We show that the theory for strong stability preserving (SSP) time stepping methods employed with the method of lines-type discretizations of hyperbolic conservation laws may result in overly stringent time step restrictions. ... -
On the orientation of hypergraphs
(University of Waterloo, 2011-01-13)This is an expository thesis. In this thesis we study out-orientations of hypergraphs, where every hyperarc has one tail vertex. We study hypergraphs that admit out-orientations covering supermodular-type connectivity ... -
On the Polyhedral Lift-and-Project Rank Conjecture for the Fractional Stable Set Polytope
(University of Waterloo, 2008-01-16)In this thesis, we study the behaviour of Lovasz and Schrijver's lift-and-project operators N and N_0 while being applied recursively to the fractional stable set polytope of a graph. We focus on two related conjectures ... -
On the Power and Limitations of Shallow Quantum Circuits
(University of Waterloo, 2022-09-01)Constant-depth quantum circuits, or shallow quantum circuits, have been shown to exhibit behavior that is uniquely quantum. This thesis explores the power and limitations of constant-depth quantum circuits, in particular ... -
On the power of interleaved low-depth quantum and classical circuits
(University of Waterloo, 2022-09-26)Low-depth quantum circuits are a well-suited model for near-term quantum devices, given short coherence times and noisy gate operations, making it pivotal to examine their computational power. It was already known as early ... -
On the Properties and Structure of Bordered Words and Generalizations
(University of Waterloo, 2022-10-12)Combinatorics on words is a field of mathematics and theoretical computer science that is concerned with sequences of symbols called words, or strings. One class of words that are ubiquitous in combinatorics on words, ... -
On the Relation between Quantum Discord and Purified Entanglement
(University of Waterloo, 2013-08-30)In this thesis, I study bipartite discord between A and B in terms of the structure formed by the bipartite and tripartite entanglement found in the purified system ABC. I find that discord manifests itself only when there ... -
On the Relationship between Conjugate Gradient and Optimal First-Order Methods for Convex Optimization
(University of Waterloo, 2014-01-23)In a series of work initiated by Nemirovsky and Yudin, and later extended by Nesterov, first-order algorithms for unconstrained minimization with optimal theoretical complexity bound have been proposed. On the other hand, ... -
On the relationship between satisfiability and partially observable Markov decision processes
(University of Waterloo, 2018-09-26)Stochastic satisfiability (SSAT), Quantified Boolean Satisfiability (QBF) and decision-theoretic planning in finite horizon partially observable Markov decision processes (POMDPs) are all PSPACE-Complete problems. Since ...