MathQI Seminars take place at Fac. CC. Matemáticas (U.C.M), Room 222.

22nd Mar 2017. 15:30-17:00.
Ignacio Villanueva (UCM): "In the search for a total function with exponential separation between quantum and classical communication complexity".
Communication complexity is a very basic model in computational complexity, with many applications in computer science. Understanding the maximal possible difference between quantum communication and classical communication complexity is one of the open questions in the area. I will review the few known examples of partial functions (functions with a promise) achieving exponential separation between quantum and classical communication complexity. Then I will present a function we have studied exhibiting certain "exponential separation behaviour”. I will also comment on our so far unsuccessful attempts to extract from it a total function with exponential separation.

15th Mar 2017. 15:30-17:00.
Ludovico Lami (UAB): "Ultimate data hiding in quantum mechanics and beyond".
Data hiding in quantum mechanics was originally discovered in [1] (see also [2]). Since we are interested in studying the intrinsic limits of this phenomenon, I will start by introducing a more fundamental framework known as general probabilistic theories (GPTs) [3], which is an abstract way to generalise quantum probability rules as to encompass only the most basic physical requirements. Within the realm of GPTs, we will define what we mean by data hiding using the language of norms discussed in [4]. By making an unexpected connection with Grothendieck’s theory of tensor norms, we will study the ultimate limits of this non-classical phenomenon as arising from only basic physical constraints. Quantum mechanics is found to have a data hiding efficiency of the order of the square root of the maximal one. In other words, Nature is non-classical, but not as non-classical as it could have been.
Reference paper: arXiv:1703.03392

[1] B. M. Terhal, D. P. DiVincenzo, and D. W. Leung, Hiding bits in Bell states, Phys. Rev. Lett. 86, 5807 (2001); arXiv:quant- ph/0011042.
[2] Chapter 4 of Eggeling’s PhD thesis
[3] H. Barnum, J. Barrett, M. Leifer, and A. Wilce, Teleportation in general probabilistic theories, Proceedings of Symposia in Applied Mathematics 71, 25-48 (2012); arXiv:0805.3553 (2008).
[4] W. Matthews, S. Wehner, and A. Winter, Distinguishability of quantum states under restricted families of measurements with an application to quantum data hiding, Comm. Math. Phys. 291(3), 813-843 (2009); arXiv:0810.2327.

1st Mar 2017. 15:30-17:00.
Cécilia Lancien (UCM): "Random quantum correlations are generically non-classical".
Two observers performing binary outcome measurements on subsystems of a global system may obtain more strongly correlated results when they have a shared entangled quantum state than when they only have shared randomness. This well-known phenomenon of Bell inequality violation can be precisely characterized mathematically. Indeed, being a classical or a quantum correlation matrix exactly corresponds to being in the unit ball of some tensor norms. In this talk, I will start with explaining all this in details. I will then look at the following problem: given a random matrix of size n, can one estimate the typical value of its "classical" and "quantum" norms, as n becomes large? For a wide class of random matrices, the answer is yes, and shows a separation between the two values. This result may be interpreted as follows: in a typical direction, the borders of the sets of classical and quantum correlations do not coincide. On the technical side the ingredients that I will need include: tensor norms on Banach spaces, random matrix theory, concentration of measure in high dimension... But hopefully no prerequisite on any of these topics will be necessary to understand my talk! Based on joint work with Carlos Gonzalez-Guillen, Carlos Palazuelos and Ignacio Villanueva (arXiv: 1607.04203).

22nd Feb 2017. 15:30-17:00.
Giannicola Scarpa (UCM): "A cryptographic application of matrix product states".
Obfuscation of classical programs is a very important open problem. It is the task of making a computer code unintelligible while keeping its functionality and efficiency intact. Some people describe it as the “holy grail” of modern cryptography. We explain our work in progress toward contributing to the quest: we identify a (small) class of quantum circuits that can be obfuscated thanks to its “matrix product state” form. The class is inspired by Richard Jozsa’s work on classical simulation of quantum circuits. Next, we ask our main open question: how to extend the obfuscation to a meaningful class of classical circuits? Are we are epsilon-close to the answer?
Joint work with Juan José García Ripoll, Sofyan Iblisdir and David Pérez-García.

15th Feb 2017. 15:30-17:00.
Ivan Bardet (Université Lyon 1): "Estimating the speed of decoherence using Quantum Functional Inequalities".
Environment Induced Decoherence is a physical concept which gives a dynamical explanation to the disappearance of quantum phenomenon in the real world. Intuitively, it states that a quantum system is never isolated, so that quantum correlations disappear due to the action of the environment on the system. Focusing on finite-dimensional quantum systems undergoing Markovian evolutions, we propose natural generalizations of certain non-commutative functional inequalities that are adapted to the study of decoherence.

19th Jan 2017. 10:00-11:00.
Patricia Contreras Tejada (UCM): " Single-world interpretations of quantum theory can be self-consistent: a response to Frauchiger and Renner".
Frauchiger and Renner (arXiv:1604.07422v1) tackle the measurement problem of quantum theory by providing a (physically realisable) thought experiment which allegedly renders single-world quantum theory inconsistent. I will present an argument which (I claim) renders the proof unsound, and, if time allows, I will review decoherence theory as the way to make quantum theory consistent with a single observed world. The main aim of the seminar is for all of us to discuss measurement in quantum mechanics both conceptually and physically. Frauchiger and Renner's recent paper, and the two replies that have appeared on the arXiv so far (arXiv:1611.01111 and arXiv:1608.05873), provide and interesting and timely setting to do so.

12th Jan 2017. 10:00-11:00.
Andrea Coser (UCM): " Finite Bond Dimension Effects in Tensor Networks States".
In this talk I will discuss some work in progress with Luca Tagliacozzo on the effects of a finite bond dimension in Tensor Networks States, and in particular in PEPS. We are especially interested in the case of two-dimensional critical systems, and to the question weather such states can be described with a finite bond dimension. I will review some of the main results of the one-dimensional case, which is well understood and for which a lot of numerical evidence has been gathered (L. Tagliacozzo et al. 2008, Pirvu et al. 2012). The two-dimensional case is computationally much more demanding, and no direct numerical data are available. In order to investigate large systems and a wide range of bond dimensions, we resort to fermionic Gaussian states, for which an MPS description can be obtained working only with correlation matrices (Fishman, White 2015).

15th Dec 2016. 12:00-13:00.
Carlos Palazuelos (UCM): " On some relations between communication complexity problems and Bell inequality violations".
In this talk we will explain how one can obtain (very large) Bell inequality violations from XOR games for which the use of quantum communication to play them implies an improvement with respect to the use of classical communications. The talk is expected to be much clearer than the abstract,J.

1st Dec 2016. 10:00-11:00.
Sofyan Iblisdir (UCM): "TBA".

