A Model of Growth with Intertemporal Knowledge Externalities, Augmented with Contemporaneous Knowledge Externalities

The present model is essentially Romer’s (1990) model of endogenous growth with intertemporal knowledge externalities, augmented with contemporaneous knowledge externalities to give a richer explanation of the growth process. Both types of knowledge spillovers seem essential to capturing the features of knowledge in a model of growth. Introducing synchronic complementarities and knowledge externalities across inventive firms immediately creates the possibility of multiple equilibria and threshold effects in the present model. Another advantage of this theoretical formulation is that it allows for an analysis of the effects on steady-state growth of a variety of technology policies relying on changing knowledge complementarities parameters.Endogenous growth, innovation, knowledge complementarities, knowledge externalities, general equilibrium

Experimental Monte Carlo Quantum Process Certification

Experimental implementations of quantum information processing have now reached a level of sophistication where quantum process tomography is impractical. The number of experimental settings as well as the computational cost of the data post-processing now translates to days of effort to characterize even experiments with as few as 8 qubits. Recently a more practical approach to determine the fidelity of an experimental quantum process has been proposed, where the experimental data is compared directly to an ideal process using Monte Carlo sampling. Here we present an experimental implementation of this scheme in a circuit quantum electrodynamics setup to determine the fidelity of two qubit gates, such as the cphase and the cnot gate, and three qubit gates, such as the Toffoli gate and two sequential cphase gates

Sound and complete axiomatizations of coalgebraic language equivalence

Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are sound and complete with respect to behavioral equivalence can be extended to a coarser coalgebraic language equivalence, which arises from a generalised powerset construction that determinises coalgebras. We show that soundness and completeness are established by proving that expressions modulo axioms of a calculus form the rational fixpoint of the given type functor. Our main result is that the rational fixpoint of the functor $FT$, where $T$ is a monad describing the branching of the systems (e.g. non-determinism, weights, probability etc.), has as a quotient the rational fixpoint of the "determinised" type functor $\bar F$, a lifting of $F$ to the category of $T$-algebras. We apply our framework to the concrete example of weighted automata, for which we present a new sound and complete calculus for weighted language equivalence. As a special case, we obtain non-deterministic automata, where we recover Rabinovich's sound and complete calculus for language equivalence.Comment: Corrected version of published journal articl

The gluon propagator from large asymmetric lattices

The Landau-gauge gluon propagator is computed for the SU(3) gauge theory on lattices up to a size of $32^3 \times 200$. We use the standard Wilson action at $\beta = 6.0$ and compare our results with previous computations using large asymmetric and symmetric lattices. In particular, we focus on the impact of the lattice geometry and momentum cuts to achieve compatibility between data from symmetric and asymmetric lattices for a large range of momenta.Comment: Poster presented at Lattice2007, Regensburg, July 30 - August 4, 200