Quantum Information Seminar at UBC

Seminar Schedule



For fall 2010 schedule, please see here.



In spring 2010, the seminar takes place Friday 11am in Hennings room 309B (unless marked otherwise); any question, please email Tzu-Chieh Wei at twei-at-phas-dot-ubc-dot-ca

       Future visitors: Zhengfeng Ji (Oct. 16 -23), Valentin Murg (early November), Dave Bacon, etc.

       --- July 17-30, 2010: Tenth Canadian Summer School on Quantum Information (QI10) and The Workshop on Quantum Algorithms, Computational Models, and Foundations of Quantum Mechanics (QAMF, July 23-25)

--- July 16, 2010: Open discussions and preparation for the QI summer school


--- July 9, 2010: Pradeep Sarvepalli, Bounds on the Information Rate of Quantum Secret Sharing Schemes

Abstract: An important metric of the performance of a quantum secret sharing scheme is its information rate. Beyond the fact that the information rate is upper bounded by one, very little is known in terms of bounds on the  information rate of quantum secret sharing schemes. Further, not every scheme can be realized with rate one. In this talk I derive new upper bounds for the information rates of quantum secret sharing schemes. I show  that there exist quantum access structures on n players for which the information rate cannot be better than  O((\log_2 n)/n). These results are the quantum
analogues of  the bounds for classical secret sharing schemes proved by Csirmaz.

--- July 2, 2010: Vicky Choi (Virgina Tech), Adiabatic Quantum Algorithms for the NP-Complete Maximum-Weight Independent Set, Exact Cover and 3SAT Problems

Abstract: The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (without changing the problem to be solved) for MIS on CK graphs, we can prevent the first order quantum phase transition and significantly change the minimum spectral gap. We raise the basic question about what the appropriate formulation of adiabatic running time should be. We also describe adiabatic quantum algorithms for Exact Cover and 3SAT in which the problem Hamiltonians are based on the reduction to MIS. We point out that the argument in Altshuler et al.(arXiv:0908.2782[quant-ph]) that their adiabatic quantum algorithm failed with high probability for randomly generated instances of Exact Cover does not carry over to this new algorithm.
 
http://arxiv.org/abs/1004.2226


--- June 25, 2010: Maritza Hernandez, Coherence and entanglement in a two-qubit system

Abstract: Quantum entanglement is a physical resource, associated with the peculiar non classical correlations that are possible between  separated quantum systems. Entanglement can be measured, transformed, and purified. A pair of quantum systems in an  entangled state can be used as a quantum information channel to perform computational and cryptographic tasks that are impossible for classical systems.  The aim of this work is to study various aspects of quantum entanglement and coherence, illustrated by several examples. We relate the concepts of decoherence and disentanglement, via a model of two two-level atoms in different types of reservoir, including both cases of independent and common bath. Finally, we relate decoherence and disentanglement, by focusing on the sudden death of the entanglement and the dependence of the death time with the "distance" of our initial condition, from the decoherence free subspace. In particular, we study the sudden death of the entanglement, in a two-atom system with a common reservoir.
 
References:  Advances in Optics and Photonics, Vol.2, Issue 2, pp.229-286 (2010), PRA.78, 042114 (2008).

--- June 18, 2010: Tzu-Chieh Wei, Quantum 2-SAT and frustration-free Hamiltonians

Abstract: Classical satisfiability problems can be either difficult or hard depending on the maximum number of "literals" (or variables) in all clauses. If this number is three (i.e. 3-SAT) or larger, the problem is known to be NP-complete. On the contrary, classical 2-SAT has polynomial-time algorithm. The quantum analogue of SAT is only known to be QMA_1 complete if the number of qubits involved in specifying a "clause" is four (i.e. Quantum 4-SAT) or larger. Similar to classical case, Quantum 2-SAT has a polynomial-time algorithm, constructed by Bravyi. I will describe his construction and discuss some recent results by Chen et al. on the ground-state wavefunction of two-body frustration free qubit Hamiltonians.

Refs: quant-ph/0602108, arXiv:1004.3787

--- June 11, 2010: Robert Raussendorf, Measurement based quantum computing
and temporal order

--- June 4, 2010: Len Goff, Simulation of fermionic systems using Gaussian states

Abstract: I'll introduce the notions of a Gaussian state, a Gaussian operator, and a Gaussian linear map for fermions.  These mathematical objects can all be parametrized by matrices which are much smaller in dimension than their counterparts in the fermion Hilbert space, which provides an efficient classical simulation procedure for certain fermionic systems.  I'll also discuss an application of this formalism to the classical 2D Ising model.

References: Sergey Brayvi: "Lagrangian representation for fermionic linear optics", http://arxiv.org/abs/quant-ph/0404180

--- May 28, 2010: Poya Haghnegahdar, Transitivity of local complementation and switching on graphs

