The curious case of ASP.NET Core integration test deadlock

One of the common approaches to testing ASP.NET Core applications is to use the integration testing available via the Microsoft.AspNetCore.TestHost package. In particular, the arguably most common scenario is integration testing of the MVC applications via the Microsoft.AspNetCore.Mvc.Testing, which provides a set of MVC-specific helpers on top of the test host.

In this post I want to share a curious case of deadlocking integration tests in an ASP.NET Core 3.1 application.

Continue Reading

Introduction to quantum computing with Q# – Part 19, Quantum Phase Estimation

Last time we discussed the Quantum Fourier Transform – one of the important building blocks for more complex quantum algorithms. In this post, we will build upon that knowledge and take advantage of the QFT functionality, to explore another important subroutine that is used in many quantum programs, namely quantum phase estimation.

Continue Reading

Introduction to quantum computing with Q# – Part 18, Quantum Fourier Transform

In today's post we will explore one of the important algorithm building blocks in quantum computing theory, called the Quantum Fourier Transform. It is a quantum variant of the classical Discrete Fourier Transform and is used in a number of algorithms such as Shor's factoring algorithm, quantum phase estimation or quantum algorithm for linear systems of equations.

Continue Reading

Introduction to quantum computing with Q# – Part 17, Grover’s algorithm

Last time we looked at the basic theory behind quantum search based on the Grover's algorithm. We went through the most basic case, a data set consisting of four items, and applied the algorithm to that, learning in the process that it managed to find the relevant entry we were looking for in a single step – compared to an average expected 2.25 steps required by the classical computation theory.

In this part, we will look at the more general theory behind Grover's algorithm, and implement the general Q# variant that can be used to find any number in an arbitrarily large data set.

Continue Reading

Introduction to quantum computing with Q# – Part 16, Quantum search

In this post we will start exploring the topic of quantum search – the ability to locate a specific qubit state in an unsorted data set represented in a qubit register. We will look at the mathematics behind this problem, at the Q# code illustrating some basic examples and explain how the different building blocks fit together. This will help us lay ground for a more comprehensive discussion of the so-called Grover’s algorithm next time.

Continue Reading

Introduction to quantum computing with Q# – Part 15, Deutsch-Jozsa algorithm

Last time, we discussed a problem originally stated by David Deutsch, focusing on determining whether a function is constant or balanced. We found out that for that specific problem, quantum computing provides a much better query complexity than classical computing – as it can solve the task in a single blackbox function evaluation, while classical computing requires two function evaluations to provide the same answer.

Today, we shall look at the generalization of that simple problem.

Continue Reading

Introduction to quantum computing with Q# – Part 14, Deutsch’s problem

Over the course of this series, we have developed a solid foundational understanding of quantum computing, as we learned about the basic paradigms, mathematics and various computational concepts that characterize this unique disciple. We are now well equipped to start exploring some of the most important quantum algorithms – starting with today’s part 14, which will be devoted to a simple oracle problem formulated by David Deutsch.

Continue Reading

Introduction to quantum computing with Q# – Part 13, CHSH Game

Last time we had an in-depth look at the original Bell’s inequality, and we wrote some Q# code that allowed us to quickly empirically test the predictions of quantum mechanics in that area.

In today’s post, we will continue with a generalization of Bell’s inequalities, called Clauser-Horne-Shimony-Holt
inequality (in short CHSH), and discuss a simple game based on that. In the process, we will arrive at a remarkable conclusions – we will learn that for a certain class of simple boolean logic problems, they can be solved more efficiently when adopting a quantum strategy compared to a classical “common sense” approach.

Continue Reading

Q# Advent Calendar 2020 – Creating Q# Compiler Rewrite Steps

On this day 120 years ago, December 14 1900, Max Planck presented to the German Physical Society his work on spectral density of black body radiation, and postulated that electromagnetic energy could only be emitted in quantized packets. This date is now widely considered to be the the birth of quantum theory. The work of Planck sparked an explosion of theoretical and empirical work, which resulted in arguably the most intense and transformational periods in the history of science. The discovery of photoelectric effect by Einstein, Bohr’s model of atomic structure, De Broglie’s wave-particly duality hypothesis, discovery of quantum mechanicss by Heisenberg and formulation of quantum electrodynamics by Dirac, all followed in the span of the next three decades.

It is quite amazing that I am able to celebrate this special date with a special blog post about quantum programming, that’s part of Q# Advent Calendar 2020. You can find my post on “Creating Q# Compiler Rewrite Steps” on the Q# Community Blog here.