Browsing Mathematics (Faculty of) by Title
Now showing items 20432062 of 2758

Quantum Snake Walk on Graphs
(University of Waterloo, 20100113)Quantum walks on graphs have been proven to be a useful tool in quantum algorithm construction for various problems. In this thesis we introduce a new type of continuoustime quantum walk on graphs called the quantum snake ... 
Quantum Speedups for Boolean Satisfiability and DerivativeFree Optimization
(University of Waterloo, 20140421)In this thesis, we have considered two important problems, Boolean satisfiability (SAT) and derivative free optimization in the context of large scale quantum computers. In the first part, we survey well known classical ... 
Quantum State Local Distinguishability via Convex Optimization
(University of Waterloo, 20150824)Entanglement and nonlocality play a fundamental role in quantum computing. To understand the interplay between these phenomena, researchers have considered the model of local operations and classical communication, or LOCC ... 
Quantum state purification
(University of Waterloo, 20160829)Quantum state purification is a process in which decoherence is partially reversed by using multiple copies of the input states that have been subject to the same decoherence effect. This thesis focuses on purifying the ... 
Quantum State Transfer in Graphs
(University of Waterloo, 20140813)Let X be a graph, A its adjacency matrix, and t a nonnegative real number. The matrix exp(i t A) determines the evolution in time of a certain quantum system defined on the graph. It represents a continuoustime quantum ... 
Quantum Strategies and Local Operations
(University of Waterloo, 20100106)This thesis is divided into two parts. In Part I we introduce a new formalism for quantum strategies, which specify the actions of one party in any multiparty interaction involving the exchange of multiple quantum messages ... 
Quantum Turing Machines and Quantum ProverVerifier Interactions
(University of Waterloo, 20200731)We present results on quantum Turing machines and on proververifier interactions. In our work on quantum Turing machines, we continue the line of research opened by Yao (1993), who proved that quantum Turing machines ... 
Quantum Walks and Pretty Good State transfer on Paths
(University of Waterloo, 20190823)Quantum computing is believed to provide many advantages over traditional computing, particularly considering the speed at which computations can be performed. One of the challenges that needs to be resolved in order to ... 
Quantum Walks on Oriented Graphs
(University of Waterloo, 20190111)This thesis extends results about periodicity and perfect state transfer to oriented graphs. We prove that if a vertex a is periodic, then elements of the eigenvalue support lie in Z √∆ for some squarefree negative ... 
Quantum Walks on Strongly Regular Graphs
(University of Waterloo, 20100830)This thesis studies the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of a matrix based on the amplitudes of walks in the ... 
QuasiHopf Symmetry in Loop Quantum Gravity with Cosmological constant and Spinfoams with timelike surfaces
(University of Waterloo, 20180920)In this thesis we study two separate problems concerning improvements to the Loop quantum gravity and spinfoam approach to quantum gravity. In the first part we address the question about the origin of quantum group ... 
QuasiStatic Approximation for Numerical Computation of Plasmon Eigenfrequencies in Nanoparticles
(University of Waterloo, 20140828)General physical properties of electrostatic (plasmon) resonances in nanoparticles are presented. Direct calculation of the resonance values of the permittivity of nanoparticles, and subsequently their resonance frequencies, ... 
Quaternion Algebras and Quadratic Forms
(University of Waterloo, 20080512)The main goal of this Masters' thesis is to explore isomorphism types of quaternion algebras using the theory of quadratic forms, number theory and algebra. I would also present ways to characterize quaternion algebras, ... 
Query Answering over Functional Dependency Repairs
(University of Waterloo, 20130923)Inconsistency often arises in realworld databases and, as a result, critical queries over dirty data may lead users to make illinformed decisions. Functional dependencies (FDs) can be used to specify intended semantics ... 
Query Evaluation in the Presence of Finegrained Access Control
(University of Waterloo, 20080520)Access controls are mechanisms to enhance security by protecting data from unauthorized accesses. In contrast to traditional access controls that grant access rights at the granularity of the whole tables or views, ... 
Query Interactions in Database Systems
(University of Waterloo, 20130108)The typical workload in a database system consists of a mix of multiple queries of different types, running concurrently and interacting with each other. The same query may have different performance in different mixes. ... 
Query Optimization for OnDemand Information Extraction Tasks over Text Databases
(University of Waterloo, 20120327)Many modern applications involve analyzing large amounts of data that comes from unstructured text documents. In its original format, data contains information that, if extracted, can give more insight and help in the ... 
Query Optimization in Dynamic Environments
(University of Waterloo, 20120508)Most modern applications deal with very large amounts of data. Having to deal with such huge amounts of data is in itself a challenge. This challenge is complicated even more by the fact that, in many cases, this data is ... 
Query Similarity for Community Question Answering System Based on Recurrent Encoder Decoder
(University of Waterloo, 20170118)The measurement of sentence similarity is a fundamental task in natural language processing. Traditionally, it is measured either from wordlevel or sentencelevel (such as paraphrasing), which requires many lexical and ... 
A QueryBased Approach for the Analysis of AspectOriented Systems
(University of Waterloo, 20070129)In recent years, many aspectoriented languages and methods have been proposed in the literature to support separation of concerns that can be spread throughout a software system and its components and to facilitate ...