## Search

Now showing items 1-10 of 16

#### The Gowers norm in the testing of Boolean functions

(Massachusetts Institute of Technology, 2009)

A property tester is a fast, randomized algorithm that reads only a few entries of the input, and based on the values of these entries, it distinguishes whether the input has a certain property or is "different" from any ...

#### Approximate inference : decomposition methods with applications to networks

(Massachusetts Institute of Technology, 2009)

Markov random field (MRF) model provides an elegant probabilistic framework to formulate inter-dependency between a large number of random variables. In this thesis, we present a new approximation algorithm for computing ...

#### Conformal and asymptotic properties of embedded genus-g minimal surfaces with one end

(Massachusetts Institute of Technology, 2009)

Using the tools developed by Colding and Minicozzi in their study of the structure of embedded minimal surfaces in R3 [12, 19-22], we investigate the conformal and asymptotic properties of complete, embedded minimal surfaces ...

#### Pattern-avoidance in binary fillings of grid shapes

(Massachusetts Institute of Technology, 2009)

A grid shape is a set of boxes chosen from a square grid; any Young diagram is an example. We consider a notion of pattern-avoidance for 0-1 fillings of grid shapes, which generalizes permutation pattern-avoidance. A filling ...

#### The overconvergent de Rham-Witt complex

(Massachusetts Institute of Technology, 2009)

We define the overconvergent de Rham-Witt complex ... for a smooth affine variety over a perfect field in characteristic p. We show that, after tensoring with Q, its cohomology agrees with Monsky-Washnitzer cohomology. If ...

#### Quantum proof systems and entanglement theory

(Massachusetts Institute of Technology, 2009)

Quantum complexity theory is important from the point of view of not only theory of computation but also quantum information theory. In particular, quantum multi-prover interactive proof systems are defined based on ...

#### Nonarchimedean differential modules and ramification theory

(Massachusetts Institute of Technology, 2009)

In this thesis, I first systematically develop the theory of nonarchimedean differential modules, deducing fundamental theorems about the variation of generic radii of convergence for differential modules over polyannuli. ...

#### Intercalation dynamics in lithium-ion batteries

(Massachusetts Institute of Technology, 2009)

A new continuum model has been proposed by Singh, Ceder, and Bazant for the ion intercalation dynamics in a single crystal of rechargeable-battery electrode materials. It is based on the Cahn-Hilliard equation coupled to ...

#### Testing and learning Boolean functions

(Massachusetts Institute of Technology, 2009)

Given a function f on n inputs, we consider the problem of testing whether f belongs to a concept class C, or is far from every member of C. An algorithm that achieves this goal for a particular C is called a property ...

#### The Novikov theory for symplectic cohomology and exact Lagrangian embeddings

(Massachusetts Institute of Technology, 2009)

Given an exact symplectic manifold, can we find topological constraints to the existence of exact Lagrangian submanifolds? I developed an approach using symplectic cohomology which provides such conditions for exact ...