The Measurement Calculus

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model which is based on unitary operations. Among measurement-based quantum computation methods, the recently introduced one-way quantum computer stands out as fundamental. We develop a rigorous mathematical model underlying the one-way quantum computer and present a concrete syntax and operational semantics for programs, which we call patterns, and an algebra of these patterns derived from a denotational semantics. More importantly, we present a calculus for reasoning locally and compositionally about these patterns. We present a rewrite theory and prove a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form. Standardization has far-reaching consequences: a new physical architecture based on performing all the entanglement in the beginning, parallelization by exposing the dependency structure of measurements and expressiveness theorems. Furthermore we formalize several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. This allows us to transfer all the theory we develop for the one-way model to these models. This shows that the framework we have developed has a general impact on measurement-based computation and is not just particular to the one-way quantum computer.Comment: 46 pages, 2 figures, Replacement of quant-ph/0412135v1, the new version also include formalization of several other measurement-based models: Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. To appear in Journal of AC

Measurement Based Quantum Computation on Fractal Lattices

In this article we extend on work which establishes an analology between one-way quantum computation and thermodynamics to see how the former can be performed on fractal lattices. We find fractals lattices of arbitrary dimension greater than one which do all act as good resources for one-way quantum computation, and sets of fractal lattices with dimension greater than one all of which do not. The difference is put down to other topological factors such as ramification and connectivity. This work adds confidence to the analogy and highlights new features to what we require for universal resources for one-way quantum computation

Verifiable blind quantum computing with trapped ions and single photons

We report the first hybrid matter-photon implementation of verifiable blind quantum computing. We use a trapped-ion quantum server and a client-side photonic detection system networked via a fiber-optic quantum link. The availability of memory qubits and deterministic entangling gates enables interactive protocols without postselection - key requirements for any scalable blind server, which previous realizations could not provide. We quantify the privacy at ≲0.03 leaked classical bits per qubit. This experiment demonstrates a path to fully verified quantum computing in the cloud

Field assessment of the host range of aculus mosoniensis (Acari: Eriophyidae), a biological control agent of the tree of heaven (ailanthus altissima)

Tree of heaven (Ailanthus altissima) is a fast-growing deciduous tree native to China, considered a serious invasive species worldwide, with several socio-economic and ecological impacts attributed to it. Chemical and mechanical methods have limited efficacy in its management, and biological controls may offer a suitable and sustainable option. Aculus mosoniensis (Ripka) is an eriophyid mite that has been recorded to attack tree of heaven in 13 European countries. This study aims to explore the host range of this mite by exposing 13 plant species, selected either for their phylogenetic and ecological similarity to the target weed or their economic importance. Shortly after inoculation with the mite, we recorded a quick decrease in mite number on all nontarget species and no sign of mite reproduction. Whereas, after just one month, the population of mites on tree of heaven numbered in the thousands, irrespective of the starting population, and included both adults and juveniles. Significantly, we observed evidence of damage due to the mite only on target plants. Due to the specificity, strong impact on the target, and the ability to increase its population to high levels in a relatively short amount of time, we find A. mosoniensis to be a very promising candidate for the biological control of tree of heaven

Optical generation of matter qubit graph states

We present a scheme for rapidly entangling matter qubits in order to create graph states for one-way quantum computing. The qubits can be simple 3-level systems in separate cavities. Coupling involves only local fields and a static (unswitched) linear optics network. Fusion of graph state sections occurs with, in principle, zero probability of damaging the nascent graph state. We avoid the finite thresholds of other schemes by operating on two entangled pairs, so that each generates exactly one photon. We do not require the relatively slow single qubit local flips to be applied during the growth phase: growth of the graph state can then become a purely optical process. The scheme naturally generates graph states with vertices of high degree and so is easily able to construct minimal graph states, with consequent resource savings. The most efficient approach will be to create new graph state edges even as qubits elsewhere are measured, in a `just in time' approach. An error analysis indicates that the scheme is relatively robust against imperfections in the apparatus.Comment: 10 pages in 2 column format, includes 4 figures. Problems with figures resolve

User requirements for national research and education networks for research in West and Central Africa

National research and education networks (NRENs) play a critical role in the development of communication network infrastructure and networked services for researchers and educators. They help close ‘digital divides’ between and within countries and are an essential factor for national and international development. In collaboration with the West and Central African Research and Education Network (WACREN), the TANDEM project has developed a roadmap for the development of NRENs in the region. This was based on the results of a survey that was conducted to investigate user requirements of networked services. The analysis of the 561 responses to a three-part questionnaire divided into 11 education, 22 research and 2 technical management questions identified key educational and research service needs. This article reports on the results of the survey with respect to research services. Highlights include respondents wanting regular access to online conference and academic articles (89%), a range of research services including online library resources, video conferencing, collaboration tools, online data access and storage, online library resources and inter-university login (>87%), access to remote computing facilities (80%) and high performance computing facilities (77%). A desire to share data with others online (74%) was also identified. Respondents also indicated that they would like to access research services through a range of device types–Laptops (96%), Fixed PC (86%) and Mobile Devices (81%). Poor network connectivity was consistently identified as being a major barrier to research in the region.H2020 TransAfrican Network Development (TANDEM) and the H2020 Energising Scientific Endeavou

Verification of Quantum Computation: An Overview of Existing Approaches

International audienc

Accrediting outputs of noisy intermediate-scale quantum computing devices

We present an accreditation protocol for the outputs of noisy intermediate-scale quantum devices. By testing entire circuits rather than individual gates, our accreditation protocol can provide an upper-bound on the variation distance between noisy and noiseless probability distribution of the outputs of the target circuit of interest. Our accreditation protocol requires implementation of quantum circuits no larger than the target circuit, therefore it is practical in the near term and scalable in the long term. Inspired by trap-based protocols for the verification of quantum computations, our accreditation protocol assumes that noise in single-qubit gates is bounded (but potentially gate-dependent) in diamond norm. We allow for arbitrary spatial and temporal correlations in the noise affecting state preparation, measurements and two-qubit gates. We describe how to implement our protocol on real-world devices, and we also present a novel cryptographic protocol (which we call `mesothetic' protocol) inspired by our accreditation protocol.Comment: Accepted versio

Аудіовізуальні особливості пейзажистики ранніх балад Т. Шевченка

(uk) У статті осмислюються аудіовізуальні особливості пейзажотворення в ранній творчості Тараса Шевченка. На матеріалі балад «Причинна», «Тополя», «Утоплена» розглядається сугестивна майстерність поета, здатність до живописання словом, створення ілюзії присутності реципієнта в художньому світі твору.(en) Audiovisual features of the landscape descriptionin the early Shevchenko’s ballads. The paper interprets audiovisual features of the landscape description in the early works of Taras Shevchenko. Suggestive poetic skill, capability of word skill, creating the illusion of recipient’s presence in the worldof the art works are considered on the material of the ballads "The Girl under a Spell", "Poplar", "A Drowned Girl"