Abstract: Abstract: The operations complementation C, local complementation λx, and switching σx for the vertices x of a finite undirected graph are considered. The operation λx complements the subgraph induced by the neighbourhood of x in the given graph, and the switching σx changes the neighbourhood of x to its complement vertex set. It is proved that the compositions δxxC (for vertices xset 
membership, variantD) generate a transitive group on the graphs with vertex set D, that is, for any two graphs g and h on D, there exists a composition α of operations δx such that h=α(g). It is also shown that the compositions τxxσx (for xset 
membership, variantD) generate a transitive group on the graphs.

You can find the complete abstract and paper at the following link. http://dx.doi.org/10.1016/j.disc.2003.04.001


--- May 21, 2010: Michael Uhlmann, "Time-resolved density correlations as probe of  squeezing in toroidal Bose-Einstein condensates"

Abstract: I'm going to discuss some ideas related  to my recent paper, 1005.2645, and use the paper only as starting point for  an (open) discussion about what I'm going to do  next (it might involve adiabatic quantum computing).

--- May 14, 2010: Matthew Scholte, Topological Color Codes on Union Jack Lattices: A Stable Implementation of the Whole Clifford Group

Abstract: I will present a summary of the above paper (arxiv:0910.0573)  and related papers. I will give a summary of the hexagonal and  square-octagonal lattice colour codes and their duals, the triangle and  Union Jack lattices, how the Clifford group can be implemented, and (time  permitting) discuss the error thresholds and their comparison to the toric  code.


--- May 7, 2010: Tzu-Chieh Wei

--- April 30, 2010: Pradeep Sarvepalli, Decoding Topological Quantum Codes

Abstract:  In this talk I will give a brief overview of decoding algorithms for topological
quantum codes namely, the surface codes and color codes. I will first
present two decoding algorithms for surface codes; one of which is based on
Edmonds' algorithm for minimum weight matching in a graph and another
proposed by Cianci and Poulin (PRL 104, 050504) which uses a combination of
iterative decoding and renormalization methods that significantly lower
the complexity and improve the performance. I will then consider a
generalization of the matching algorithm for color codes due to Wang et al
(arXiv:0907.1708) and a potential extension of the iterative algorithm for
color codes.


--- April 23, 2010: open discussion

--- April 16, 2010: paper discussion session

1. "Gravity from Quantum Information", J-W Lee, H-C Kim, and J. Lee, arXiv:1001.5445
2. "On the Origin of Gravity and the Laws of Newton", E. Verlinde, arXiv:1001.0785

--- April 9, 2010: Robert Raussendorf, Measurement-based QC with planer codes states - the   problem of partial overlaps

Astract:  Measurement-based quantum computation (MQC) on planar code states has been shown to be efficiently classically simulatable, if we assume an additional technical condition [Bravyi+RR, 2006]. Namely, the sets of measured and unmeasured qubits must remain connected (wrt to the underlying planar graph) at all times. Likely, this condition cannot be relaxed very much. However, it is conceivable that this connectedness requirement follows from a more natural assumption, namely that the MQC be deterministic. Here,``deterministic'' means that the randomness introduced by the local measurements can be accounted for by adaption of measurement bases, and thus does not creep into the logical processing. In this talk, I present partial results towards establishing that classical simulation of deterministic MQC on planar code states is efficient.

--- April 2, 2010: Good Friday, no talk scheduled

--- March 26, 2010: Len Goff, State Overlaps of the 2D Color Code States (Part II)


--- March 19, 2010 (joint with Gravity group): Don Page, The Born Rule Fails in Cosmology

*** Notice place changed to Hennings 318 and time changed to 12:00pm ****

Astract:  The Born rule may be stated mathematically as the rule that probabilities in  quantum theory are expectation values of a complete orthogonal set of  projection operators. This rule works for single laboratory settings in  which the observer can distinguish all the different possible outcomes  corresponding to the projection operators. However, theories of inflation  suggest that the universe may be so large that any laboratory, no matter how  precisely it is defined by its internal state, may exist in a large number  of very distantly separated copies throughout the vast universe. In this  case, no observer within the universe can distinguish all possible outcomes  for all copies of the laboratory. Then normalized probabilities for the  local outcomes that can be locally distinguished cannot be given by the  expectation values of any projection operators. Thus the Born rule dies and  must be replaced by another rule for observational probabilities in  cosmology. The freedom of what this new rule is to be is the measure problem  in cosmology. A particular volume-averaged form is proposed.


--- March 12, 2010: Len Goff, State Overlaps of the 2D Color Code States (Part I)

Astract
 
Topological color codes (TCCs) are a class of quantum stabilizer codes that are defined in terms of a graph with certain colorability properties, and can be used for fault-tolerant computations or memory.  But one might also explore the possibility of performing measurement based quanum computation (MBQC) using TCC states as initial resource states. Simulating such a computation on a classical computer would involve evaluating the overlaps between a TCC state and suitable qubit product states.  In this talk I will introduce a class of TCC states defined on 2D graphs and present a result by Bombin and Martin-Delgado that relates their state overlaps to the partition function of a classical Ising model in two-dimensions.  This Ising model contains three-body interactions, in contrast to MBQC on planar code states which yields a classical Ising model with two-body interactions.  I will roughly sketch special cases where exact solutions to the three-body Ising model are known, while leaving the general case as an open problem.
 