24th Nov 2016, 10:00-11:00h.
Carlos Fernández, Cécilia Lancien, Angelo Lucia (UCM): "QMATH kick-off conference: overview of some talks".
During this seminar, we will give a brief overwiew of some of the talks that were given during the quick-off conference of the Copenhagen QMath center (
Cécilia will present a work by S. Jeffery and S. Kimmel, relating the boolean formula satisfaction problem to that of deciding the connectivity of a given planar graph. If time allows (which it probably won't!) she will also mention a work by R. Ferrara and M. Christandl about private and data-hiding quantum states.
Carlos will present a work by D. Frauchiger and R. Renner, showing that a single-world interpretation of quantum theory cannot be self-consistent (in an information theory sense). He might also briefly discuss a work by M. Christandl, P. Vrana and J. Zuiddan on so-called "tensor surgery".
Angelo will present results by K. Molmer and collaborators on how to control quantum systems by repeated interaction, and their experimental implementation as atomic probes monitoring the state of a quantized field in a cavity.

21st Nov 2016, 10:00-11:00h.
Antonio Peralta (University of Granada): "Tingley's problem for compact operators". 
In 1932, S. Mazur and S. Ulam solved a question posed by S. Banach by showing that every surjective isometry between real normed spaces is affine. The result is nowadays called Mazur-Ulam theorem. Many results rely on this contribution, and many consequences have been derived from it. P. Mankiewicz establishes in 1972 a generalization of the Mazur-Ulam theorem by proving that every isometry $T$ of an open connected subset $V$ of a normed linear space X onto an open subset $W$ of a normed linear space $Y$ has a unique isometric extension $\tilde T$ of $X$ onto $Y$ such that $\tilde T (tx+(1-t)y)=t \tilde T (x)+ (1-t)\tilde T (y)$ for any real number $t$ and $x,y\in X$.
A variant of the Mazur-Ulam theorem for subsets with empty interior was considered by Tingley in 1987. Let $X$ and $Y$ be normed spaces, whose unit spheres are denoted by $S(X)$ and $S(Y)$, respectively. Suppose $f:S(X)\to S(Y)$ is a surjective isometry. Tingley proved that a surjective linear isometry $f$ between the unit spheres of two finite dimensional Banach spaces preserves antipodes, that is, $f(-x) = -f(x)$, for every $x$ in $S(X)$. The so-called \emph{Tingley's problem} asks wether a surjective linear isometry $f:S(X)\to S(Y)$ can be extended to a real-linear (bijective) isometry $T : X \to Y$ between the corresponding spaces.
Although, Tingley's problem remains open up today, several positive answers have been obtained for concrete Banach spaces. Affirmative answers to Tingley's problem are known for $\ell_p (\Gamma)$ (G.G. Ding, 2003-2015), $L^p$-spaces (D. Tan, 2011-2013), $C(X)$ spaces (G.G. Ding, 2003, D. Tan, X. Huang and R. Liu, 2013), finite dimensional polyhedral Banach spaces (V. Kadets and M. Mart{\'i}n, 2012), and finite dimensional C$^*$-alegbras (R. Tanaka, 2016).
We shall present a new positive answer to Tingley's problem in the case of a surjective isometry between the unit spheres of two spaces of compact operators on arbitrary Hilbert spaces. The novelties include a new point of view provided by techniques, developed in setting of C$^*$-algebras and JB$^*$-triples, describing the facial structure of the closed unit ball of these structures.

17th Nov 2016, 10:00-11:00h.
Aleksander Marcin Kubicki (University of Valencia): "Position Based Cryptography".
In the seminar of this week, I will try to explain what is exactly Position Based Cryptography and how much is known about it. For this, I will elaborate in some detail the papers by H. Burhman etal (arXiv:1009.249) and by S. Beigi and R. Konig (arXiv:1101.1065). Finally, I will spot some interesting questions which are still open and some connections with other areas of Quantum Information and Functional Analysis we are looking for.

10th Nov 2016, 10:00-11:00h.
David Pérez-García (UCM): "An index theory of quantum cellular automata".
In this talk I will present one of the main results of an “old” paper of Gross, Nesme, Vogts y Werner (arXiv:0910.3675) and explain why I recently became interested in it.

27th Oct 2016, 10:00-11:00h.
Ashutosh Rai (University of Latvia): "Parity Oblivious d-Level Random Access Codes and Class of Noncontextuality Inequalities".
One of the fundamental results in quantum foundations is the Kochen-Specker no-go theorem. For the quantum theory, the no-go theorem excludes the possibility of a class of hidden variable models where value attribution is context independent. Recently, the notion of contextuality has been generalized for different operational procedures and it has been shown that preparation contextuality of mixed quantum states can be a useful resource in an information-processing task called parity-oblivious multiplexing. Here, we introduce a new class of information processing tasks, namely d-level parity oblivious random access codes and obtain bounds on the success probabilities of performing such tasks in any preparation noncontextual theory. These bounds constitute noncontextuality inequalities for any value of d. For d=3, using a set of mutually asymmetric biased bases we show that the corresponding noncontextual bound is violated by quantum theory. We also show quantum violation of the inequalities for some other higher values of d. This reveals operational usefulness of preparation contextuality of higher level quantum systems.

19th Oct 2016, 10:00-11:00h.
Julio de Vicente (UC3M): "Pure-state entanglement transformations: SEP, finite-round LOCC and infinite-round LOCC".
The paradigm of local operations and classical communication (LOCC) plays a key role in entanglement theory. First, these provide the most general possible protocols to manipulate this resource in practical scenarios. Second, and most importantly, these constitute the free operations in the resource theory of entanglement. Thus, they induce an operationally meaningful ordering in the set of entangled states and provide the means to construct entanglement measures. However, the set of LOCC maps is mathematically subtle and it is in general hard to characterize when such transformations are possible. Rather than presenting my own results, in this seminar I will put the stress on presenting basic definitions and highlight some techniques and open questions in this context. The idea is to lay the groundwork for discussions with potentially interested people in the group.

13th Oct 2016, 10:00-11:00h.
Abderramán Amr Rey (UCM): "de Finette reductions for correlations (arxiv 1308.0312)".
When analysing quantum information processing protocols one has to deal with large entangled systems, each consisting of many subsystems. To make this analysis feasible, it is often necessary to identify some additional structure. de Finetti theorems provide such a structure for the case where certain symmetries hold. More precisely, they relate states that are invariant under permutations of subsystems to states in which the subsystems are independent of each other. This relation plays an important role in various areas, e.g., in quantum cryptography or state tomography, where permutation invariant systems are ubiquitous. The known de Finetti theorems usually refer to the internal quantum state of a system and depend on its dimension. Here we prove a different de Finetti theorem where systems are modelled in terms of their statistics under measurements. This is necessary for a large class of applications widely considered today, such as device independent protocols, where the underlying systems and the dimensions are unknown and the entire analysis is based on the observed correlations.

22nd Sep 2016, 15:00h.
NOTE: The colloquium will take place at Sala de Conferencias 121, CSIC, Calle Serrano, 113, 28006 Madrid
Gavin K. Brennen (Macquarie University, Sydney, Australia): "Quantum simulations of holographic duality".
The holographic principle asserts that spacetime may be like a hologram: information contained within the volume of spacetime can be encoded on the boundary of that spacetime. In this talk I'll introduce a concrete example of this principle via an exact holographic mapping of quantum field theory using Daubechies wavelets. I'll show how a boundary conformal field theory (CFT) can be encoded in a bulk with an emergent negative curvature described by anti de-Sitter (AdS) spacetime. The wavelet family index determines the size of the local region over which each step of renormalization is performed and this in turn determines the radius of curvature of the bulk. An experimental realization of this mapping could be achieved using multi-mode entangled states of continuous variable systems using e.g. photonic networks or trapped ions.

21st Sep 2016, 15:00-16:00h.
Alba Cervera Lierta (Universidad de Barcelona): "Emergence of Symmetry from a Maximal Entanglement Principle".
We explore the possibility that gauge symmetry may be related to an information-theoretic principle that imposes the laws of nature should allow for the creation of maximally entangled states. This hypothesis is tested by considering a Lagrangian of free fermions and photons that interact via a generic coupling, partially restricted by unitarity and discrete symmetries. We then advocate a Maximal Entanglement principle that states initially configured as a product states in terms of helicity and polarization can develop into maximally entangled states. This principle is applied to all tree level fermion-fermion scattering processes, as well as those including photons as initial or final states, computed in the theory with generic coupling. We find that after imposing the Maximal Entanglement principle two possible solutions are allowed: the QED solution and other similar with a relative sign between the Dirac \gamma^{\mu} matrices. Our results hint that local symmetries, such as gauge symmetries, might have a more fundamental description in terms of information theory.

20th Jul 2016, 12:00-13:00h.
Barbara Kraus (University of Innsbruck, Asutria): "LOCC transformations among multipartite pure states & entanglement measures".

29th Jun 2016, 16:00-17:00h.
Carlos González Guillén (UPM): "Spectral gap of random quantum channels".
We will show that random quantum channels have generically a separation between the first and second eigenvalues. This result can be seen as a generalisation of Hasting's result for a set of random until channels (arXiv:0706.0556). We will discuss different applications of this result to study entropy and correlations in 1D tensor networks. Work in progress.

22nd Jun 2016, 16:00-17:00h.
Ignacio Villanueva Díez: "Binary constraint systems, groups and Tsireltson’s problem". 
Very recently, Slofstra uploaded a solution to one of the versions of Tsireltson’s problem (arXiv:1606.03140). The result builds upon work appeared at arXiv:1606.02278 and arXiv:1209.2729v3. I will give a view on the chain of results leading to Slofstra’s solution.

15th Jun 2016, 16:00-17:00h.
Giannicola Scarpa: "Classical Verification of Quantum Proofs, Zhengfeng Ji, arXiv:1505.07432".
We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It follows from this protocol that approximating the non-local value of a multi-player one-round game to inverse polynomial precision is QMA-hard. Our work makes an interesting connection between the theory of QMA-completeness and Hamiltonian complexity on one hand and the study of non-local games and Bell inequalities on the other.

8th Jun 2016, 16:00-17:00h.
David Pérez-García: "The asymptotics of quantum max-flow min-cut".
The quantum max-flow min-cut conjecture relates the rank of a tensor network to the minimum cut in the case that all tensors in the network are identical1. This conjecture was shown to be false in Ref. 2 by an explicit counter-example. Here, we show that the conjecture is almost true, in that the ratio of the quantum max-flow to the quantum min-cut converges to 1 as the dimension N of the degrees of freedom on the edges of the network tends to infinity. The proof is based on estimating moments of the singular values of the network. We introduce a generalization of “rainbow diagrams”4 to tensor networks to estimate the dominant diagrams. A direct comparison of second and fourth moments lower bounds the ratio of the quantum max-flow to the quantum min-cut by a constant. To show the tighter bound that the ratio tends to 1, we consider higher moments. In addition, we show that the limiting moments as N → ∞ agree with that in a different ensemble where tensors in the network are chosen independently; this is used to show that the distributions of singular values in the two different ensembles weakly converge to the same limiting distribution. We present also a numerical study of one particular tensor network, which shows a surprising dependence of the rank deficit on N mod 4 and suggests further conjecture on the limiting behavior of the rank. (arxiv 1603.0371)

31st May 2016, 16:00h. Colloquium (Room Miguel de Guzmán).
Benoît Douçot (CNRS/U. Pierre et Marie Curie, France): "Spin textures in quantum Hall ferromagnets". 
In the presence of a strong magnetic field, and for an integer filling of the Landau levels, Coulomb interactions favor a ferromagnetic ground-state. It has been shown already twenty years ago, both theoretically and experimentally, that when extra charges are added or removed to such systems, the ferromagnetic state becomes unstable and is replaced by spin textures called Skyrmions. Motivated by the case of graphene, we have generalized this notion to an arbitrary number d of internal states for the electrons, which may correspond to the combination of spin, valley, or layer indices. The first step is to associate a many electron wave-function, projected on the lowest Landau level, to any classical spin texture described by a smooth map from the plane to the projective space CP(d-1). In the large magnetic field limit, we assume that the spin texture is slowly varying on the scale of the magnetic length, which allows us to evaluate the expectation value of the interaction Hamiltonian on these many electron quantum states. The first non trivial term in this semi-classical expansion is the usual CP(d-1) non-linear sigma model, which is known to exhibit a remarkable degeneracy of the many electron states obtained from holomorphic textures. This degeneracy is lifted by the sub-leading term in the effective Hamiltonian, which selects a hexagonal Skyrmion lattice and therefore breaks both translational and internal SU(d) symmetries. We have computed the complete low-lying excitation spectrum, which separates into d^{2}-1 gapless acoustic magnetic modes and a magnetophonon branch. We conjecture that the residual interactions between these collective modes may be described by a non-linear sigma model on a non-commutative plane.

18th May 2016. 16:00-17:00h.
Chris Self (University of Leeds): "Ising anyons at finite temperature".
Topological quantum computing offers a robust approach to quantum computation using braiding and fusion of anyonic particles. A particular type of anyons called Ising anyons are known to emerge from the microscopics of a spin lattice model called the Kitaev Honeycomb. We study the Ising anyon phase of the Kitaev honeycomb at finite temperature using Monte Carlo methods. We find evidence of the thermal fractionalization of the spins into Majorana modes, similar to the recent results of J. Nasu et al. who studied the non-Ising anyon phases of the model. We relate these findings to the finite temperature stability of the topological characteristics of the model. In addition we probe the thermal edge currents of the Kitaev honeycomb. Analogy to conformal field theory suggests that if the system has a boundary then at very low temperatures there should be a chiral edge current along that boundary that scales with temperature squared. By defining a microscopic current operator and taking its finite temperature expectation value we demonstrate edge currents that obey this scaling.

11th May 2016. 16:00-17:00h.
David Pérez-García: "Uncomputability of the capacity of finite state channels".
The capacity of a noisy channel is the maximum asymptotic rate at which we can send information over it. For memoryless channels the capacity is given by a simple optimization problem as proven in Shannon’s noisy coding theorem. Furthermore, for these channels, we have the Blahut-Arimoto algorithm that efficiently solves the optimization problem and computes the capacity. What can be said about the general situation of channels with memory? In this work we consider one of the simplest families of such channels: the so-called finite state machine channels (FSMC). We show that there cannot exist any algorithm that approximates the capacity of every FSMC towithin any desired precision. More concretely, we construct a subfamily S of information stable FSMC with 10 elements in the input alphabet and 62 states so that the capacity of each member is either 1 or less than 1/2 and show that there cannot exist any algorithm that on input an element of S decides which is the case.

4th May 2016. 16:00-17:00h.
Julio de Vicente (Universidad Carlos III de Madrid): "Possibilities and limitations of the resource theory of genuine quantum coherence". 
Resource theories have been very successful to provide a rigorous theoretical framework to study quantum features such as entanglement in the context of quantum information theory. Given a particular type of quantum resource, these theories aim at characterizing all quantum states with this property, at identifying all possible protocols for its manipulation and at providing measures for its quantification. This relies crucially on the concept of free operations: the subset of completely-positive (CP) maps that the physical setting allows to implement at no cost. In the last years the superposition principle (or coherence) has been identified as a potential quantum resource which is believed to play a nontrivial role in the outstanding efficiency of certain biological processes such as photosynthesis. The theoretical ground for the construction of a resource theory of quantum coherence is currently being discussed and there are different proposals for what the set of free operations should be in this case. In this talk, I will consider the particular formalism of the so-called genuine coherence. I will show that in this case the free operations correspond to the class of CP maps known as Schur maps and I will use this to study in the detail the possibilities for state manipulation (deterministic, stochastic and asymptotic) in this theory. Our results show that this resource theory has serious limitations. This is based on arXiv:1604.08031 and is a joint work with A. Streltsov (FU Berlin).

28th Apr 2016. 13:00h.
Angelo Lucia: "Estabilidad y ley de área para sistemas cuánticos disipativos con equilibración rápida". 
Angelo will make a pre-reading of his Thesis.

20th Apr 2016. 16:00-17:00.
Cécilia Lancien (UAB/Lyon): "Flexible constrained de Finetti reductions and parallel repetition of multi-player non local games".
Roughly speaking, de Finetti type theorems allow to reduce the analysis of permutation-invariant scenarios to that of i.i.d. ones. In this talk, I will present certain variants of such de Finetti reductions, and show how they can be used to study the parallel repetition of multi-player non-local games. More precisely, the problem one usually wants to solve in this context is the following: if players sharing certain physical resources cannot win one instance of a game with probability 1, does their probability of winning n instances of this game at the same time decays to 0 exponentially fast? Perhaps surprisingly, the answer to this question is not trivially "yes", even though I will show that e.g. in the case of no-signalling correlations between the players, it is indeed "yes" in almost full generality. If time allows, I will also discuss how such de Finetti reductions can be used to study the (weakly) multiplicative behavior of other quantities showing up in quantum information theory. This talk will be based on joint work with Andreas Winter, either appearing in arXiv[quant-­‐ph]1506.07002 or still in progress.

13th Apr 2016. 16:00-17:00.
Open problems. 
Each member will be free to share issues of interest to him or to her.

6th Apr 2016. 16:00-17:00.
Norbert Schuch (Max Planck Institute for quantum optics, Garching, Germany): "Topological phase transitions in tensor networks: A holographic perspective". 
We investigate topological phases and phase transitions in the framework of tensor network models. We discuss the role of symmetries in this description, and show how it allows to relate topological phases and transitions between them to symmetry broken and symmetry protected phases exhibited by the transfer operator of the system, i.e., at the boundary. This is accomplished by translating the string-like topological excitations in the 2D bulk to string order parameters characterizing the different phases under symmetry at the boundary. We show that by taking into account the constraints arising from complete positivity of the transfer operator, which restricts the possible phases at the boundary, this yields a complete characterization of all possible ways in which topological phase transitions can occur through condensation and confinement of anyons.

30th Mar 2016. 16:00-17:00.
José Garre Rubio: "Classifying quantum phases with group extensions: from 1D to 2D". 
In this talk we present an in progress approach to the classification of quantum phases of matter using Tensor Networks States. The study is focused on systems which contain symmetry aspects and topological order in two dimensions that can be described using PEPS. The presence of topological order (that can be interpreted in some cases as a gauge theory) constrains the way in which phase transitions can occur and new interesting phenomena appear. In order to describe the interplay between symmetry and topology we use the group extension theory. The starting point of this project is to recover the one-dimensional classification using MPS with these ideas.

16th Mar 2016. 12:30-13:30.
Angela Capel: "Entropy inequalities for unbounded spin systems". 
I will present a result by P. Dai Pra, A.M. Paganoni and G. Posta ( in which they consider nonconservative, reversible spin systems, with unbounded discrete spins, and show that for a class of these dynamics in a high temperature regime, the relative entropy with respect to the equilibrium distribution decays exponentially in time, although the logarithmic-Sobolev inequality fails. To this end, they prove a weaker modification of the logarithmic-Sobolev inequality.

9th Mar 2016. 12:30-13:30.
Michael Mariën: "Tensor Networks and the Renormalisation Group". 
Renormalisation Group (RG) ideas as introduced by Kadanoff and Wilson are of fundamental importance for the understanding of the universal behaviour of classical and quantum many body systems. More recently, tensor networks have emerged as a competitive tool for the numerical and analytical study of these systems. Both ideas can be combined to obtain a practical tool for the study of partition functions. In this seminar I introduce the idea behind RG, the relevant tensor networks and explain how insight in their structure lead to natural extensions of the basic block-spin methods. I also discuss possible applications (work in progress) to the understanding of the stability of topological phases and the construction of a true Hamiltonian RG flow.

2nd Mar 2016. 12:30-13:30.
Giannicola Scarpa: "On the Entropy of Graphs". 
Graph Entropy is a parameter introduced by Janos Körner in 1973. It measures the complexity of a probabilistic graph and has an interesting information-theoretical interpretation: encoding a source with ambiguous alphabet. This quantity has three equivalent formulations: one typically graph-theoretical and two information-theoretical ones. It relates nicely with Shannon entropy and with the theory of perfect graphs. In this talk I introduce the classical concept and define a similar quantity for non-commutative graphs, together with a quantum information theoretical interpretation. This is a work-in-progress with Josh Lockhart, Ivan Todorov and Andreas Winter.

17th Feb 2016. 12:30-13:30.
Erik Tonni: "Entanglement and the adS/CFT correspondence".
We review the basic notions of AdS/CFT correspondence focussing on the holographic prescription to compute the entanglement entropy. We show how such formula satisfies the strong subadditivity for the entanglement entropy. In the case of AdS4, which is the bulk spacetime dual to a 2+1 dimensional conformal field theory in the vacuum, the subleading term in expansion of the holographic entanglement entropy as the UV cutoff goes to zero involves the evaluation of the Willmore functional on a specific two dimensional surface.

10th Feb 2016. 12:30-13:30.
Andrea Coser: "Entanglement negativity in Quantum Field Theory".
We will give an introduction to some techniques for quantifying bipartite entanglement in Quantum Field Theories through a replica trick. These techniques have been widely applied to compute the entanglement entropy in many different systems in a pure state. A similar approach can be used to compute the entanglement negativity, an entanglement measure that quantifies entanglement also in mixed states. We will focus on (1+1)-dimensional Quantum Field Theories and in particular on Conformal Field Theories, where exact computations can be performed for simple models. The results are checked against some lattice computations.

21st Jan 2016. 09:45-11:00.
Carlos Fernández: "The structure of MPS".
We will present a recent result by M. Navascués and T. Vertesi ( in which they point out an interesting property of Matrix Product States arising from the existence of homogeneous polynomials which vanish when evaluated at $D\times D$ matrices but not when evaluated at $D'\times D'$ matrices for $D'>D$. This property may have dramatic consequences in the use of MPSs for DMRG methods.

17th Dec 2015. 09:45-11:00.
David Elkouss: "(Nearly) optimal P-values for all Bell inequalities".
A key objective in conducting a Bell test is to quantify the statistical evidence against a local-hidden variable model (LHVM) given that we can collect only a finite number of trials in any experiment. The notion of statistical evidence is thereby formulated in the framework of hypothesis testing, where the null hypothesis is that the experiment can be described by an LHVM. The statistical confidence with which the null hypothesis of an LHVM is rejected is quantified by the so-called P-value, where a smaller P-value implies higher confidence. Establishing good statistical evidence is especially challenging if the number of trials is small, or the Bell violation very low.

10th Dec 2015. 09:45-11:00.
Carlos González: "The complexity of entanglement detection via Dvoretzky's theorem.".
The Horodecki criterion asserts that a state ρ on C^d⊗C^d is entangled if and only if there exists a positive map Φ: 𝖬_d→𝖬_d such that the operator (Φ⊗𝖨)(ρ) is not positive semi-definite. We show that the number of maps needed to detect states that are entangled even in the presence of noise is super-exponential. The proof uses technics from Geometric Analysis, in particular the Dvoretzky's theorem. The result can be interpreted as a geometrical manifestation of the complexity of entanglement detection. This is an exposition of the results and ideas of

26th Nov 2015. 09:45-11:00.
David Pérez-García: "Renormalization Fixed Points in PEPS. Recovering the bulk from the boundary".
I will give in this talk a complete characterization of RG fixed points in the context of Matrix Product Operators. If we understand them as the boundary theory of a topologically ordered bulk, we will see how we can distill all the topological content of the bulk from the structure obtained in our characterization. Joint work with J. I. Cirac, N. Schuch and F. Verstraete.

12th Nov 2015. 09:45-11:00.
Sofyan Iblisdir: "Rényi entropies of ultra-cold gases".
A measurement scheme for Rényi entropies of an ensemble of atoms trapped in an optical lattice is presented. It relies on global soft collisions, and the ability to address single particles of the ensemble individually. The time required for the measurement is independent of the system size. The scheme allows to detect conformal symmetry in one spatial dimension, together with an efficient estimation of central charges. The possibility to reveal typical signatures of  topological order in two spatial dimensions, and to infer entanglement spectra is also discussed. En passant, a novel scheme to prepare large GHZ states is introduced, as well as a protocol to disentangle quantum states; they are of interest beyond the present context.

29th Oct 2015. 09:45-11:00.
Alex Monràs: "Quantum learning of classical stochastic processes".
Among several tasks in Machine Learning, is the problem of inferring the latent variables of a system and their causal relations with the observed behavior. A paradigmatic instance of such problem is the task of inferring the Hidden Markov Model underlying a given stochastic process. This is known as the positive realization problem (PRP) and constitutes a central problem in machine learning. The PRP and its solutions have far-reaching consequences in many areas of systems and control theory, and is nowadays an important piece in the broad field of positive systems theory.
We consider the scenario where the latent variables are quantum (e.g., quantum states of a finite-dimensional system), and the system dynamics is constrained only by physical transformations on the quantum system. The observable dynamics is then described by a quantum instrument, and the task is to determine which quantum instrument –if any– yields the process at hand by iterative application.
We take as a starting point the theory of quasi-realizations, whence a description of the dynamics of the process is given in terms of linear maps on state vectors and probabilities are given by linear functionals on the state vectors. This description, despite its remarkable resemblance with the Hidden Markov Model, or the iterated quantum instrument, is however devoid from any stochastic or quantum mechanical interpretation, as said maps fail to satisfy any positivity conditions. The Completely-Positive realization problem then consists in determining whether an equivalent quantum mechanical description of the same process exists.
We generalize some key results of stochastic realization theory, and show that the problem has deep connections with operator systems the- ory, giving possible insight to the lifting problem in quotient operator systems. Our results have potential applications in quantum machine learning, device-independent characterization and reverse-engineering of stochastic processes and quantum processors, and more generally, of dynamical processes with quantum memory.

22nd Oct 2015. 09:45-11:00.
Julio de Vicente: "Operational multipartite entanglement measures".
While the theory of bipartite entanglement is well developed, the multipartite case is more poorly understood. Even in the case of pure states, we lack general and computable entanglement measures with a clear operational meaning in terms of the paradigm of local operations and classical communication (LOCC), as is the case for bipartite systems. In this talk I will introduce two operational entanglement measures which are applicable for arbitrary multipartite states. They characterize the potentiality of a state to generate (or of being generated by) other states via LOCC. I will also discuss how these measures can be computed. This is joint work with the group of B. Kraus in Innsbruck [Phys. Rev. Lett. 115, 150502 (2015) ( and].

15th Oct 2015. 09:45-11:00.
Ignacio Villanueva: "From Quantum vs Classical communication advantage to violation of a Bell Inequality".
We consider a binary function for which the classical communication complexity is much bigger than the quantum communication complexity (definitions will be properly stated in the seminar). We show how we can obtain then a Bell Inequality for which the entangled value is much bigger than the classical value (both of them without assisted communication). This is an exposition of the results and ideas of

26th May 2015. 13:00-14:00.
Giannicola Scarpa: "Nonsignalling correlated Nash equilibria in games of incomplete information".
In the work of the game theorist Françoise Forges, nonsignalling correlations independently appear under the name of "belief-invariant correlations". The motivation and the use of these objects are different than what we would expect in quantum information theory. Here, we unify the two views and introduce the concept of "nonsignalling correlated Nash equilibrium" for games of incomplete information (i.e., competitive games with private inputs). In our framework, nonsignalling correlations are not used to study the property of the physical world, but are a method to regulate the behaviour of competing players while "respecting their privacy". We model, for example, situations where competing companies benefit from a correlated strategy, without revealing their trade secrets (i.e. private inputs). We will conclude with some open questions, such as the computational complexity and the largest advantage over the other known classes of equilibria. This is work-in-progress, together with Andreas Winter (Barcelona) and Ashutosh Rai (Latvia).

23rd March 2015. 13:00-14:00.
Maris Ozols: "Entropy power inequalities for qudits".
The talk will be about the recent result (

8th April 2015. 11:50-13:00.
Nicolás Robles: "Segundos momentos de la función zeta de Riemann y sus ceros.".
Estudiamos integrales de segundo orden de la función zeta "torcidas" por polinomios de Dirichlet. Su aplicación es el incremento de % de ceros de la función zeta en la linea critica.

18th March 2015. 11:50-13:00.
Johannes Bausch: "The Complexity of Divisibility of Probability Distributions".
We address a set of long-standing open questions in probability theory, from a computational complexity perspective. We prove a complexity hierarchy for the divisibility and decomposability of probability distributions, showing that finite distribution divisibility is in P, but decomposability is NP-hard. For the former, we give an explicit polynomial-time algorithm. All results on distributions extend to weak-membership formulations, proving that the complexity of these problems is robust to perturbations.

11th March 2015. 11:50-13:00.
Carlos Fernández González: "Non-Abelian anyons in quantum double models: coding and computing".
We will extend the notions we already reviewed in a past seminar about Abelian anyons in the toric code to the non-Abelian setting. We will show how they can be used to encode information and perform computations without acting on non-contractible loops. 

4th March 2015. 11:50-13:00.
David Perez-Garcia: "Positivity in Matrix Product Operators".
In this talk I will present ongoing work about the problem of characterizing positivity in a Matrix Product Operator. I will explain the motivation of the problem and recent results obtained in collaboration with T. Cubitt, G. de las Cuevas and M. Wolf. 

25th February 2015. 11:50-13:00.
Angelo Lucia: "Graph colouring and two-players non-local games".
I would like to present the connection that exists between two-players non-local games and colouring of graphs. While the original connection is probably due to [quant-ph/0608016], I would like to present it using the ideas form [arxiv:1407.6918]: using their framework it is easy to see how different restrictions on the capabilities of the two players (classical resources, quantum resource and entanglement, non-signalling, etc.) lead to different definition of chromatic numbers for graphs. This allows to restate the problem of separating different type of correlations (classical/quantum, quantum/non-signalling) as a problem of separating different chromatic numbers, and therefore gives yet another reformulation of the Tsirelson problem and Connes embedding problem.

4th February 2015. 11:50-13:00.
Julio de Vicente: "Simple conditions constraining the set of quantum correlations".
The characterization of the set of quantum correlations in Bell scenarios is a problem of paramount importance for both the foundations of quantum mechanics and quantum information processing in the device-independent scenario. However, the only systematic and general form so far to bound this set is given by the NPA hierarchy. Although this constitutes an extremely powerful tool, its applicability is bound to our limited computational resources. Moreover, some problems might not be tackled numerically and it would be desirable to have simple analytical conditions constraining the set of quantum correlations. In this talk, I will provide simple and general analytical conditions that are necessary for an arbitrary bipartite behaviour to be quantum. Although the conditions are not sufficient, they are strong and non-trivial as several examples show. Finally, I will discuss several applications of this result: a proof of the separation of the quantum set from extremal nonlocal no-signaling behaviours in several general scenarios and a systematic construction to obtain Tsirelson bounds for arbitrary bipartite Bell inequalities. therefore gives yet another reformulation of the Tsirelson problem and Connes embedding problem.

23rd September 2014. 11:00 - 12:00.
Ignacio Villanueva: "Distance between Haar orthogonal and gaussian matrices".
We study a meaningful euclidean distance between a random gaussian matrix $Y$ and a haar distributed random orthogonal matrix $U$, both of them of large dimension $n$. It has been known for more of a century that a single coordinate $u_{i,j}$ of $U$, multiplied by $\sqrt{n}$, distributes like a standard gaussian random variable $y_{i,j}$. The question of how many coordinates of $U$ can be simultaneously approximated by independent gaussians has been studied by many authors during this and the past century. Probably the sharpest result up to date is due to Jiang, in 2005, where he shows that you can approximate blocks of size $n\times o(\frac{n}{\ln n})$ if you want convergence in probability of the supremum norm, and he shows the optimality of that range. We study and fully characterise the convergence in probability of a certain meaningful euclidean norm of blocks of the difference $Y-\sqrt{n}U$. As an application, we can give information about the probability that certain quantum correlations are not classical. As a proof of the strength of our result, we can recover Jiang’s result as a corollary. In the talk I will present and introduction to the problem, state our result and give a simple idea of the proof, and I will suggest possible applications for QI.

12th June 2014. 15:30 - 16:30.
David Elkouss: "On the number of uses of the channel needed to find positive coherent information".
The quantum capacity of a channel is given by the regularization of the coherent information of an unbounded number of uses of the channel. This regularization is necessary due to the nonadditive behaviour of the coherent information. However, all results until now had shown superadditivity violations only up to a small finite number of uses. In this seminar, for any number of uses, we present a channel with zero coherent information but positive quantum capacity.

29th May 2014. 15:30 - 16:30.
Carlos Hugo Jiménez: "Medidas log-concavas y algunas conexiones con geometría convexa y teoría de información".
En esta charla daremos una breve introducción a las medidas log-concavas y mostraremos como aparecen naturalmente al estudiar diversos parámetros en geometría convexa. Después de esto, mencionaré algunos nuevos resultados en forma de desigualdades funcionales que extienden resultados clásicos en Geometría Convexa. Finalmente, veremos algunas aplicaciones de estos resultados que están relacionadas con teoría de información.

19th May 2014. 15:30 - 16:30.
Julio de Vicente: "LOCC entanglement transformations: embezzling quantum states".
In this seminar I will review some relsults on bipartite LOCC entanglement transformations, particularly the embezzling protocol of Van Dam and Hayden

12th May 2014. 15:30 - 16:30.
Ignacio Villanueva: "P vs NP".
I will formally introduce the problem and relate it to the decidability problem.

5th May 2014. 15:45 - 16:45.
Carlos Palazuelos: "On the classical capacity of certain quantum channels".
The idea of the seminar is to recall the concept of the classical capacity of a quantum channel with and without (restricted) assited entanglement. Then, we will present two basic channels, the quantum depolarizing and the quantum erasure channel, and we will explain how the capacity of these channels can be computed. In particular, we will show some surprising facts for them.

28th April 2014. 13:00 - 14:00.
Carlos González: "Entrelazamiento y simetría en sistemas cuánticos de muchos cuerpos".

9th April 2014. 15:30 - 16:30.
Gemma de las Cuevas: "Purifications of multipartite states: limitations and constructive methods".
Matrix product forms are an efficient way of representing quantum many-body systems. For mixed states, there are two such forms: (i) as matrix product density operators, or (ii) as a purification that is itself written as a matrix product state, which allows to check positivity locally, and is thus well-behaved and stable under local truncations. Here we show that form (ii) can be arbitrarily more costly than form (i), thus revealing a tradeoff between efficiency and local positivity. Our proof uses very recent results in convex polytopes, which have also been used to prove separations in communication complexity. In addition, we provide two constructive methods to obtain form (ii) out of (i). The sum of squares polynomial method scales exponentially in the number of different eigenvalues, and its approximate version is formulated as a Semidefinite Program, which works efficiently and robustly for the tested eigenvalue distributions. The eigenbasis method scales quadratically in the number of eigenvalues, and its approximate version is very efficient for rapidly decaying distributions. Our results imply that a description of mixed states that is both efficient and locally positive semidefinite does not exist, but that good approximations do. (Joint work with N. Schuch, D. Pérez-García and J. I. Cirac. Published in New J. Phys. 15, 123021 (2013)).

8th April 2014. 13:00 - 14:00.
Carlos Fernández: "Métodos matemáticos en problemas de entrelazamiento: convertibilidad de estados, medidas conjuntas y hamiltonianos en PEPS".

24th March 2014. 11:00 - 12:00.
Tom Cooney: "On adaptive quantum channel discrimination and quantum-feedback-assisted communication".
I will discuss the problem of discriminating between an arbitrary quantum channel N and a “replacer” channel that maps all states to a fixed state \sigma. We allow for an arbitrary preparation and adaptive operations in between n invocations of the channel. This will be related to a relative entropy and then used to obtain a strong converse of the classical capacity of a quantum channel assisted by an unbounded noiseless quantum feedback channel. (Based on work with Mark Wilde, Milan Mosonyi, Nilanjana Datta.)

17th March 2014. 11:00 - 12:00.
David Perez-Garcia: "An introduction to Quantum Dimer Models".

13th March 2014. 11:00 - 12:00.
Sofyan Iblisdir: "Markov chains for tensor network states".
Markov chains for probability distributions related to matrix product states and 1D Hamiltonians are introduced. With appropriate 'inverse temperature' schedules, these chains can be combined into a random approximation scheme for ground states of such Hamiltonians. Numerical experiments suggest that a linear, i.e. fast, schedule is possible in non-trivial cases. A natural extension of these chains to two-dimensional quantum Hamiltonians is next presented and tested. This extension is stable by construction and the obtained results compare well with euclidean evolution. The proposed Markov chains are inherently sign problem free (even for fermionic degrees of freedom), and the random approximation scheme can be tailored to escape local minima.

3rd March 2014. 11:00 - 12:00.
Yacine Barhoumi: "Some consequences of the Keating-Snaith philosophy".
Recent progresses in Number Theory are due to the application of the Keating-Snaith philosophy that consists in solving a surrogate problem in Random Matrix Theory where the computations are notably easier to achieve or to adapt results from Number Theory in the random matrix world. In this talk, we will remind the historical developments that led to such a methodology and we will apply the Keating-Snaith philosophy to the problem of counting the number of zeroes of linear combinations of characteristic polynomials of independent random unitary matrices, a question initially motivated by the study of L-functions. In particular, we explain why a hundred percent of the zeroes of such a combination lie on the unit circle (joint work with C. P. Hughes, J. Najnudel and A. Nikeghbali).

24th February 2014. 11:00 - 12:00.
Carlos Fernández: "Thermodynamic limit of MPSs and the toric code, and spectral gaps of associated Hamiltonians".
In this talk, we will review some basic techniques related to Matrix Product States and we will formally describe the thermodynamic limit of parent and uncle Hamiltonians. We will compare the spectral properties of these two types of Hamiltonians. Finally, we will briefly sketch the analogue problem for the toric code, detailing the new difficulties that arise in this case.

14th February 2014. 11:00 - 12:00.
Julio de Vicente: "On nonlocality as a resource theory and nonlocality measures".
With the advent of device independent quantum information processing, nonlocality is nowadays regarded as a resource to implement various tasks. On the analogy of entanglement theory we will approach nonlocality from this perspective. In order to do so, we will analyze in full detail the operations that can be implemented in this scenario and under which nonlocality cannot increase. This provides a theoretical ground to study how to order and quantify nonlocal behaviours. Finally, we will review several nonlocality measures and discuss their validity from this point of view. (Based on arXiv:1401.6941)

8th February 2014. 11:00 - 12:00.
The presence of quantum nonlocality, from a resource point of view, dictates that certain correlations derived from local measurements on quantum systems cannot be reproduced using only shared randomness. In the multipartite scenario, a stronger form of nonlocality called "genuine" multipartite nonlocality is possible. To detect this conventional notion of multipartite nonlocality, one makes use a characterization of the set of correlations that are biseparable, i.e., which can be produced by parties separated into two groups. In this talk, I discuss a characterization of multipartite nonlocality where the size of the group plays a more fundamental role. This allows us to define k-partite nonlocality in an n-partite scenario for k

26th November 2013. 11:00 - 12:00.
David Elkouss will discuss the following paper: (arXiv:1310.0129)

8th October 2013. 11:00 - 12:00.
Carlos Palazuelos. "The classical capacity of a quantum channel with d-assisted entanglement"
"In this talk we will start by introducing the classical capacity of a quantum channel (with assisted entanglement). Then we will study some basic examples like the quantum depolarizing channel and the quantum erasure channel.

1st October 2013. 11:00 - 12:00.
Tom Cooney will discuss the following paper: (arXiv:1306.1586)

11th June 2013. 11:00 - 12:00.
Hugo Jimenez will talk about the paper "Hastings' additivity counterexample via Dvoretzky's theorem" (arXiv:1002.4925)

5th June 2013. 11:00 - 12:00.
David Elkouss will present a security proof of QKD in the asymptotic setting. If time allows, he will also discuss the implication of using imperfect devices and exchanging a finite number of signals.

21st May 2013. 11:00 - 12:00.
Carlos Gonzalez will talk about the paper "Entanglement rates and area laws" (arXiv:1304.5931)

8th May 2013. 11:00 - 12:00.
Ignacio Villanueva.
Ignacio Villanueva will talk about the paper Quantum strategies are better than classical in almost any XOR game and some recent improvements on this topic.

24th April 2013. 11:00 - 12:00.
Miguel Tierz. "Spin chains and random matrices"
I will show how correlation functions of very simple 1d spin chain models admit an integral representation of the random matrix type.

19th April 2013. 13:00 - 14:00.
Julio de Vicente. "Multipartite LOCC transformations and multipartite maximally entangled states"
Understanding the properties and applications of multipartite quantum states is one of the main goals of quantum information theory. However, since the number of free parameters scales exponentially with the numbers of parties, the set of states is huge and hard to grasp. This is why a lot of effort has been put forward to characterize and understand subsets of multipartite states with relevant physical and/or mathematical properties. On the other hand, entanglement is believed to be a key a resource, so, naturally the class of maximally entangled states must be an interesting object of study. However, while the community agrees in what the maximally entangled state is in the bipartite case, the situation gets confusing already for three and more parties. In the first part of the talk, I will argue that the only meaningful notion of maximal entanglement corresponds to maximal usefulness under LOCC (i.e. local operations and classical communication) transformations and, hence, the characterization of these states boils down to the elusive problem of deciding LOCC convertibility. In the second part of the talk, I will show how LOCC transformations can be characterized in the 3 and 4-qubit case. Since this induces the natural ordering in the set of entangled states this allows to decide the usefulness of the different states and to identify multipartite maximally entangled states. Moreover, I will show some surprising consequences of this characterization.

2nd - 16th April 2013.
Carlos Palazuelos. Introduction to Quantum Information Theory II (UCM).
The second part of the course, will be devoted to a more detailed study of quantum Shannon theory: Some basic notions of classical information theory, Schumacher compression theorem, von Neumann entropy properties, Capacities of quantum channels, etc.

19th - 21st March 2013.
Carlos Palazuelos. Introduction to Quantum Information Theory I (ICMAT).
Quantum information theory (QIT) is a very exciting field which has rapidly advanced over the past ten years. Beyond its potential applications in some important areas like computing or cryptography, a very interesting feature of QIT is that it collects researchers from many different areas like mathematics, physics, chemistry and computer science. In this course we will introduce some of the most important topics in quantum information theory. In this 5 hours course we will treat some basic topics in quantum information theory:
  • Postulates of quantum mechanics and some basic results: Quantum teleportation, Superdense coding, etc.
  • Quantum entanglement and quantum nonlocality: Bell inequalities and some applications.
  • Some notions about quantum Shannon theory.

13th March 2013. 11:00 - 12:00.
David Perez-Garcia. Presentation of the paper "Strong Parallel Repetition for a Monogamy-of-Entanglement Game" (arXiv:1210.4359)

6th March 2013. 11:00 - 12:00.
Andrea Cadarso. "Phase stabilization of a frequency comb using multi-pulse quantum interferometry"
In this week's seminar I would like to introduce the concept of "multipulse quantum interferometry", which consists on an atom probing a sequence of ultrashort laser pulses, efficiently computing the differences among them. Formally, we will model the atom-light interaction as a sequence of unitaries acting on a qubit space, with one unitary acting per laser pulse and we explain how we can engineer protocols that accurately determine the differences among the pulses, or the properties of the individual pulses themselves. A direct application of multipulse quantum interferometry will be the characterisation and stabilisation of a frequency comb. For this, we will e study the interaction between a frequency comb and one or more non-interacting atoms, and derive a set of quantum protocols for the determination of the carrier-envelope offset frequency using the atomic coherence as a reference. Formally, the optimal protocols exhibit an enhanced sensitivity, O(N-2), where N is the number of laser pulses involved, and can be realized with a single qubit.

11th February 2013. 11:00 - 12:00.
Benjamin Brown. "To what extent can a topological defect be regarded as anyon-like?"
Topologically ordered phases of matter offer an attractive approach to fault tolerant quantum computation. They give rise to exotic quasi-particle excitations known as anyons. Anyons have a degenerate Hilbert space associated to them, which can be used to encode quantum information over non-local degrees of freedom. Recently, it has been shown that twists, the end points of dislocations in the toric code model, and the quasi-particles available on the toric code has some features in common with a different anyon model, the Ising anyon model. Specifically, it is known that twists have the same fusion properties as Ising anyons. Characteristics of topologically ordered phases of matter can be assessed by calculating the topological entanglement entropy of regions the ground state of its Hamiltonian. Further to this, data for anyonic quasi-particle excitations of a topological phase can also be calculated using the von Neumann entropy. In this talk we present results which show analytically that twists give the same topological data as Ising anyons using extensions of known topological entanglement entropy formulas, extending further the analogy between twists and Ising anyons.

8th February 2013. 15:30 - 16:30.
Jeongwan Haah. "Quantum codes on lattices"
We study unfrustrated spin Hamiltonians that consist of commuting tensor products of Pauli matrices; the ground space is identified with code space. Assuming translation-invariance, we observe that the Hamiltonian is described by a matrix of polynomials. The conditions that the matrix define a commuting Hamiltonian and that there are no local observable for the ground space (code space) are interpreted as equations on the polynomial matrix. Then, we discuss consequences of the number of dimensions of the lattice. For instance, one can show that in three dimensions there must exist a topologically nontrivial point-like charge appearing at a vertex of some "fractal" operator. We also discuss tools to compute the ground state degeneracy and to handle local unitary transformations.

6th - 12th February 2013.
Jeongwan Haah, researcher at Caltech, Benjamin Brown, researcher at Imperial College and Courtney Brell, researcher at University of Sydney will be visiting our group.

21th - 25th January 2013.
Our group participated (and enjoyed) this year's excellent edition of QIP. Three papers of members of the group made it to the highly selective oral presentations:

Carlos Palazuelos:
Super-activation of quantum nonlocality. (arXiv:1205.3118v3)

Tom Cooney, Marius Junge, Carlos PalazuelosDavid Perez-Garcia, Oded Regev, and Thomas Vidick:
Rank-one and Quantum XOR games. (arXiv:1112.3563 and arXiv:1207.4939)

Norbert Schuch, Didier Poilblanc, Ignacio Cirac, and David Perez-Garcia:
Resonating valence bond states in the PEPS formalism. (arXiv:1203.4816)

9th - 13th December 2012.
Georgios Giasemidis, researcher at Oxford University, will be visiting our group.

4th December 2012. 10:30 - 11:30.
Toby Cubitt. "Second quantisation from a physicist's perspective"

27th - 30th November 2012.
Maarten van den Nest, postdoc at MPQ Garching, will be visiting our group.

18th - 22th November 2012.
Norbert Schuch, professor at RWTH Aachen University, will be visiting our group.

14th November 2012. 10:30 - 11:30.
Hugo Jiménez. "Concentration of Measure phenomenon and Push forward measures"
I will give and overview on concentration of measure and its relation with some other important functional inequalities, I will explain its role on the proof of Dvoretzky Theorem due to Milman. If there are some Almendrados left after this, I will discuss how one can use Push-forward measures to transfer concentration (or other related properties) between even those spaces far apart in terms of the Banach-Mazur distance.

7th November 2012. 10:30 - 11:30.
David Elkouss. "Superactivation of quantum capacity."
We will present the results of Smith and Yard on the superactivation of the quantum capacity.

30th October 2012. 15:00 - 16:00.
Carlos Palazuelos. "Hypercontractivity in harmonic analysis and quantum field theory."
I will give an overview on hypercontractivity. I will explain hypercontractivity from a ``trigonometric'' and a ``gaussian'' point of view. I will also see the connections with logarithmic Sobolev inequalities. If I have enough time I will explain some applications of the Bonami-Beckner inequality to some problems in computer sciences.

24th October 2012. 15:00 - 16:00.
Tom Cooney. "The Monster, a construction from the deep!"
We'll discuss how group and hopf algebra actions can be defined on Matrix Product States. We are particularly interested in trying to use a monster called the projective version of the half-liberated orthogonal free compact quantum group to construct a monstrous symmetry that behaves strangely under regroupings of the physical sites. Based on work in progress with David Perez Garcia and Oliver Buerschaper.

15th - 19th October 2012.
Gemma de las Cuevas, postdoc at MPQ Garching, will be visiting our group.