Quantum technology is evolving faster than ever. Currently, all eyes are on the quantum computer, the promising computer that can solve problems which are unsolvable for regular computers. In order to understand this new technology, it is necessary to understand the qubit, the basic unit of quantum information. This can be done by means of the density matrix: a mathematical representation of the state of a system. The aim of this thesis is to find the density matrix of a single qubit in closed (isolated) and open quantum systems. In the case of a closed system, an alternating sequence of two processes with different Hamiltonians is considered, which both last a fixed amount of time after one another. These systems have been solved using a direct formula for a 2 × 2 matrix with distinct eigenvalues raised to the power n for any n ∈ N. In the case of an open system, dissipation is taken into account compared to a single process in a closed system. These open systems have been solved numerically using the Lindblad master equation and the spin-boson model to model the environment as a bath of bosons. However, the use of multiple approximations and assumptions questions the validity of the results for ’strong’ interactions. Suggestions for further research include investigating quantitatively when the Lindblad equation is valid to use and solve open quantum systems using different models for the environment.

Quantum Markov Semigroups (QMS) describe the evolution of a quantum system by evolving a projection or density operator in time. QMS are generated by a generator obeying the well-known Lindblad equation. However, this is a difficult equation. Therefore, the result that the Lindblad form greatly simplifies in the case of the generator commuting with the modular automorphisms group, is useful. Unfortunately, the proof only works for finite dimensional Hilbert spaces, which is why the aim of this thesis is to generalise this result to countably infinite dimensional Hilbert spaces. To this end, the Lindblad equation is derived from both a mathematical and physical perspective. Where the former relies on rigorous proof and the latter relies on approximations.   In the rigorous case the theory of unital completely positive maps is used. Furthermore, multiple topologies are considered which put less stringent conditions on the operators of interest than the norm topology. Additionally, the Haar measure is used on the unitaries of the bounded linear operators to construct the explicit Lindblad form. To derive the result by employing physical assumptions the interaction picture is used. The physical derivation starts from the Von Neumann equation and uses multiple assumptions to obtain the final Lindblad form. The most important physical assumptions are: the Born approximation, the Markov approximation and the rotating wave approximation.   Furthermore, the main result is the generalisation of the simplified Lindblad form. This simplified form holds for generators commuting with the modular automorphisms group in case the Hilbert spaces are countably infinite dimensional. However, this requires the domain of the generator to be restricted to trace class operators with the identity operator artificially added. Additionally, the generator needs to map strongly convergent sequences to weakly convergent sequences. It also needs to be self-adjoint with respect to the Hilbert-Schmidt inner product. Lastly, the generator is assumed to be self-adjoint with respect to the Gelfand-Naimark-Segal (GNS) inner product <X, Y>=Tr(σ X*Y) for σ a density operator. This last assumption implies that the generator commutes with the modular automorphisms group, which is the symmetry we are considering. Hence, the two previous assumptions are the additional requirements needed to generalise the result, besides the restriction of the domain. Therefore, it is recommended for further research to generalise the result for the domain extended to the bounded operators B(H). It should be noted that the proof heavily relies on the Hilbert space structure induced by the Hilbert-Schmidt inner product. Consequently, the generalisation for the bounded operators would probably require a different approach. Another recommendation is to try and lift the sequence and self-adjoint requirements on the generator. In addition, it is interesting to investigate which physical systems actually have the symmetry of generators commuting with the modular automorphisms group.

Quantum error correction is needed for future quantum computers. Classical error correcting codes are not suitable for this due to the nature of quantum mechanics. Therefore, new codes need to be developed. A promising candidate is the toric code, a surface code, because of its locality and its high error correcting capability and thresholds (the error probability below which increasing the size of the code decreases the failure rate). This thesis provides an introduction to quantum error correction and the stabilizer formalism, which is used to introduce the toric code. Several decoders are looked at, including the Minimum Weight Perfect Matching (MWPM) decoder and a recently developed decoder, the Union-Find (UF) decoder. The UF decoder is useful because of its almost-linear time complexity, while only reducing the threshold by a marginal amount compared to the MWPM decoder. In this thesis, the time complexity of the weighted growth version of the UF decoder is analysed. The toric code and the decoders have been implemented and simulated, and the thresholds have been determined. For the MWPM decoder, the threshold was determined to be 11.5±0.2%, which is not in agreement with the threshold in literature of 10.3%, and should not be possible according to the optimal threshold of about 11%. This probably is a result of the low grid sizes (up to a gridsize of 11) of the code used due to the time needed to simulate the MWPM decoder. For the UF decoder, the threshold found was 9.7 ± 0.9%, which is in agreement with the threshold of 9.9% found by N. Delfosse and N. Nickerson. The time complexity of the UF decoder has also been determined, and is indeed almost-linear as expected by the analysis.

