Contact: jmppardo@math.uc3m.es

Q-Math Seminar

Logo Q-Math

Martin Hebenstreit (Universität Innsbruck)

Classically simulable quantum computation & matchgate circuits

Wednesday 27th of March 2019, 13:00, UC3M, Seminar Room 2.2D08

Although it is believed that quantum computation cannot be classically efficiently simulated in general, there exist certain restricted classes of quantum circuits for which classical simulation is indeed possible. The most prominent example are the Clifford circuits. Here, we consider another such class, the so-called matchgate circuits (MGCs) [1,2]. MGCs can be classically efficiently simulated and moreover, performed as a compressed quantum computation, i.e., the computation can be performed on an quantum computer using exponentially fewer qubits and only polynomial overhead in runtime [3]. We elaborate on and extend recent results [4] on classical simulability of MGCs. To this end, we discuss the notion of magic states in this context.

[1] L. Valiant, SIAM J. Computing 31, 1229 (2002), B. Terhal and D. DiVincenzo, Phys. Rev. A 65, 032325 (2002)

[2] R. Jozsa and A. Miyake, Proc. R. Soc. A 464, 3089 (2008)

[3] R. Jozsa, B. Kraus, A. Miyake, J. Watrous, Proc. R. Soc. A 466, 809 (2010)

[4] D. J. Brod, Phys. Rev. A 93, 062332 (2016)

Giuseppe Marmo (Università Federico II, Naples)

Quantum Evolution, Contact Manifolds and Dissipation

Wednesday 6th of March 2019, 13:00, UC3M, Seminar Room 2.2D08

Quantum evolution described on the Hilbert space should preserve the normalization of wave vectors to respect the probabilistic interpretation. The space of normalized vectors in a Hilbert space defines a contact manifold of co-dimension one. A simple generalization of contact-dynamics allows to deal with evolution described by a one-parameter subgroup of the special complex linear subgroup (the complexification of the compact unitary subgroup). The projection on the space of pure states (the complex projective space) represents a Kossakowski-Lindblad vector field up to a 'jumpx' vector field. A 'classical limit' may represent a dissipative system with a 'Rayleigh dissipation'.

References:

[1] Contact Manifolds and Dissipation,Classical and Quantum. F.M.Ciaglia, H.Cruz, G.Marmo. Annals of Physics 398 (2018) 159-179.

[2] Stratified Manifold of Quantum States, Actions of the Complex Special Linear Group. D.Chruscinski, F.M.Ciaglia, A.Ibort, G.Marmo, F.Ventriglia. Annals of Physics 400 (2019) 221-245.

Patricia Contreras-Tejada (ICMAT)

A resource theory of entanglement with a unique multipartite maximally entangled state

Wednesday 27th of February 2019, 13:00, UC3M, Seminar Room 2.2D08

Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regime. Not only do there exist inequivalent forms of entanglement forbidding the existence of a unique maximally entangled state, but recent results have shown that LOCC induces a trivial ordering: almost all pure entangled multipartite states are incomparable (i.e. LOCC transformations among them are almost never possible). In order to cope with this problem we consider alternative resource theories in which we relax the class of LOCC to operations that do not create entanglement. We consider two possible theories depending on whether resources correspond to multipartite entangled or genuinely multipartite entangled (GME) states and we show that they are both non-trivial: no inequivalent forms of entanglement exist in them and they induce a meaningful partial order (i.e. every pure state is transformable to more weakly entangled pure states). Moreover, we prove that the resource theory of GME that we formulate here has a unique maximally entangled state, the generalized GHZ state, which can be transformed to any other state by the allowed free operations.

J.M. Pérez-Pardo (UC3M)

On a proof of monotonicity of quantum relative entropy by A. Uhlmann (part II)

Wednesday 13th of February 2019, 13:00, UC3M, Seminar Room 2.2D08

Monotonicity is one of the most important properties of the quantum relative entropy. For instance, out of it one can derive the strong sub-additivity property of the entropy. The most general proof was given by A. Uhlmann in 1977 and is now known as Uhlmann's Theorem. This proof relies on a representation result for positive quadratic forms defined on a $*$-Algebra given by W. Pusz and S.L. Woronowicz and that is similar to the GNS construction. The aim of this talk is to present this interesting construction and review the proof of Uhlmann's Theorem.

