Extending ancilla driven universal quantum computation beyond stepwise determinism

A major research goal in the field of quantum computation is the construction of the universal quantum computer (UQC): a device that can implement any quantum algorithm. Several theoretical schemes for implementing UQC have been developed which require different sets of resources and capabilities with varying implications for the optimum experimental implementations. The ancilla driven quantum computation scheme (ADQC) comprises two subsystems: a memory register of qubits on which information is retained and processed and an ancilla system of qubits which couple to the register. This coupling is represented in the ADQC scheme by a fixed quantum gate.By preparing the ancilla in selected states before applying this gate and then measuring it in selected measurement basis afterwards, quantum gates are enacted on the register qubits. ADQC is deterministic in that the probability of the outcome after performing the entire procedure is 1 but we have to apply corrections to the procedure at each step that depend on the probabilistic outcome of the ancilla measurement. An important resource in this model is the availability of a maximally entangling two-qubit gate between the ancilla and register qubits because if the gate is not maximally entangling,the resulting gates on the register can not be selected with stepwise determinism.It is proven in this thesis that in fact ADQC with non-maximally entangling interaction gates is universal. This requires showing that single- and two-qubit unitary gates can be effciently implemented probabilistically. We also show a relationship between the expected time of the probabilistic implementation of a gate and the ability to control the ancilla. In the ADQC model, the ancilla is controlled with single qubit unitary gates just before interacting with the register and just before measurement.We show that the increase in time caused by a loss of maximally entangling two-qubit gates can be counteracted by control over the ancilla. This needs not be the ability to perform any single qubit unitary to the ancilla but just the ability to perform a specific small finite set of operations.This is important because the resource requirements described by a scheme affect the properties of possible experimental implementations. The ADQC scheme was originally designed to be used with physical implementations of quantum computing that involves qubits coming from different physical systems that have different properties.This may restrict the availability of couplings between the register and ancilla systems equivalent to maximally entangling quantum gates. By further focusing on the model under specific restrictions, such as minimal control of the ancilla system or long distance separation between register qubits, we find certain properties of the physical implementation that may best suit it for ADQC beyond stepwise determinism. Minimal control appears best suited for symmetric ancilla-register interactions; use overlong distances suits a transmitter going to an unknown receiver with possible small errors in the receiver's interaction with the ancilla.A major research goal in the field of quantum computation is the construction of the universal quantum computer (UQC): a device that can implement any quantum algorithm. Several theoretical schemes for implementing UQC have been developed which require different sets of resources and capabilities with varying implications for the optimum experimental implementations. The ancilla driven quantum computation scheme (ADQC) comprises two subsystems: a memory register of qubits on which information is retained and processed and an ancilla system of qubits which couple to the register. This coupling is represented in the ADQC scheme by a fixed quantum gate.By preparing the ancilla in selected states before applying this gate and then measuring it in selected measurement basis afterwards, quantum gates are enacted on the register qubits. ADQC is deterministic in that the probability of the outcome after performing the entire procedure is 1 but we have to apply corrections to the procedure at each step that depend on the probabilistic outcome of the ancilla measurement. An important resource in this model is the availability of a maximally entangling two-qubit gate between the ancilla and register qubits because if the gate is not maximally entangling,the resulting gates on the register can not be selected with stepwise determinism.It is proven in this thesis that in fact ADQC with non-maximally entangling interaction gates is universal. This requires showing that single- and two-qubit unitary gates can be effciently implemented probabilistically. We also show a relationship between the expected time of the probabilistic implementation of a gate and the ability to control the ancilla. In the ADQC model, the ancilla is controlled with single qubit unitary gates just before interacting with the register and just before measurement.We show that the increase in time caused by a loss of maximally entangling two-qubit gates can be counteracted by control over the ancilla. This needs not be the ability to perform any single qubit unitary to the ancilla but just the ability to perform a specific small finite set of operations.This is important because the resource requirements described by a scheme affect the properties of possible experimental implementations. The ADQC scheme was originally designed to be used with physical implementations of quantum computing that involves qubits coming from different physical systems that have different properties.This may restrict the availability of couplings between the register and ancilla systems equivalent to maximally entangling quantum gates. By further focusing on the model under specific restrictions, such as minimal control of the ancilla system or long distance separation between register qubits, we find certain properties of the physical implementation that may best suit it for ADQC beyond stepwise determinism. Minimal control appears best suited for symmetric ancilla-register interactions; use overlong distances suits a transmitter going to an unknown receiver with possible small errors in the receiver's interaction with the ancilla

Representation of Short Distances in Structurally Sparse Graphs

A partial orientation H of a graph G is a weak r-guidance system if for any two vertices at distance at most r in G, there exists a shortest path P between them such that H directs all but one edge in P towards this edge. In case that H has bounded maximum outdegree ?, this gives an efficient representation of shortest paths of length at most r in G: For any pair of vertices, we can either determine the distance between them or decide the distance is more than r, and in the former case, find a shortest path between them, in time O(?^r). We show that graphs from many natural graph classes admit such weak guidance systems, and study the algorithmic aspects of this notion. We also apply the notion to obtain approximation algorithms for distance variants of the independence and domination number in graph classes that admit weak guidance systems of bounded maximum outdegree

Bidirectional string anchors: A new string sampling mechanism

The minimizers sampling mechanism is a popular mechanism for string sampling introduced independently by Schleimer et al. [SIGMOD 2003] and by Roberts et al. [Bioinf. 2004]. Given two positive integers w and k, it selects the lexicographically smallest length-k substring in every fragment of w consecutive length-k substrings (in every sliding window of length w+k-1). Minimizers samples are approximately uniform, locally consistent, and computable in linear time. Although they do not have good worst-case guarantees on their size, they are often small in practice. They thus have been successfully employed in several string processing applications. Two main disadvantages of minimizers sampling mechanisms are: first, they also do not have good guarantees on the expected size of their samples for every combination of w and k; and, second, indexes that are constructed over their samples do not have good worst-case guarantees for on-line pattern searches. To alleviate these disadvantages, we introduce bidirectional string anchors (bd-anchors), a new string sampling mechanism. Given a positive integer , our mechanism selects the lexicographically smallest rotation in every length- fragment (in every sliding window of length ). We show that bd-anchors samples are also approximately uniform, locally consistent, and computable in linear time. In addition, our experimen

LIPIcs, Volume 258, SoCG 2023, Complete Volume

LIPIcs, Volume 258, SoCG 2023, Complete Volum