Skip to main content

Publications

Chapters

Mathieson, L, Mendes, A, Marsden, J, Pond, J & Moscato, P 2017, 'Computer-Aided Breast Cancer Diagnosis with Optimal Feature Sets: Reduction Rules and Optimization Techniques' in Methods in Molecular Biology, Springer New York, Germany, pp. 299-325.
View/Download from: Publisher's site
View description>>

Journal articles

Braun, G, Jain, R, Lee, T & Pokutta, S 2017, 'Information-theoretic approximations of the nonnegative rank', computational complexity, vol. 26, no. 1, pp. 147-197.
View/Download from: Publisher's site

Chapman, RJ, Karim, A, Huang, Z, Flammia, ST, Tomamichel, M & Peruzzo, A 2017, 'Beating the Classical Limits of Information Transmission using a Quantum Decoder', Phys. Rev. A, vol. 97, no. 1, p. 012315.
View/Download from: Publisher's site
View description>>

Cheng, H-C, Hsieh, M-H & Tomamichel, M 2017, 'Quantum Sphere-Packing Bounds with Polynomial Prefactors', IEEE Transactions on Information Theory, 65(5):2872-2898, May 2019, vol. 65, no. 5, pp. 2872-2898.
View/Download from: Publisher's site
View description>>

Chubb, CT, Tan, VYF & Tomamichel, M 2017, 'Moderate deviation analysis for classical communication over quantum channels', Communications in Mathematical Physics, vol. 355, no. 3, pp. 1283-1315.
View/Download from: Publisher's site
View description>>

Fang, K, Wang, X, Tomamichel, M & Duan, R 2017, 'Non-asymptotic entanglement distillation', IEEE Transactions on Information Theory, vol. 65, no. 10, pp. 6454-6465.
View/Download from: Publisher's site
View description>>

Granade, C, Ferrie, C & Flammia, ST 2017, 'Practical adaptive quantum tomography', New Journal of Physics, vol. 19, no. 11, pp. 113017-113017.
View/Download from: Publisher's site
View description>>

Grochow, JA & Qiao, Y 2017, 'Algorithms for Group Isomorphism via Group Extensions and Cohomology', SIAM Journal on Computing, vol. 46, no. 4, pp. 1153-1216.
View/Download from: Publisher's site
View description>>

Guan, J, Feng, Y & Ying, M 2017, 'Super-activating Quantum Memory with Entanglement', Quantum Information and Computation, vol. 18, no. 13-14, pp. 1115-1124.
View description>>

Harper, R, Chapman, RJ, Ferrie, C, Granade, C, Kueng, R, Naoumenko, D, Flammia, ST & Peruzzo, A 2017, 'Explaining quantum correlations through evolution of causal models', Physical Review A, vol. 95, no. 4, pp. 1-16.
View/Download from: Publisher's site
View description>>

Herr, D, Nori, F & Devitt, SJ 2017, 'Lattice surgery translation for quantum computation', New Journal of Physics, vol. 19, no. 1, pp. 013034-013034.
View/Download from: Publisher's site
View description>>

Herr, D, Nori, F & Devitt, SJ 2017, 'Optimization of Lattice Surgery is NP-Hard', npj Quantum Information 3, Article number: 35 (2017), vol. 3, no. 1, pp. 1-5.
View/Download from: Publisher's site
View description>>

Ivanyos, G, Qiao, Y & Subrahmanyam, KV 2017, 'Non-commutative Edmonds’ problem and matrix semi-invariants', computational complexity, vol. 26, no. 3, pp. 717-763.
View/Download from: Publisher's site
View description>>

Kieferová, M & Wiebe, N 2017, 'Tomography and generative training with quantum Boltzmann machines', Physical Review A, vol. 96, no. 6.
View/Download from: Publisher's site

Kong, S, Li, S & Sioutis, M 2017, 'Exploring Directional Path-Consistency for Solving Constraint Networks', The Computer Journal, vol. 61, no. 9.
View/Download from: Publisher's site
View description>>

Kong, S, Li, S, Li, Y & Long, Z 2017, 'On tree-preserving constraints', Annals of Mathematics and Artificial Intelligence, vol. 81, no. 3-4, pp. 241-271.
View/Download from: Publisher's site
View description>>

Lai, CY & Duan, R 2017, 'On the one-shot zero-error classical capacity of classical-quantum channels assisted by quantum non-signalling correlations', Quantum Information and Computation, vol. 17, no. 5&6, pp. 380-398.
View/Download from: Publisher's site
View description>>

Langford, NK, Sagastizabal, R, Kounalakis, M, Dickel, C, Bruno, A, Luthi, F, Thoen, DJ, Endo, A & DiCarlo, L 2017, 'Experimentally simulating the dynamics of quantum light and matter at deep-strong coupling', Nature Communications, vol. 8, no. 1, pp. 1715-1715.
View/Download from: Publisher's site
View description>>

