Current Research
Model-checking Quantum Markov Chains and symbolic bisimulation for quantum processes
Profs Mingsheng Ying and Yuan Feng, together with visiting PhD students Shenggang Ying, Yangjia Li and Nengkun Yu from Tsinghua University, initiated a new direction of research on Model-Checking Quantum Markov Chains, and its applications in analysis and verification of quantum programs, with a series of papers published in Concur '12, '13 and '14. In collaboration with Yuxin Deng from Shanghai Jiaotong University, they introduced symbolic semantics for quantum processes without resorting to quantum states, thereby avoiding the difficulty caused by the continuity of state spaces. Based on these semantics, they proposed an algorithm for efficiently checking symbolic bisimilarity as well as a modal characterisation for quantum bisimilarity. The work, published in ACM Transactions on Computational Logic, paves the way for automatic verification of quantum systems in the process algebra approach.
Quantum effects in Quantum Shannon theory
Prof Runyao Duan and A/Prof Min-Hsiu Hsieh are working on Quantum Shannon Theory - a theory about how information can be efficiently compressed and faithfully transmitted. Prof Duan is particularly interested in developing a quantum zero-error information theory and exploit quantum effects in zero-error communication. A/Prof Hsieh’s research focuses on understanding how entanglement can be used in information-processing tasks. A good example is to use entanglement to assist quantum communication and quantum error correction codes. With entanglement assistance, it is possible to construct quantum error correction codes from classical linear codes, and achieve better performance. Their work were published in IEEE Transactions on Information Theory and Physical Review Letters.
Quantum complexity theory, algorithms, and implementations
Over last year A/Prof Michael Bremner has been researching the complexity and implementations of quantum computation. A key theme has been to study classes of quantum computations that might be provably “beyond classical”, in that there are no efficient classical algorithms for these computations without significant consequences for computational complexity theory. He is focused on methods for physically implementing such quantum computations, identifying new classically difficult quantum complexity classes, and finding useful applications for these classes of computations.
Spatial reasoning
Prof Sanjiang Li’s research in spatial reasoning aims to establish expressive representation formalism of spatial knowledge and provide effective reasoning mechanisms. While expressiveness can be achieved by expressing spatial information using relations from multiple relational calculi, the great challenge is to develop reasoning algorithms that are correct and complete when reasoning over the combined information. In a recent work published in Journal of AI Research in 2014, Prof Li and collaborators tackled this important problem by combining some of the best known calculi in qualitative spatial reasoning and our computational complexity results unveil the significant differences between different topological/directional calculi.
Isomorphism
Dr Youming Qiao is studying the group isomorphism problem and has invented efficient algorithms for new group classes based on group extension theory. He also completed a systematic study of the complexity of a trial and error model, recently proposed by Bei, Chen and Zhang (STOC 2013), with results that suggest the trial and error complexity of constraint satisfaction problems can be converted to the normal setting. This finding, appearing at ICALP 2014, greatly enhances understanding of this new model.
Also notable is that Dr Qiao, a new lecturer in QCL, published one journal paper and four conference papers - STACS, ICALP, CCC, MFCS - in 2014. ICALP is generally regarded as the most prestigious theoretical computer science conference in Europe, and CCC is the most prominent conference dedicated to computational complexity results. He also participated in a program at the Simons Institute at UC Berkeley – a newly established centre for theoretical computer science - and commenced collaborations with Prof Ketan Mulmuley of the University of Chicago.
Optical quantum information processing
Dr Peter Rohde’s research focusses on optical quantum information processing, with a special focus on quantum walks, boson-sampling, encryption and quantum metrology. Quantum walks and boson-sampling provide a new avenue for optical quantum computing, which, whilst not as versatile as ‘universal’ quantum computing architectures, are far simpler to implement experimentally. He has collaborated extensively with experimentalists to bring these ideas to reality. Recently, a key paper published in Physical Review Letters presented a new technique for quantum metrology – the goal of supersensitive measurement – using only single photons evolved via simple optical circuits. This approach allows measurement more precise than any classical technique and could find applications in medicine, mining and fundamental physics research. This work featured prominently in a popular article published in the Sydney Morning Herald. Dr Rohde’s collaborations bring together leading scientists from Australia, the United States, Poland, Germany, the United Kingdom, Mexico, Singapore and Japan.
A brief summary of the current research being explored in the Quantum Computation Laboratory follows.
-
Our Labs
Data Science (DSKD)
Decision Systems (DeSI)
Innovation (The Magic Lab)
Knowledge Infrastructure (KIL)
Quantum Computation (QCL)
-- Current Research
-- Our Team
-- QCL Site
-- QCL Admin LoginOur Research
News
Events
Projects
Publications
Achievements
About QCIS
History
International Advisory Board
Joint Research Centres
Working With Us
Studying With Us
Reports & Statistics
--
Our People
Gallery -
City Campus:
Level 10
UTS Building 11
15 Broadway
Ultimo NSW 2007Director: Prof Runyao Duan
Phone: +61-2-9514 4619
Email: Runyao.Duan@uts.edu.au