J.M. Pérez-Pardo (UC3M)

On a proof of monotonicity of quantum relative entropy by A. Uhlmann

Wednesday 6th of February 2019, 13:00, UC3M, Seminar Room 2.2D08

Monotonicity is one of the most important properties of the quantum relative entropy. For instance, out of it one can derive the strong sub-additivity property of the entropy. The most general proof was given by A. Uhlmann in 1977 and is now known as Uhlmann's Theorem. This proof relies on a representation result for positive quadratic forms defined on a $*$-Algebra given by W. Pusz and S.L. Woronowicz and that is similar to the GNS construction. The aim of this talk is to present this interesting construction and review the proof of Uhlmann's Theorem.

A. Balmaseda (UC3M)

Quantum Control at the Boundary: Quantum Circuits

Thursday 13th of December 2018, 13:00, UC3M, Seminar Room 2.2D08

The development of Quantum Information Theory and the aim for building quantum computers has increased the relevance of controlling quantum systems. For that reason, some quantum control paradigms have been studied. The controllability of finite dimensional quantum systems is a well understood problem where one can apply the classical theory of control. However, applying such ideas to the infinite dimensional setting is not straightforward, but despite technical difficulties some results on controllability of bilinear systems are known (see for instance Chambrion et. al. [1]).

The quantum control at the boundary (QCB) method is a radically different approach to the problem of controlling the state of a qubit. Instead of seeking the control of the quantum state by directly interacting with it using external magnetic or electric fields, the control of the state will be achieved by manipulating the boundary conditions of the system. The spectrum of a quantum system, for instance an electron moving in a box, depends on the boundary conditions imposed on it, either Dirichlet or Neumann in most cases. A modification of such boundary conditions modifies the state of the system allowing for its manipulation and, eventually, its control.

The QCB paradigm has been used to show how to generate entangled states in composite systems by suitable modifications of the boundary conditions [2], but in spite of its intrinsic interest some basic issues such as the QCB controllability of simple systems has never been addressed. This talk's aim is to explore the (approximate) controllability of such a simple system, a quantum circuit (that is, a free quantum system on a graph), by using QCB.

References:

[1] T. Chambrion, P. Mason, M. Sigalotti, U. Boscain. Controllability of the discrete-spectrum Schrödinger equation driven by an external field. Ann. I. H. Poincaré, 26, 329-349 (2009).

[2] A. Ibort, G. Marmo, J.M. Pérez-Pardo. Boundary dynamics driven entanglement. J. Phys. A: Math. Gen. 47(38), 385301.

Diego Martínez (UC3M)

Amenability in inverse semigroups and C*-algebras

Thursday 29th of November 2018, 13:00, UC3M, Seminar Room 2.2D08

Amenability, since von Neumann defined it back in 1929, has been an active field of study. By results of various hands, it is well known the amenability (or non-paradoxicality) of a discrete group is equivalent to the existence of a trace in the associated Roe algebra. In this talk we will continue this line of research and prove a similar result for inverse semigroups. We shall prove, for instance, that every amenable inverse semigroup has a tracial Roe algebra, while every properly infinite Roe algebra must come from a paradoxical semigroup. Furthermore, should time allow, we will discuss how these results translate into the groupoid framework. This is joint work with Pere Ara and Fernando Lledó.

Erik Torrontegui (Instituto de Física Fundamental - CSIC)

Implementation and applications of a quantum neuron

Thursday 15th of November 2018, 13:00, UC3M, Seminar Room 2.2D08

We demonstrate that it is possible to implement a neural network with a sigmoid activation function as an efficient, many-body unitary operation. This unitary operation can be optimally implemented using an Ising model with a transverse field and fast quasi-adiabatic passage. The resulting operation is fully reversible and may have applications also in the realms of quantum sensing or entangled states generation.

Alberto Ibort (UC3M & ICMAT)

On Atiyah’s ‘proof’ of Riemann’s hypothesis

Thursday 18th of October 2018, 13:00, UC3M, Seminar Room 2.2D08

Quite recently M. Atiyah claimed to have proved the Riemann hypothesis.
In this talk, using Atiyah’s scientific bio as a guide, we will try to understand some of the reasons that could have led him to make such an extraordinary claim.