Lee, T, Wei, Z & de Wolf, R 2017, 'Some upper and lower bounds on PSD-rank', Mathematical Programming, vol. 162, no. 1-2, pp. 495-521.
View/Download from: Publisher's site

Lekitsch, B, Weidt, S, Fowler, AG, Mølmer, K, Devitt, SJ, Wunderlich, C & Hensinger, WK 2017, 'Blueprint for a microwave trapped ion quantum computer', Science Advances, vol. 3, no. 2, pp. 1-11.
View/Download from: Publisher's site
View description>>

Li, Y & Qiao, Y 2017, 'On rank-critical matrix spaces', Differential Geometry and its Applications, vol. 55, pp. 68-77.
View/Download from: Publisher's site
View description>>

Lund, AP, Bremner, MJ & Ralph, TC 2017, 'Quantum Sampling Problems, BosonSampling and Quantum Supremacy', npj Quantum Information (2017) 3:15, vol. 3, no. 1, pp. 1-8.
View/Download from: Publisher's site
View description>>

Mans, B & Mathieson, L 2017, 'Incremental Problems in the Parameterized Complexity Setting', Theory of Computing Systems, vol. 60, no. 1, pp. 3-19.
View/Download from: Publisher's site
View description>>

Mukhopadhyay, P & Qiao, Y 2017, 'Sparse multivariate polynomial interpolation on the basis of Schubert polynomials', computational complexity, vol. 26, no. 4, pp. 881-909.
View/Download from: Publisher's site
View description>>

Nemoto, K, Devitt, S & Munro, WJ 2017, 'Noise management to achieve superiority in quantum information systems', Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 375, no. 2099, pp. 20160236-20160236.
View/Download from: Publisher's site
View description>>

Wang, X, Fang, K & Tomamichel, M 2017, 'On converse bounds for classical communication over quantum channels', IEEE Transactions on Information Theory 65(7): 4609 - 4619, July 2019, vol. 65, no. 7, pp. 4609-4619.
View/Download from: Publisher's site
View description>>

Ying, M, Ying, S & Wu, X 2017, 'Invariants of quantum programs: characterisations and generation', ACM SIGPLAN Notices, vol. 52, no. 1, pp. 818-832.
View/Download from: Publisher's site
View description>>

Yu, N, Duan, R & Xu, Q 2017, 'Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels', IEEE Transactions on Information Theory, vol. 63, no. 2, pp. 1299-1310.
View/Download from: Publisher's site
View description>>

Conferences

Alexander-Floyd, JJ, Entezari, A, Ying, M, Haroon, S & Gidalevitz, T 1970, 'Natural genetic variation modifies polyglutamine aggregation via an imbalance in autophagy.', MOLECULAR BIOLOGY OF THE CELL, Annual Joint Meeting of the American-Society-for-Cell-Biology and the European-Molecular-Biology-Organization (ASCB/EMBO), AMER SOC CELL BIOLOGY, PA, Philadelphia.

Anshu, A, Ben-David, S, Garg, A, Jain, R, Kothari, R & Lee, T 1970, 'Separating quantum communication and approximate rank', Leibniz International Proceedings in Informatics, LIPIcs.
View/Download from: Publisher's site
View description>>

Anshu, A, Touchette, D, Yao, P & Yu, N 1970, 'Exponential separation of quantum communication and classical information', Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC '17: Symposium on Theory of Computing, ACM, Montreal, Canada, pp. 277-288.
View/Download from: Publisher's site
View description>>

Bei, X, Qiao, Y & Zhang, S 1970, 'Networked Fairness in Cake Cutting', Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, Twenty-Sixth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, pp. 3632-3638.
View/Download from: Publisher's site
View description>>

Belovs, A, Ivanyos, G, Qiao, Y, Santha, M & Yang, S 1970, 'On the polynomial parity argument complexity of the combinatorial nullstellensatz', Leibniz International Proceedings in Informatics, LIPIcs.
View/Download from: Publisher's site
View description>>

Cheng, H-C, Hsieh, M-H & Tomamichel, M 1970, 'Sphere-packing bound for classical-quantum channels', 2017 IEEE Information Theory Workshop (ITW), 2017 IEEE Information Theory Workshop (ITW), IEEE, Kaohsiung, Taiwan, pp. 479-483.
View/Download from: Publisher's site
View description>>

Cheng, H-C, Hsieh, M-H & Tomamichel, M 1970, 'Sphere-Packing Bound for Symmetric Classical-Quantum Channels', IEEE International Symposium on Information Theory - Proceedings, IEEE International Symposium on Information Theory, IEEE, Aachen, Germany, pp. 286-290.
View/Download from: Publisher's site
View description>>

Chubb, CT, Tan, VYF & Tomamichel, M 1970, 'Moderate deviation analysis for classical communication over quantum channels', 2017 IEEE International Symposium on Information Theory (ISIT), 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, Vail, CO, USA, pp. 1544-1548.
View/Download from: Publisher's site