Tsirelson once claimed that the set of quantum correlations, defined by strategies of non-local two-player games, does not depend on which of two possible models is chosen: the tensor product model or the commuting operator model. He later came back from this claim, and the resulting conjecture is now known as Tsirelson’s problem. The problem has since been proven equivalent to notoriously hard problems in operator theory, such as the Connes’ Embedding Problem and the QWEP conjecture. In this master thesis, we look at the finite dimensional case of Tsirelson’s problem, working out all the details of an existing proof and giving a new, shorter proof which also extends to the nuclear case. Moreover, we give an overview of the equivalence of Tsirelson’s problem and two of Kirchberg’s conjectures, including the QWEP conjecture. Finally, we give some results and considerations for the three-player case of Tsirelson’s problem. The appendix contains proofs of many related results used throughout the thesis, and also a beginner’s introduction to quantum mechanics.

This thesis deals with multipliers and transference on noncommutative Lp-spaces. It falls within the realm of noncommutative harmonic analysis, i.e. harmonic analysis on noncommutative spaces. Such spaces appear in several areas of mathematics, such as non-abelian groups, quantum groups, noncommutative geometry and the general theory of operator algebras. Already the pioneering work of von Neumann, Gelfand and Dixmier showed that there are close connections between operator theory and representation theory of locally groups. These results formed the foundations for the theory of noncommutative harmonic analysis.....@en

We beginnen dit verslag met de definities van niet-commutatieve (*-)kansruimten en toestanden erop. We zullen zien dat het aantal Dyckpaden van lengte 2n, het aantal niet-kruisende paarpartities van {1,2,...,2n}, en het 2n-de moment van de halvecirkelverdeling alle gelijk zijn aan het n-de Catalan-getal. Vervolgens bewijzen we Speichers centrale limietstelling. Verder kiezen we de commutatietekens van de limietvariabelen op een probabilistische manier zodat de convergentie van de combinatorische limiet t(V) bijna zeker gewaarborgd wordt. Vervolgens construeren we een niet-triviale *-kansruimte met elementen die voldoen aan alle voorwaarden van Speichers centrale limietstelling. Daarna bekijken we een *-kansruimte en elementen - operatoren op een Fock-ruimte - met dezelfde momenten als de limietmomenten van Speichers centrale limietstelling. We concluderen dat een *-kansruimte met oneindige basis kan worden benaderd met *-kansruimten met eindige basis. Tot slot zien we dat we Speichers centrale limietstelling probleemloos kunnen veralgemeniseren door meer limietvariabelen toe te laten. Als we de aannames omtrent de commutatietekens vervolgens nog verzwakken, krijgen we een variant op Speichers limietstelling waarbij we weer een niet-commutatieve kansruimte kunnen vinden met als momenten precies de limietmomenten.

Report about how Matrix Product States can be used to analyze a sub set of problems in quantum mechanics. A exact derivation is given of the Ising Model in a Transverse field and with these solutions the TEBD algorithm using Matrix Product states is validated.