H. Bombin & M.A. Martin-Delgado, "Statistical mechanical models and topological color codes":  http://pra.aps.org/abstract/PRA/v77/i4/e042322


--- March 5, 2010: Philip Ketterer, Introduction to Clifford quantum cellular automata

*** Notice place changed to Hennings 318 and time changed to 9:30am ****

Astract:  I will present a basic introduction to Clifford quantum cellular automata (CQCA). CQCA are a special kind of quantum cellular automata (QCAs) that incorporate Clifford group operations for the time evolution. Despite being classically simulable, they can be used as basic building blocks for universal quantum computation. After a basic definition and some examples I will show that CQCAs are equal to a classical system. This formalism allows an easy classification of CQCA and an analysis of various properties of CQCA such as entanglement generation.
  
The talk is based on the papers: arXiv:0804.4447, arXiv:0906.3195, and arXiv:1001.1062.


--- Feb 12, 2010: Tzu-Chieh Wei, Introduction to Local Hamiltonian Problems and complexity class QMA (part II)

--- Feb 5, 2010: Tzu-Chieh Wei, Introduction to Local Hamiltonian Problems and complexity class QMA (part I)

Abstract: I will give an introduction of a quantum computational complexity class: Quantum Merlin-Arthur (QMA), introduced by Kitaev. QMA is an analogue of the classical computational complexity class NP. I will also describe the Local Hamiltonian problems, which belong to QMA and are actually complete in QMA.

References:
"Quantum NP - A Survey", D. Aharonov and T. Naveh, quantu-ph/0210077
"Classical and Quantum Computation", a book by A. Yu Kitaev, A. Shen and M. N. Vyalyi


--- Feb 1, 2010 (Theory Seminar): David Feder (U Calgary), Measurement-based quantum computing in a fermionic ground state

Time and Location: Monday, Feb 1, 12 noon, Hennings 318/ coffee and sandwiches

Abstract: Quantum computers have the potential to solve various problems more efficiently than any conceivable classical computer, but building such a device is a major challenge. The main problem is that one needs to have precise control of the components, while otherwise keeping them as isolated as possible from the rest of the environment. Ideally then, a quantum computer would be closely related to the gapped ground state of some natural quantum system, with manipulations on it (such as local rotations and measurements) preserving this central characteristic. Finding candidate Hamiltonians has been difficult, however. It turns out that the vast majority of quantum mechanical states are not useful for quantum information processing in such a model. Even worse, no one even knows what are the important properties that make a state useful or not!

I will discuss the fundamental properties of fermions, and show that under very specific circumstances the gapped ground state of these indistinguishable particles can in fact constitute a universal resource for quantum computation. In this model the quantum information itself becomes fundamentally non-local. Entanglement is associated with fermionic antisymmetry, but alone cannot be used to perform tasks such as quantum teleportation; for this one also needs local particle interactions.

--- Jan 29, 2010: Poya Haghnegahdar, Review of the paper "Graphical Quantum Error-Correcting Codes" by Sixia Yu, Qing Chen, C.H. Oh

Astract of the paper:  We introduce a purely graph-theoretical object, namely the coding clique, to construct quantum errorcorrecting codes. Almost all quantum codes constructed so far are stabilizer (additive) codes and the construction of nonadditive codes, which are potentially more efficient, is not as well understood as that of stabilizer codes. Our graphical approach provides a unified and classical way to construct both stabilizer and nonadditive codes. In particular we have explicitly constructed the optimal ((10,24,3)) code and a family of 1-error detecting nonadditive codes with the highest encoding rate so far. In the case of stabilizer codes a thorough search becomes tangible and we have classified all the extremal stabilizer codes up to 8 qubits.

--- Jan 22, 2010: Len Goff (UBC), Generalized entanglement

Abstract: In this talk I will discuss the idea of "generalized entanglement", which is a research program aimed at extending the notion of entanglement beyond a subsystem based decomposition of Hilbert space.  Mainly, I will provide an introduction to the idea based on the two references listed below.  I will also discuss the motivation for this approach, and we will check that generalized entanglement contains the Schmidt rank measure of conventional entanglement as a special case.  Time permitting, I will discuss the prospect of applying generalized entanglement to systems of non-interacting fermions.

L. Viola, H. Barnum, E. Knill, G. Ortiz, R. Somma: “Entanglement Beyond Subsystems” arxiv: quant-ph\0403044v1
L. Viola, H. Barnum: “Entanglement and Subsystems, Entanglement beyond Subsystems, and All That” arxiv: quant-ph/070112v1


--- Jan 12, 2010: Discussion

Time and Location: Tuesday, Jan 12, 4pm, Hennings 311



In fall 2009, if not explicitely stated otherwise, the seminar takes place Wednesdays 3pm in the Theory Centre (Hennings, room 311).

Seminars in 2008