Haque, MN, Mathieson, L & Moscato, P 1970, 'A memetic algorithm for community detection by maximising the connected cohesion', 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, Honolulu, Hawaii, USA, pp. 1-8.
View/Download from: Publisher's site
View description>>

Ivanyos, G, Qiao, Y & Venkata Subrahmanyam, K 1970, 'Constructive non-commutative rank computation is in deterministic polynomial time', Leibniz International Proceedings in Informatics Lipics, Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl, Berkeley, CA, USA, pp. 1-18.
View/Download from: Publisher's site
View description>>

Ji, Z 1970, 'Compression of quantum multi-prover interactive proofs', Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC '17: Symposium on Theory of Computing, ACM, Montreal, Canada, pp. 289-302.
View/Download from: Publisher's site
View description>>

Kong, S, Lee, JH & Li, S 1970, 'A deterministic distributed algorithm for reasoning with connected row-convex constraints', Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Conference on Autonomous Agents and Multiagent System, International Foundation for Autonomous Agents and Multiagent Systems, São Paulo, Brazil, pp. 203-211.
View description>>

Li, S, Long, Z, Liu, W, Duckham, M & Both, A 1970, 'On Redundant Topological Constraints (Extended Abstract)', Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, Twenty-Sixth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, Melbourne, Australia, pp. 5020-5024.
View/Download from: Publisher's site
View description>>

Li, Y & Qiao, Y 1970, 'Linear Algebraic Analogues of the Graph Isomorphism Problem and the Erdős-Rényi Model', 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, Berkeley, CA, USA, pp. 463-474.
View/Download from: Publisher's site
View description>>

Sutter, D, Berta, M & Tomamichel, M 1970, 'Quantum Markov chains and logarithmic trace inequalities', 2017 IEEE International Symposium on Information Theory (ISIT), 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, Aachen, Germany, pp. 1988-1992.
View/Download from: Publisher's site
View description>>

Wilde, MM, Tomamichel, M & Berta, M 1970, 'A meta-converse for private communication over quantum channels', 2017 IEEE International Symposium on Information Theory (ISIT), 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, Aachen, Germany, pp. 291-295.
View/Download from: Publisher's site
View description>>

Ying, M, Ying, S & Wu, X 1970, 'Invariants of quantum programs: characterisations and generation.', POPL, ACM SIGPLAN Symposium on Principles of Programming Languages, ACM, Paris, France, pp. 818-832.
View/Download from: Publisher's site
View description>>

Zhou, L & Ying, M 1970, 'Differential Privacy in Quantum Computation.', CSF, IEEE Computer Security Foundations Symposium, IEEE Computer Society, Santa Barbara, CA, USA, pp. 249-262.
View/Download from: Publisher's site
View description>>

Other

Aggarwal, D, Brennen, GK, Lee, T, Santha, M & Tomamichel, M 2017, 'Quantum attacks on Bitcoin, and how to protect against them'.
View description>>

Berry, DW, Kieferová, M, Scherer, A, Sanders, YR, Low, GH, Wiebe, N, Gidney, C & Babbush, R 2017, 'Improved Techniques for Preparing Eigenstates of Fermionic Hamiltonians'.

Chubb, CT, Tomamichel, M & Korzekwa, K 2017, 'Beyond the thermodynamic limit: finite-size corrections to state interconversion rates'.
View description>>

Herr, D, Paler, A, Devitt, SJ & Nori, F 2017, 'A local and scalable lattice renormalization method for ballistic quantum computation'.

Herr, D, Paler, A, Devitt, SJ & Nori, F 2017, 'Lattice Surgery on the Raussendorf Lattice'.

Kong, S, Lee, JH & Li, S 2017, 'Multiagent Simple Temporal Problem: The Arc-Consistency Approach'.
View description>>

Liu, S, Wang, X, Zhou, L, Guan, J, Li, Y, He, Y, Duan, R & Ying, M 2017, '$Q|SI\rangle$: A Quantum Programming Environment', Symposium on Real-Time and Hybrid Systems.
View description>>

Madhav, KV, Biswas, T & Ghosh, S 2017, 'Coarse-graining of measurement and quantum-to-classical transition in the bipartite scenario'.
View description>>

Mann, RL & Bremner, MJ 2017, 'On the Complexity of Random Quantum Computations and the Jones Polynomial'.
View description>>

Mills, PW, Rundle, RP, Samson, JH, Devitt, SJ, Tilma, T, Dwyer, VM & Everitt, MJ 2017, 'On quantum invariants and the graph isomorphism problem'.

Paler, A & Devitt, SJ 2017, 'A Specification Format and a Verification Method of Fault-Tolerant Quantum Circuits'.

Ying, S, Ying, M & Feng, Y 2017, 'Quantum Privacy-Preserving Data Analytics.'.

Ying, S, Ying, M & Feng, Y 2017, 'Quantum Privacy-Preserving Perceptron.'.

Zhang, J, Devitt, SJ, You, JQ & Nori, F 2017, 'Holonomic Surface Codes for Fault-Tolerant Quantum Computation'.