Showing 1–8 of 8 results for author: Bremner, M

Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Authors: Michael J. Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro E. S. Morales

Abstract: We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is… ▽ More We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is in QW[1], the first level of the quantum weft hierarchy and that it is hard for QM[1], the quantum analogue of M[1]. Our results show that this problem cannot be fixed-parameter quantum tractable (FPQT) unless certain natural quantum analogue of the exponential time hypothesis (ETH) is false. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 37 pages, 10 figures

Building Flexible, Low-Cost Wireless Access Networks With Magma

Authors: Shaddi Hasan, Amar Padmanabhan, Bruce Davie, Jennifer Rexford, Ulas Kozat, Hunter Gatewood, Shruti Sanadhya, Nick Yurchenko, Tariq Al-Khasib, Oriol Batalla, Marie Bremner, Andrei Lee, Evgeniy Makeev, Scott Moeller, Alex Rodriguez, Pravin Shelar, Karthik Subraveti, Sudarshan Kandi, Alejandro Xoconostle, Praveen Kumar Ramakrishnan, Xiaochen Tian, Anoop Tomar

Abstract: Billions of people remain without Internet access due to availability or affordability of service. In this paper, we present Magma, an open and flexible system for building low-cost wireless access networks. Magma aims to connect users where operator economics are difficult due to issues such as low population density or income levels, while preserving features expected in cellular networks such a… ▽ More Billions of people remain without Internet access due to availability or affordability of service. In this paper, we present Magma, an open and flexible system for building low-cost wireless access networks. Magma aims to connect users where operator economics are difficult due to issues such as low population density or income levels, while preserving features expected in cellular networks such as authentication and billing policies. To achieve this, and in contrast to traditional cellular networks, Magma adopts an approach that extensively leverages Internet design patterns, terminating access network-specific protocols at the edge and abstracting the access network from the core architecture. This decision allows Magma to refactor the wireless core using SDN (software-defined networking) principles and leverage other techniques from modern distributed systems. In doing so, Magma lowers cost and operational complexity for network operators while achieving resilience, scalability, and rich policy support. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: 15 pages, 10 figures, to be published in the 20th USENIX Symposium on Networked Systems Design and Implementation (2023), source code available at https://github.com/magma/magma

Quantum Parameterized Complexity

Authors: Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw

Abstract: Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of pa… ▽ More Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of parameterized complexity classes and examine the relationship between these classes, their classical counterparts, and well-studied problems. This framework exposes a rich classification of the complexity of parameterized versions of QMA-hard problems, demonstrating, for example, a clear separation between the Quantum Circuit Satisfiability problem and the Local Hamiltonian problem. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 23 pages, 1 figure

Approximation Algorithms for Complex-Valued Ising Models on Bounded Degree Graphs

Authors: Ryan L. Mann, Michael J. Bremner

Abstract: We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions and external fields are absolutely bounded close to zero. Furthermore, we prove that for this class of Ising models the partition function does not vanish. Our al… ▽ More We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions and external fields are absolutely bounded close to zero. Furthermore, we prove that for this class of Ising models the partition function does not vanish. Our algorithm is based on an approach due to Barvinok for approximating evaluations of a polynomial based on the location of the complex zeros and a technique due to Patel and Regts for efficiently computing the leading coefficients of graph polynomials on bounded degree graphs. Finally, we show how our algorithm can be extended to approximate certain output probability amplitudes of quantum circuits. △ Less

Submitted 8 July, 2019; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: 12 pages, 0 figures, published version

Journal ref: Quantum 3, 162 (2019)

On the Complexity of Random Quantum Computations and the Jones Polynomial

Authors: Ryan L. Mann, Michael J. Bremner

