Sequential pivotal mechanisms for public project problems

It is well-known that for several natural decision problems no budget balanced Groves mechanisms exist. This has motivated recent research on designing variants of feasible Groves mechanisms (termed as `redistribution of VCG (Vickrey-Clarke-Groves) payments') that generate reduced deficit. With this in mind, we study sequential mechanisms and consider optimal strategies that could reduce the deficit resulting under the simultaneous mechanism. We show that such strategies exist for the sequential pivotal mechanism of the well-known public project problem. We also exhibit an optimal strategy with the property that a maximal social welfare is generated when each player follows it. Finally, we show that these strategies can be achieved by an implementation in Nash equilibrium.Comment: 19 pages. The version without the appendix will appear in the Proc. 2nd International Symposium on Algorithmic Game Theory, 200

Distributed Resource Allocation for Stream Data Processing

Abstract. Data streaming applications are becoming more and more common due to the rapid development in the areas such as sensor net-works, multimedia streaming, and on-line data mining, etc. These ap-plications are often running in a decentralized, distributed environment. The requirements for processing large volumes of streaming data at real time have posed many great design challenges. It is critical to optimize the ongoing resource consumption of multiple, distributed, cooperating, processing units. In this paper, we consider a generic model for the gen-eral stream data processing systems. We address the resource alloca-tion problem for a collection of processing units so as to maximize the weighted sum of the throughput of different streams. Each processing unit may require multiple input data streams simultaneously and pro-duce one or many valuable output streams. Data streams flow through such a system after processing at multiple processing units. Based on this framework, we develop distributed algorithms for finding the best resource allocation schemes in such data stream processing networks. Performance analysis on the optimality and complexity of these algo-rithms are also provided

Welfare and Revenue Guarantees for Competitive Bundling Equilibrium

We study equilibria of markets with $m$ heterogeneous indivisible goods and $n$ consumers with combinatorial preferences. It is well known that a competitive equilibrium is not guaranteed to exist when valuations are not gross substitutes. Given the widespread use of bundling in real-life markets, we study its role as a stabilizing and coordinating device by considering the notion of \emph{competitive bundling equilibrium}: a competitive equilibrium over the market induced by partitioning the goods for sale into fixed bundles. Compared to other equilibrium concepts involving bundles, this notion has the advantage of simulatneous succinctness ($O(m)$ prices) and market clearance. Our first set of results concern welfare guarantees. We show that in markets where consumers care only about the number of goods they receive (known as multi-unit or homogeneous markets), even in the presence of complementarities, there always exists a competitive bundling equilibrium that guarantees a logarithmic fraction of the optimal welfare, and this guarantee is tight. We also establish non-trivial welfare guarantees for general markets, two-consumer markets, and markets where the consumer valuations are additive up to a fixed budget (budget-additive). Our second set of results concern revenue guarantees. Motivated by the fact that the revenue extracted in a standard competitive equilibrium may be zero (even with simple unit-demand consumers), we show that for natural subclasses of gross substitutes valuations, there always exists a competitive bundling equilibrium that extracts a logarithmic fraction of the optimal welfare, and this guarantee is tight. The notion of competitive bundling equilibrium can thus be useful even in markets which possess a standard competitive equilibrium

Phase control and measurement in digital microscopy

The ongoing merger of the digital and optical components of the modern microscope is creating opportunities for new measurement techniques, along with new challenges for optical modelling. This thesis investigates several such opportunities and challenges which are particularly relevant to biomedical imaging. Fourier optics is used throughout the thesis as the underlying conceptual model, with a particular emphasis on three--dimensional Fourier optics. A new challenge for optical modelling provided by digital microscopy is the relaxation of traditional symmetry constraints on optical design. An extension of optical transfer function theory to deal with arbitrary lens pupil functions is presented in this thesis. This is used to chart the 3D vectorial structure of the spatial frequency spectrum of the intensity in the focal region of a high aperture lens when illuminated by linearly polarised beam. Wavefront coding has been used successfully in paraxial imaging systems to extend the depth of field. This is achieved by controlling the pupil phase with a cubic phase mask, and thereby balancing optical behaviour with digital processing. In this thesis I present a high aperture vectorial model for focusing with a cubic phase mask, and compare it with results calculated using the paraxial approximation. The effect of a refractive index change is also explored. High aperture measurements of the point spread function are reported, along with experimental confirmation of high aperture extended depth of field imaging of a biological specimen. Differential interference contrast is a popular method for imaging phase changes in otherwise transparent biological specimens. In this thesis I report on a new isotropic algorithm for retrieving the phase from differential interference contrast images of the phase gradient, using phase shifting, two directions of shear, and non--iterative Fourier phase integration incorporating a modified spiral phase transform. This method does not assume that the specimen has a constant amplitude. A simulation is presented which demonstrates good agreement between the retrieved phase and the phase of the simulated object, with excellent immunity to imaging noise