Related papers: Mini-Proceedings ECT*: Speakable in quantum mechan…
These notes overlap with lectures given at the TASI summer schools in 2014 and 2011, as well as at the European School of High Energy Physics in 2013. This is primarily an attempt at transcribing my hand-written notes, with emphasis on…
A proposal for an experiment to look at some possibly novel aspects of quantum interference is presented, along with some Engineering applications that might result.
The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized for expressing separately dense-time real-time properties and…
This set of four lectures was originally given at the VI Training Course in the Physics of Correlated Electron systems and High-Tc Superconductors, at Vietri Sur Mare, Italy (Oct 2001). The lectures are at an introductory level with…
These lecture notes cover undergraduate textbook topics (e.g. as in Sakurai), and also additional advanced topics at the same level of presentation. In particular: EPR and Bell; Basic postulates; The probability matrix; Measurement theory;…
Invited talk at European Workshop on the QCD Structure of the Nucleon (QCD-N\'02), Ferrara, Italy, 3--6 Apr 2002
We present a conceptually clear introduction to quantum theory, deriving the theory from scratch from the point of view of quantum information. Different subsets of these lectures were taught to a wide variety of audiences, including…
We present the architectural design and prototype implementation of QUT (Quantum Unit Testing), a framework for unit testing of quantum subroutines. The framework is developed with a focus on usability and simplicity, making the complex…
Submitted by the authors for the June 27-29 Princeton Conference. Questions should be directed to: [email protected]
The measurement apparatus proposed in the titled paper, "Energy-Time Uncertainty Relations in Quantum Measurements" [Found. Phys. 46, 1522-1550 (2016)] was examined. A simple proof was presented for the non-existence of the apparatus.
This is a brief summary of the 11th Applied Antineutrino Physics 2015 workshop held at the Virginia Tech Arlington Research Facility from December 7-8, 2015.
Atomistic simulations based on the first-principles of quantum mechanics are reaching unprecedented length scales. This progress is due to the growth in computational power allied with the development of new methodologies that allow the…
I present an elementary essay on some issues related to nonrelativistic quantum mechanics, which is written in the spirit of extreme simplicity, making it an easy-to-read paper. Moreover, one can find a useful collection of ideas and…
These are lecture notes for a mini-course given at the St. Petersburg School in Probability and Statistical Physics in June 2012. Topics include integrable models of random growth, determinantal point processes, Schur processes and Markov…
This is the draft version of a review paper which is going to appear in "Advances in Imaging and Electron Physics"
As the title indicates
An introductory talk at a Meeting on results and prospects of collaboration of Russian research organizations with European organization for nuclear research (CERN), which took place at the Ministry of science and technical policy of Russia…
This volume contains the proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), which was held June 7-11, 2021 at the University of Gdansk and online. QPL is an annual conference that brings together…
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the…
This is a story about making quantum computers speak, and doing so in a quantum-native, compositional and meaning-aware manner. Recently we did question-answering with an actual quantum computer. We explain what we did, stress that this was…