In the field of quantum information theory, it is well-known that the purely quantum phenomenon called quantum entanglement can boost the capacity of a quantum channel, which is called the superadditivity of the capacity. Shor showed in his breakthrough paper on the equivalence of additivity conjectures that this superadditivity is equivalent to the subadditivity of the minimum output entropy of quantum channels, and Hastings gave a high-dimensional and probabilistic counterexample to the minimum output entropy additivity conjecture. Since then, researchers have endeavored to classify which quantum channels have subadditive minimum output entropy and to find deterministically constructed quantum channels with subadditive minimum output entropy. It is well-known that determining the minimum output entropy of an arbitrary quantum channel is a hard problem (in fact, it has been shown to be NP-complete), which in turn makes it difficult to determine whether a quantum channel has subadditive minimum output entropy. In this thesis, we utilize the representation theory of compact (partition) quantum groups to construct so-called covariant Clebsch-Gordan quantum channels and analyze their minimum output entropy. We review the work of Brannan and Collins in the case of the free orthogonal quantum groups $O_N^+$, and introduce a similar analysis for the quantum permutation group $S_N^+$. Afterwards, we specialize to the subfamily of lowest-weight Clebsch-Gordan channels, and we show that, in the case where one embeds the fundamental representation of $O_N^+$ in the tensor product of two irreducible representations of $O_N^+$, the associated lowest-weight quantum channels have sufficient additional structure to analytically compute their minimum output entropy in terms of a recurrence relation. Lastly, we present an analysis of certain numerical methods that can be utilized to bound the minimum output entropy from below and from above in low dimensions: we use epsilon-covers for lower bounds, and we use a modified version of the derivative-free optimization method called Particle Swarm Optimization over the unit sphere, hybridized with gradient descent, to find upper bounds. We show a proof-of-concept by applying the epsilon-cover to three $S_N^+$ channels with small input dimensions, but also note that the exponential scaling of epsilon-covers with the input dimension makes them intractable with higher input dimensions. We benchmark the Particle Swarm Optimization enriched with gradient-descent on the highest-weight Clebsch-Gordan channels for which it can be shown that the minimum output entropy is zero, and we see that the optimization technique performs adequately. We also apply the optimization scheme to the tensor product of two $S_N^+$-channels, but do not find any violation of the minimum output entropy additivity conjecture.

In this thesis we will for a quantum Markov semi-group (Φt)t≥0 on a finite von Neumann algebra N with a trace τ , investigate the property of the semi-group being gradient-Sp for some p ∈ [1, ∞]. This property was introduced in [12] (see also [9]) and has been studied in [9, 10, 12] for quantum Markov semi-groups on compact quantum groups and on q-Gaussian algebras. Beyond these classes the property gradient-Sp has not been studied; in particular for groups and their operator algebras no (non-trivial) examples were known before this thesis. The main aim of this thesis is therefore to construct interesting examples of quantum Markov semi-groups that possess the gradient-Sp property. The reason why we are interested in constructing such semi-groups, is because they can be used to obtain properties like the Akemann-Ostrand property (AO+) and strong solidity for the underlying von Neumann algebra. Over the last decade, these properties have become a topic of interest and have been studied for several von Neumann algebras, see [3, 8, 9, 10, 12, 23, 32, 33, 37, 41]. In this thesis we shall focus on group von Neumann algebras (L(Γ), τ ) for certain discrete groups Γ that possess the Haagerup property. Namely, for such groups there exists a proper, conditionally negative definite function ψ on Γ. We can then define an unbounded operator ∆ψ on the GNS-Hilbert space L2(L(Γ), τ ) as ∆ψ(λv) = ψ(v)λv and consider the corresponding quantum Markov semi-group (e−t∆ )t≥0. For this semi-group we can investigate for what p it has the gradient-Sp property. In particular we will be considering group von Neumann algebras of Coxeter groups. Namely, a Coxeter group W possesses the Haagerup property by [4], and a proper conditionally negative function ψ on W is given by the minimal word length ψ(w) = |w| w.r.t some set of generators. We will ‘almost completely’ characterize for what types of Coxeter systems the semi-group corresponding to the word length is gradient-Sp. Moreover, in the cases that we get the gradient-S2 property, we obtain the Akemann-Ostand property (AO+) and strong solidity for L(W). Hereafter, we will also consider other quantum Markov semi-groups on L(W). We consider word lengths that arise by putting different weights on the generators, and consider the semi-groups associated to these proper, conditionally negative functions. From this we obtain (AO+) and strong solidity for L(W) for some other cases. Thereafter, we will generalize some of our results obtained for L(W) to the Hecke algebras Nq(W), which are q-deformations of L(W). For the case of group von Neumann algebras L(Γ) for general groups, we shall examine for semi-groups induced by a proper, conditionally negative function ψ, how the gradient-Sp property of the semi-group (Φt)t≥0 := (e−t∆ )t≥0 relates to the gradient-Sq property of the semi-group that is generated by the αth-root ∆α of the generator. Last, we will also show a method that allows us, for right-angled word hyperbolic Coxeter groups, to obtain (AO+) and strong solidity for L(W) without building a gradient-Sp quantum Markov semi-group, but by using a slightly different method.

