Resource Allocation Among Agents with MDP-Induced Preferences

Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute actions in stochastic environments, modeled as Markov decision processes (MDPs), such that the value of a resource bundle is defined as the expected value of the optimal MDP policy realizable given these resources. We present an algorithm that simultaneously solves the resource-allocation and the policy-optimization problems. This allows us to avoid explicitly representing utilities over exponentially many resource bundles, leading to drastic (often exponential) reductions in computational complexity. We then use this algorithm in the context of self-interested agents to design a combinatorial auction for allocating resources. We empirically demonstrate the effectiveness of our approach by showing that it can, in minutes, optimally solve problems for which a straightforward combinatorial resource-allocation technique would require the agents to enumerate up to 2^100 resource bundles and the auctioneer to solve an NP-complete problem with an input of that size

Defect and Hodge numbers of hypersurfaces

We define defect for hypersurfaces with A-D-E singularities in complex projective normal Cohen-Macaulay fourfolds having some vanishing properties of Bott-type and prove formulae for Hodge numbers of big resolutions of such hypersurfaces. We compute Hodge numbers of Calabi-Yau manifolds obtained as small resolutions of cuspidal triple sextics and double octics with higher A_j singularities.Comment: 25 page

Chen-Ruan cohomology of ADE singularities

We study Ruan's \textit{cohomological crepant resolution conjecture} for orbifolds with transversal ADE singularities. In the $A_n$-case we compute both the Chen-Ruan cohomology ring $H^*_{\rm CR}([Y])$ and the quantum corrected cohomology ring $H^*(Z)(q_1,...,q_n)$. The former is achieved in general, the later up to some additional, technical assumptions. We construct an explicit isomorphism between $H^*_{\rm CR}([Y])$ and $H^*(Z)(-1)$ in the $A_1$-case, verifying Ruan's conjecture. In the $A_n$-case, the family $H^*(Z)(q_1,...,q_n)$ is not defined for $q_1=...=q_n=-1$. This implies that the conjecture should be slightly modified. We propose a new conjecture in the $A_n$-case which we prove in the $A_2$-case by constructing an explicit isomorphism.Comment: This is a short version of my Ph.D. Thesis math.AG/0510528. Version 2: chapters 2,3,4 and 5 has been rewritten using the language of groupoids; a link with the classical McKay correpondence is given. International Journal of Mathematics (to appear

Long-Term Stability of an Area-Reversible Atom-Interferometer Sagnac Gyroscope

We report on a study of the long-term stability and absolute accuracy of an atom interferometer gyroscope. This study included the implementation of an electro-optical technique to reverse the vector area of the interferometer for reduced systematics and a careful study of systematic phase shifts. Our data strongly suggests that drifts less than 96 $\mu$deg/hr are possible after empirically removing shifts due to measured changes in temperature, laser intensity, and several other experimental parameters.Comment: 4 pages, 4 figures, submitted to PR

Search reduction in hierarchical distributed problem solving

Knoblock and Korf have determined that abstraction can reduce search at a single agent from exponential to linear complexity (Knoblock 1991; Korf 1987). We extend their results by showing how concurrent problem solving among multiple agents using abstraction can further reduce search to logarithmic complexity. We empirically validate our formal analysis by showing that it correctly predicts performance for the Towers of Hanoi problem (which meets all of the assumptions of the analysis). Furthermore, a powerful form of abstraction for large multiagent systems is to group agents into teams, and teams of agents into larger teams, to form an organizational pyramid. We apply our analysis to such an organization of agents and demonstrate the results in a delivery task domain. Our predictions about abstraction's benefits can also be met in this more realistic domain, even though assumptions made in our analysis are violated. Our analytical results thus hold the promise for explaining in general terms many experimental observations made in specific distributed AI systems, and we demonstrate this ability with examples from prior research.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/42828/1/10726_2005_Article_BF01384251.pd

Spin squeezing, entanglement and quantum metrology with Bose-Einstein condensates

Squeezed states, a special kind of entangled states, are known as a useful resource for quantum metrology. In interferometric sensors they allow to overcome the "classical" projection noise limit stemming from the independent nature of the individual photons or atoms within the interferometer. Motivated by the potential impact on metrology as wells as by fundamental questions in the context of entanglement, a lot of theoretical and experimental effort has been made to study squeezed states. The first squeezed states useful for quantum enhanced metrology have been proposed and generated in quantum optics, where the squeezed variables are the coherences of the light field. In this tutorial we focus on spin squeezing in atomic systems. We give an introduction to its concepts and discuss its generation in Bose-Einstein condensates. We discuss in detail the experimental requirements necessary for the generation and direct detection of coherent spin squeezing. Two exemplary experiments demonstrating adiabatically prepared spin squeezing based on motional degrees of freedom and diabatically realized spin squeezing based on internal hyperfine degrees of freedom are discussed.Comment: Phd tutorial, 23 pages, 17 figure

Atom Interferometers

Interference with atomic and molecular matter waves is a rich branch of atomic physics and quantum optics. It started with atom diffraction from crystal surfaces and the separated oscillatory fields technique used in atomic clocks. Atom interferometry is now reaching maturity as a powerful art with many applications in modern science. In this review we first describe the basic tools for coherent atom optics including diffraction by nanostructures and laser light, three-grating interferometers, and double wells on AtomChips. Then we review scientific advances in a broad range of fields that have resulted from the application of atom interferometers. These are grouped in three categories: (1) fundamental quantum science, (2) precision metrology and (3) atomic and molecular physics. Although some experiments with Bose Einstein condensates are included, the focus of the review is on linear matter wave optics, i.e. phenomena where each single atom interferes with itself.Comment: submitted to Reviews of Modern Physic

Cytosine-to-Uracil Deamination by SssI DNA Methyltransferase

The prokaryotic DNA(cytosine-5)methyltransferase M.SssI shares the specificity of eukaryotic DNA methyltransferases (CG) and is an important model and experimental tool in the study of eukaryotic DNA methylation. Previously, M.SssI was shown to be able to catalyze deamination of the target cytosine to uracil if the methyl donor S-adenosyl-methionine (SAM) was missing from the reaction. To test whether this side-activity of the enzyme can be used to distinguish between unmethylated and C5-methylated cytosines in CG dinucleotides, we re-investigated, using a sensitive genetic reversion assay, the cytosine deaminase activity of M.SssI. Confirming previous results we showed that M.SssI can deaminate cytosine to uracil in a slow reaction in the absence of SAM and that the rate of this reaction can be increased by the SAM analogue 5’-amino-5’-deoxyadenosine. We could not detect M.SssI-catalyzed deamination of C5-methylcytosine (m5C). We found conditions where the rate of M.SssI mediated C-to-U deamination was at least 100-fold higher than the rate of m5C-to-T conversion. Although this difference in reactivities suggests that the enzyme could be used to identify C5-methylated cytosines in the epigenetically important CG dinucleotides, the rate of M.SssI mediated cytosine deamination is too low to become an enzymatic alternative to the bisulfite reaction. Amino acid replacements in the presumed SAM binding pocket of M.SssI (F17S and G19D) resulted in greatly reduced methyltransferase activity. The G19D variant showed cytosine deaminase activity in E. coli, at physiological SAM concentrations. Interestingly, the C-to-U deaminase activity was also detectable in an E. coli ung+ host proficient in uracil excision repair