585 research outputs found
Beyond Outerplanarity
We study straight-line drawings of graphs where the vertices are placed in
convex position in the plane, i.e., convex drawings. We consider two families
of graph classes with nice convex drawings: outer -planar graphs, where each
edge is crossed by at most other edges; and, outer -quasi-planar graphs
where no edges can mutually cross. We show that the outer -planar graphs
are -degenerate, and consequently that every
outer -planar graph can be -colored, and this
bound is tight. We further show that every outer -planar graph has a
balanced separator of size . This implies that every outer -planar
graph has treewidth . For fixed , these small balanced separators
allow us to obtain a simple quasi-polynomial time algorithm to test whether a
given graph is outer -planar, i.e., none of these recognition problems are
NP-complete unless ETH fails. For the outer -quasi-planar graphs we prove
that, unlike other beyond-planar graph classes, every edge-maximal -vertex
outer -quasi planar graph has the same number of edges, namely . We also construct planar 3-trees that are not outer
-quasi-planar. Finally, we restrict outer -planar and outer
-quasi-planar drawings to \emph{closed} drawings, where the vertex sequence
on the boundary is a cycle in the graph. For each , we express closed outer
-planarity and \emph{closed outer -quasi-planarity} in extended monadic
second-order logic. Thus, closed outer -planarity is linear-time testable by
Courcelle's Theorem.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Towards the First Practical Applications of Quantum Computers
Noisy intermediate-scale quantum (NISQ) computers are coming online. The lack of error-correction in these devices prevents them from realizing the full potential of fault-tolerant quantum computation, a technology that is known to have significant practical applications, but which is years, if not decades, away. A major open question is whether NISQ devices will have practical applications.
In this thesis, we explore and implement proposals for using NISQ devices to achieve practical applications. In particular, we develop and execute variational quantum algorithms for solving problems in combinatorial optimization and quantum chemistry. We also execute a prototype of a protocol for generating certified random numbers. We perform our experiments on a superconducting qubit processor developed at Google. While we do not perform any quantum computations that are beyond the capabilities of classical computers, we address many implementation challenges that must be overcome to succeed in such an endeavor, including optimization, efficient compilation, and error mitigation. In addressing these challenges, we push the limits of what can currently be done with NISQ technology, going beyond previous quantum computing demonstrations in terms of the scale of our experiments and the types of problems we tackle. While our experiments demonstrate progress in the utilization of quantum computers, the limits that we reached underscore the fundamental challenges in scaling up towards the classically intractable regime. Nevertheless, our results are a promising indication that NISQ devices may indeed deliver practical applications.PHDComputer Science & EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/163016/1/kevjsung_1.pd
The Computational Power of Non-interacting Particles
Shortened abstract: In this thesis, I study two restricted models of quantum
computing related to free identical particles.
Free fermions correspond to a set of two-qubit gates known as matchgates.
Matchgates are classically simulable when acting on nearest neighbors on a
path, but universal for quantum computing when acting on distant qubits or when
SWAP gates are available. I generalize these results in two ways. First, I show
that SWAP is only one in a large family of gates that uplift matchgates to
quantum universality. In fact, I show that the set of all matchgates plus any
nonmatchgate parity-preserving two-qubit gate is universal, and interpret this
fact in terms of local invariants of two-qubit gates. Second, I investigate the
power of matchgates in arbitrary connectivity graphs, showing they are
universal on any connected graph other than a path or a cycle, and classically
simulable on a cycle. I also prove the same dichotomy for the XY interaction.
Free bosons give rise to a model known as BosonSampling. BosonSampling
consists of (i) preparing a Fock state of n photons, (ii) interfering these
photons in an m-mode linear interferometer, and (iii) measuring the output in
the Fock basis. Sampling approximately from the resulting distribution should
be classically hard, under reasonable complexity assumptions. Here I show that
exact BosonSampling remains hard even if the linear-optical circuit has
constant depth. I also report several experiments where three-photon
interference was observed in integrated interferometers of various sizes,
providing some of the first implementations of BosonSampling in this regime.
The experiments also focus on the bosonic bunching behavior and on validation
of BosonSampling devices. This thesis contains descriptions of the numerical
analyses done on the experimental data, omitted from the corresponding
publications.Comment: PhD Thesis, defended at Universidade Federal Fluminense on March
2014. Final version, 208 pages. New results in Chapter 5 correspond to
arXiv:1106.1863, arXiv:1207.2126, and arXiv:1308.1463. New results in Chapter
6 correspond to arXiv:1212.2783, arXiv:1305.3188, arXiv:1311.1622 and
arXiv:1412.678
Networks, (K)nots, Nucleotides, and Nanostructures
Designing self-assembling DNA nanostructures often requires the identification of a route for a scaffolding strand of DNA through the target structure. When the target structure is modeled as a graph, these scaffolding routes correspond to Eulerian circuits subject to turning restrictions imposed by physical constraints on the strands of DNA. Existence of such Eulerian circuits is an NP-hard problem, which can be approached by adapting solutions to a version of the Traveling Salesperson Problem. However, the author and collaborators have demonstrated that even Eulerian circuits obeying these turning restrictions are not necessarily feasible as scaffolding routes by giving examples of nontrivially knotted circuits which cannot be traced by the unknotted scaffolding strand.
Often, targets of DNA nanostructure self-assembly are modeled as graphs embedded on surfaces in space. In this case, Eulerian circuits obeying the turning restrictions correspond to A-trails, circuits which turn immediately left or right at each vertex. In any graph embedded on the sphere, all A-trails are unknotted regardless of the embedding of the sphere in space. We show that this does not hold in general for graphs on the torus. However, we show this property does hold for checkerboard-colorable graphs on the torus, that is, those graphs whose faces can be properly 2-colored, and provide a partial converse to this result. As a consequence, we characterize (with one exceptional family) regular triangulations of the torus containing unknotted A-trails. By developing a theory of sums of A-trails, we lift constructions from the torus to arbitrary n-tori, and by generalizing our work on A-trails to smooth circuit decompositions, we construct all torus links and certain sums of torus links from circuit decompositions of rectangular torus grids.
Graphs embedded on surfaces are equivalent to ribbon graphs, which are particularly well-suited to modeling DNA nanostructures, as their boundary components correspond to strands of DNA and their twisted ribbons correspond to double-helices. Every ribbon graph has a corresponding delta-matroid, a combinatorial object encoding the structure of the ribbon-graph\u27s spanning quasi-trees (substructures having exactly one boundary component). We show that interlacement with respect to quasi-trees can be generalized to delta-matroids, and use the resulting structure on delta-matroids to provide feasible-set expansions for a family of delta-matroid polynomials, both recovering well-known expansions of this type (such as the spanning-tree expansion of the Tutte polynnomial) as well as providing several previously unknown expansions. Among these are expansions for the transition polynomial, a version of which has been used to study DNA nanostructure self-assembly, and the interlace polynomial, which solves a problem in DNA recombination
Planar graphs : a historical perspective.
The field of graph theory has been indubitably influenced by the study of planar graphs. This thesis, consisting of five chapters, is a historical account of the origins and development of concepts pertaining to planar graphs and their applications. The first chapter serves as an introduction to the history of graph theory, including early studies of graph theory tools such as paths, circuits, and trees. The second chapter pertains to the relationship between polyhedra and planar graphs, specifically the result of Euler concerning the number of vertices, edges, and faces of a polyhedron. Counterexamples and generalizations of Euler\u27s formula are also discussed. Chapter III describes the background in recreational mathematics of the graphs of K5 and K3,3 and their importance to the first characterization of planar graphs by Kuratowski. Further characterizations of planar graphs by Whitney, Wagner, and MacLane are also addressed. The focus of Chapter IV is the history and eventual proof of the four-color theorem, although it also includes a discussion of generalizations involving coloring maps on surfaces of higher genus. The final chapter gives a number of measurements of a graph\u27s closeness to planarity, including the concepts of crossing number, thickness, splitting number, and coarseness. The chapter conclused with a discussion of two other coloring problems - Heawood\u27s empire problem and Ringel\u27s earth-moon problem
Quantum Computation with Topological Codes: from qubit to topological fault-tolerance
This is a comprehensive review on fault-tolerant topological quantum
computation with the surface codes. The basic concepts and useful tools
underlying fault-tolerant quantum computation, such as universal quantum
computation, stabilizer formalism, and measurement-based quantum computation,
are also provided in a pedagogical way. Topological quantum computation by
brading the defects on the surface code is explained in both circuit-based and
measurement-based models in such a way that their relation is clear. The
interdisciplinary connections between quantum error correction codes and
subjects in other fields such as topological order in condensed matter physics
and spin glass models in statistical physics are also discussed. This
manuscript will be appeared in SpringerBriefs.Comment: 155 pages, 133 figures, this manuscript will be appeared in
SpringerBriefs, comments are welcom
- …