In 2017 Martijn Caspers, Fedor Sukochev and Dmitriy Zanin published a paper which generalises the proof of Davies' 1988 paper, and thus resolves the Nazarov-Peller conjecture. The proofs of these papers have been presented in this thesis. They have been expanded with a proof that generalises the conjecture to arbitrary Schatten classes. The optimality of the estimates in the conjecture is also studied, following the example of the 2016 paper by Coine et al. In addition, the quantum mechanical context is provided to interpret the presented results.

Quantum computers promise an exponential speed-up over their classical counterparts for certain tasks relevant to various fields including science, technology, and finance. To unlock this potential, the technology must be scaled up and the errors at play must be reduced. As developments in scalable quantum computation devices advance, the demand for scalable benchmarking techniques that are able to reliably assess the fidelity – the complement of the error rate – of a device has increased significantly. Randomized benchmarking offers a single, concise number that reflects the average fidelity of multi-qubit operations performed on a quantum device. While this method is robust against state preparation and measurement errors, it still suffers from scalability issues. In this thesis, we present a protocol that efficiently predicts the multi-qubit fidelity obtained from randomized benchmarking by only benchmarking single- and two-qubit subspaces, greatly increasing the scalability. The protocol uses simultaneous randomized benchmarking with the aim of catching cross-talk effects while at the same time reducing the number of required benchmarking sequences. We have run numerical simulations of the protocol under two noise models, one depolarizing and one dephasing, to verify its performance. The results of these noisy simulations are promising and suggest that our protocol could offer a valuable tool on the road to developing large-scale quantum computers.

Schur multipliers are a concept from functional analysis that have various uses in mathematics. In this thesis we provide an introduction of the aforementioned Schur multipliers and the associated Schatten p-classes. We prove a number of results and introduce some concepts of functional analysis in order to get to the central topic: a conjecture by Pisier regarding Schur multipliers. For p equal to 1, 2 or infinity all Schur bounded multipliers are completely bounded, and the completely bounded norm of a Schur multiplier is in fact equal to its operator norm. On the other hand, for p unequal to 1, 2 or infinity Pisier conjectures that there exist bounded, but not completely bounded Schur multipliers. Whereas the first part of the thesis is spent on studying the theoretical nature of the problem, in the second part we perform a number of numerical computations yielding insight into the problem. For a number of random finite-dimensional Schur multipliers and various p we approximated the operator norm using the BFGS minimization algorithm. This resulted in us posing a new conjecture that the completely bounded norm is equal to the norm for any Schur multiplier for any p, i.e. we suggest Pisier’s conjecture is false. Finally, we suggest further studies that can be done.

Bell inequalities are certain probabilistic inequalities that should hold in the context of quantum measurement under assumption of a local hidden variable model. These inequalities can be violated according to the theory of quantum mechanics and have also been violated experimentally. Bell inequalities were therefore historically used to disprove local hidden variable models as an interpretation of quantum mechanics. An interesting question is to what degree Bell inequalities can be violated according to the theory of quantum mechanics. The degree to which a particular Bell inequality can be violated is quantified by the largest violation of the Bell inequality. A central question we address in this thesis is how large the largest violation can become when considering all possible Bell inequalities. In particular the CHSH-inequality, a well-known Bell inequality, has a largest violation equal to the square root of 2 and we want to find a Bell inequality with largest violation exceeding the square root of 2. This thesis consists of two main parts. In the first part we formally define Bell inequalities and the largest violation and prove several theorems about Bell inequalities. In the second part we search for Bell inequalities with largest violation exceeding the square root of 2. We do this by first approximating the largest violation of a given Bell inequality using numerical optimization. Next, using this approximation, we use numerical optimization to maximize the largest violation. Due to run-time restrictions we were only able to consider Bell inequalities with a relatively small number of terms and were unable to find any among them with largest violation exceeding the square root of 2.