Abstract: There is a natural relationship between Jones polynomials and quantum computation. We use this relationship to show that the complexity of evaluating relative-error approximations of Jones polynomials can be used to bound the classical complexity of approximately simulating random quantum computations. We prove that random quantum computations cannot be classically simulated up to a constant total… ▽ More There is a natural relationship between Jones polynomials and quantum computation. We use this relationship to show that the complexity of evaluating relative-error approximations of Jones polynomials can be used to bound the classical complexity of approximately simulating random quantum computations. We prove that random quantum computations cannot be classically simulated up to a constant total variation distance, under the assumption that (1) the Polynomial Hierarchy does not collapse and (2) the average-case complexity of relative-error approximations of the Jones polynomial matches the worst-case complexity over a constant fraction of random links. Our results provide a straightforward relationship between the approximation of Jones polynomials and the complexity of random quantum computations. △ Less

Submitted 2 November, 2017; originally announced November 2017.

Comments: 8 pages, 4 figures

Average-case complexity versus approximate simulation of commuting quantum computations

Authors: Michael J. Bremner, Ashley Montanaro, Dan J. Shepherd

Abstract: We use the class of commuting quantum computations known as IQP (Instantaneous Quantum Polynomial time) to strengthen the conjecture that quantum computers are hard to simulate classically. We show that, if either of two plausible average-case hardness conjectures holds, then IQP computations are hard to simulate classically up to constant additive error. One conjecture relates to the hardness of… ▽ More We use the class of commuting quantum computations known as IQP (Instantaneous Quantum Polynomial time) to strengthen the conjecture that quantum computers are hard to simulate classically. We show that, if either of two plausible average-case hardness conjectures holds, then IQP computations are hard to simulate classically up to constant additive error. One conjecture relates to the hardness of estimating the complex-temperature partition function for random instances of the Ising model; the other concerns approximating the number of zeroes of random low-degree polynomials. We observe that both conjectures can be shown to be valid in the setting of worst-case complexity. We arrive at these conjectures by deriving spin-based generalisations of the Boson Sampling problem that avoid the so-called permanent anticoncentration conjecture. △ Less

Submitted 23 September, 2015; v1 submitted 29 April, 2015; originally announced April 2015.

Comments: This version is arguably easier to read than v1. Trust us, we argued about it. 4+1+5 pages, RevTex 4.1

Journal ref: Phys. Rev. Lett. 117, 080501 (2016)

The 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants for SL(3,C) x SL(3,C) x SL(3,C)

Authors: Murray Bremner, Jiaxiong Hu, Luke Oeding

Abstract: We briefly review previous work on the invariant theory of 3 x 3 x 3 arrays. We then recall how to generate arrays of arbitrary size m_1 x ... x m_k with hyperdeterminant 0. Our main result is an explicit formula for the 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants of degrees 6, 9 and 12 for the action of the Lie group SL(3,C) x SL(3,C) x SL(3,C). We apply our calculati… ▽ More We briefly review previous work on the invariant theory of 3 x 3 x 3 arrays. We then recall how to generate arrays of arbitrary size m_1 x ... x m_k with hyperdeterminant 0. Our main result is an explicit formula for the 3 x 3 x 3 hyperdeterminant as a polynomial in the fundamental invariants of degrees 6, 9 and 12 for the action of the Lie group SL(3,C) x SL(3,C) x SL(3,C). We apply our calculations to Nurmiev's classification of normal forms for 3 x 3 x 3 arrays. △ Less

Submitted 17 February, 2014; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: 10 pages, to appear in Mathematics in Computer Science (Special Issue on Computational Algebraic Geometry)

MSC Class: Primary 13A50; Secondary 15A72; 17B10

The fundamental invariants of 3 x 3 x 3 arrays

Authors: Murray R. Bremner, Jiaxiong Hu

Abstract: We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group… ▽ More We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$. △ Less

Submitted 28 March, 2012; v1 submitted 13 December, 2011; originally announced December 2011.

Comments: 17 pages; revised version has more references, corrected typos, one simplified proof, and ancillary files containing the three fundamental invariants

MSC Class: 13A50 (Primary) 15A72; 17B10 (Secondary)