Finding Irrefutable Certificates for S_2^p via Arthur and Merlin

We show that $S_2^psubseteq P^{prAM}$, where $S_2^p$ is the symmetric alternation class and $prAM$ refers to the promise version of the Arthur-Merlin class $AM$. This is derived as a consequence of our main result that presents an $FP^{prAM}$ algorithm for finding a small set of ``collectively irrefutable certificates\u27\u27 of a given $S_2$-type matrix. The main result also yields some new consequences of the hypothesis that $NP$ has polynomial size circuits. It is known that the above hypothesis implies a collapse of the polynomial time hierarchy ($PH$) to $S_2^psubseteq ZPP^{NP}$ (Cai 2007, K"obler and Watanabe 1998). Under the same hypothesis, we show that $PH$ collapses to $P^{prMA}$. We also describe an $FP^{prMA}$ algorithm for learning polynomial size circuits for $SAT$, assuming such circuits exist. For the same problem, the previously best known result was a $ZPP^{NP}$ algorithm (Bshouty et al. 1996)

Pseudorandomness for Approximate Counting and Sampling

We study computational procedures that use both randomness and nondeterminism. The goal of this paper is to derandomize such procedures under the weakest possible assumptions. Our main technical contribution allows one to “boost” a given hardness assumption: We show that if there is a problem in EXP that cannot be computed by poly-size nondeterministic circuits then there is one which cannot be computed by poly-size circuits that make non-adaptive NP oracle queries. This in particular shows that the various assumptions used over the last few years by several authors to derandomize Arthur-Merlin games (i.e., show AM = NP) are in fact all equivalent. We also define two new primitives that we regard as the natural pseudorandom objects associated with approximate counting and sampling of NP-witnesses. We use the “boosting” theorem and hashing techniques to construct these primitives using an assumption that is no stronger than that used to derandomize AM. We observe that Cai's proof that S_2^P ⊆ PP⊆(NP) and the learning algorithm of Bshouty et al. can be seen as reductions to sampling that are not probabilistic. As a consequence they can be derandomized under an assumption which is weaker than the assumption that was previously known to suffice

Parallel approximation of non-interactive zero-sum quantum games

This paper studies a simple class of zero-sum games played by two competing quantum players: each player sends a mixed quantum state to a referee, who performs a joint measurement on the two states to determine the players' payoffs. We prove that an equilibrium point of any such game can be approximated by means of an efficient parallel algorithm, which implies that one-turn quantum refereed games, wherein the referee is specified by a quantum circuit, can be simulated in polynomial space.Comment: 18 page

Exploring charge transport properties and functionality of molecule-nanoparticle ensembles

For more than 65 years, scientists have been fascinated by the idea to miniaturize electrical circuits toward the smallest length scales. One particular way is inspired by nature itself, specifically to assemble electrical components and switches from atoms and molecules. The molecules typically used have dimensions of the scale of a few nanometers (1 nanometer = 0,000000001 meter). The scientific research area that represents the study of electrical currents through molecules is called "molecular charge transport" or "molecular electronics". In this thesis, I have performed fundamental research on charge transport through various molecules. Specifically, I have investigated a special type of molecule that has the ability to change its spin state. To test these functional molecules, I have used a more robust type of molecular device that enables me to bridge the size gap mentioned above. This thesis has led to two important new insights. First, the properties of a switchable molecular device can be strongly enhanced artificially by making use of a charge transport mechanism called multiple inelastic cotunneling. Second, we show that the spin transition phenomenon can take place in a molecular-nanoparticle ensemble.Quantum Matter and Optic