Quantum random walks are the quantum analogs of classical random walks and appear to be promising tools to design fast quantum algorithms. Therefore it is important to study their time-related features and see how these differ compared to the classical case. For the discrete-time quantum walk on the line it has been shown that the probability to be absorbed by an absorbing boundary equals 2/π in contrast to the classical case where this probability equals 1, hence a quantum walk may continue forever without getting absorbed. It is also shown that mixing times of discrete-time quantum walks on the hypercube scale with n, the dimension of the hypercube, which is faster than O(n log(n)) for the classical random walk. So the quantum walk might offer a slight speed-up compared to the classical case. Finally, it is shown that the mixing times of the continuous-time quantum walk on a 2-layer multiplex graph depend on the eigenvalue gaps of the corresponding Laplacian matrix L. When the strength of the connections between the layers of a multiplex graph becomes very large, the eigenvalues of the Laplacian matrix converge. Thus the mixing times of the continuous-time quantum walk on 2-layer multiplex graphs converge.

In 2011 Avsec showed strong solidity of the q-Gaussian algebras, building upon previous results of Houdayer and Shlyakhtenko, and Ozawa and Popa. In this work we study this result as well as the necessary literature and q-mathematics needed to replicate the proof. The literature is combined within this thesis, whilst additionally filling in gaps in Avsec's proofs. Overall, the thesis aims to present an improved and more accessible proof of the strong solidity of the q-Gaussian algebras.

We present a powerful approach for learning about uncomputability and undecidability in informationtheory. Our approach is to use automata from automata theory that have undecidable properties toconstruct channels for which an information-theoretic quantity is uncomputable or undecidable. Wedemonstrate this approach by showing that, for channels with memory, capacity is uncomputable andinformation-stability is undecidable.

It was first shown by D. Potapov and F. Sukochev in 2009 that Lipschitz functions are also operator-Lipschitz on Schatten class operators Sp, 1<p<∞, which is related to a conjecture by M. Krein. Their proof combined Schur multiplication, a generalisation of component-wise matrix multiplication, with the so-called first order divided difference of a function, an approximation of its derivative. Showing that the Schur multipier associated with a divided difference function is bounded relies on a so-called transference technique, the boundedness of certain Schur multipliers can be inferred from the boundedness of associated Fourier multipliers. Soon after, this boundedness result was extended by D. Potapov, A. Skripka, and F. Sukochev to multilinear Schur multipliers of divided differences of arbitrary order, i.e. approximations of higher derivatives. In this thesis, we offer an alternative boundedness proof for bilinear Schur multipliers of second order divided differences, in which we use recent results of multilinear harmonic analysis towards a multilinear transference proof, as well as recently found sufficient conditions for the boundedness of linear Schur multipliers which cannot be studied by transference. These methods were not known at the time Potapov, Skripka, and Sukochev proved their result. Moreover, we show that this new proof improves the growth of the bound on the norm of the considered Schur multiplier for p→∞ significantly. Finally, we give an outlook on further steps towards an alternative boundedness proof of multilinear Schur multipliers of divided differences of arbitrary order.

In this thesis we present a study of quantum Markov semigroups. In particular, we mainly consider quantum Markov semigroups with detailed balance that are defined on finite-dimensional C*-algebras. They have an invariant density matrix ρ. Carlen and Maas showed that the evolution on the set of invertible density matrices that is given by such a semigroup is gradient flow for the relative entropy with respect to ρ for some Riemannian metric. This result is a non-commutative analog of certain diffusion equations that are gradient flow in the second order Wasserstein space. We provide a self-contained and accessible account to these issues. Moreover, we give a complete introduction to Tomita-Takesaki theory which has a close relation with quantum Markov semigroups satisfying detailed balance. Finally, we present some examples of these semigroups that arise from quantum theory.