Vienna University of Technology

About: Vienna University of Technology is a education organization based out in Vienna, Austria. It is known for research contribution in the topics: Laser & Context (language use). The organization has 16723 authors who have published 49341 publications receiving 1302168 citations.

Complexity and expressive power of logic programming

Abstract: This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of negation, disjunctive logic programming, logic programming with equality, and constraint logic programming. The complexity of the unification problem is also addressed.

Probing quantum and thermal noise in an interacting many-body system

Abstract: The probabilistic character of the measurement process is one of the most puzzling and fascinating aspects of quantum mechanics. In many-body systems quantum-mechanical noise reveals non-local correlations of the underlying many-body states. Here, we provide a complete experimental analysis of the shot-to-shot variations of interference-fringe contrast for pairs of independently created one-dimensional Bose condensates. Analysing different system sizes, we observe the crossover from thermal to quantum noise, reflected in a characteristic change in the distribution functions from poissonian to Gumbel type, in excellent agreement with theoretical predictions on the basis of the Luttinger-liquid formalism. We present the first experimental observation of quasi-long-range order in one-dimensional atomic condensates, which is a hallmark of quantum fluctuations in one-dimensional systems. Furthermore, our experiments constitute the first analysis of the full distribution of quantum noise in an interacting many-body system. The analysis of the interference fringes generated by initially independent one-dimensional Bose condensates reveals contributions of both quantum noise and thermal noise, advancing our fundamental understanding of quantum states in interacting many-body systems.