Classical Ising model test for quantum circuits

We exploit a recently constructed mapping between quantum circuits and graphs in order to prove that circuits corresponding to certain planar graphs can be efficiently simulated classically. The proof uses an expression for the Ising model partition function in terms of quadratically signed weight enumerators (QWGTs), which are polynomials that arise naturally in an expansion of quantum circuits in terms of rotations involving Pauli matrices. We combine this expression with a known efficient classical algorithm for the Ising partition function of any planar graph in the absence of an external magnetic field, and the Robertson-Seymour theorem from graph theory. We give as an example a set of quantum circuits with a small number of non-nearest neighbor gates which admit an efficient classical simulation.Comment: 17 pages, 2 figures. v2: main result strengthened by removing oracular settin

Recognizing and Drawing IC-planar Graphs

IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$ vertices, we present an $O(n)$-time algorithm that computes a straight-line drawing of $G$ in quadratic area, and an $O(n^3)$-time algorithm that computes a straight-line drawing of $G$ with right-angle crossings in exponential area. Both these area requirements are worst-case optimal. We also show that it is NP-complete to test IC-planarity both in the general case and in the case in which a rotation system is fixed for the input graph. Furthermore, we describe a polynomial-time algorithm to test whether a set of matching edges can be added to a triangulated planar graph such that the resulting graph is IC-planar

Folding Large Antenna Tape Spring

This paper presents a novel concept for a low-mass, 50-m^2-deployable, P-band dual polarization antenna that can measure terrestrial biomass levels from a spacecraft in a low Earth orbit. A monolithic array of feed and radiating patches is bonded to a transversally curved structure consisting of two Kevlar sheets. The first sheet supports the array and the other sheet supports a ground plane. The two sheets are connected by a compliant Kevlar core that allows the whole structure to be folded elastically and to spring back to its original, undamaged shape. Test pieces have been made to demonstrate both the radio frequency and mechanical aspects of the design, particularly the radio frequency performance before and after folding the structure. It is concluded that the proposed design concept has high potential for large, low-frequency antennas for low-cost missions

A Recursive Definition of the Holographic Standard Signature

We provide a recursive description of the signatures realizable on the standard basis by a holographic algorithm. The description allows us to prove tight bounds on the size of planar matchgates and efficiently test for standard signatures. Over finite fields, it allows us to count the number of n-bit standard signatures and calculate their expected sparsity.Comment: Fixed small typo in Section 3.

Graphs, Random Walks, and the Tower of Hanoi

The Tower of Hanoi puzzle with its disks and poles is familiar to students in mathematics and computing. Typically used as a classroom example of the important phenomenon of recursion, the puzzle has also been intensively studied its own right, using graph theory, probability, and other tools. The subject of this paper is “Hanoi graphs”, that is, graphs that portray all the possible arrangements of the puzzle, together with all the possible moves from one arrangement to another. These graphs are not only fascinating in their own right, but they shed considerable light on the nature of the puzzle itself. We will illustrate these graphs for different versions of the puzzle, as well as describe some important properties, such as planarity, of Hanoi graphs. Finally, we will also discuss random walks on Hanoi graphs

Applications of dynamic programming tp problems of routing pipework and cables

Imperial Users onl