Showing 1–6 of 6 results for author: Heidema, J

Products and tensor products of graphs and homomorphisms

Authors: Izak Broere, Johannes Heidema

Abstract: We introduce and study, for a process P delivering edges on the Cartesian product of the vertex sets of a given set of graphs, the P-product of these graphs, thereby generalizing many types of product graph. Analogous to the notion of a multilinear map (from linear algebra), a P-morphism is introduced and utilised to define a P-tensor product of graphs, after which its uniqueness is demonstrated.… ▽ More We introduce and study, for a process P delivering edges on the Cartesian product of the vertex sets of a given set of graphs, the P-product of these graphs, thereby generalizing many types of product graph. Analogous to the notion of a multilinear map (from linear algebra), a P-morphism is introduced and utilised to define a P-tensor product of graphs, after which its uniqueness is demonstrated. Congruences of graphs are utilised to show a way to handle projections (being weak homomorphisms) in this context. Finally, the graph of a homomorphism and a P-tensor product of homomorphisms are introduced, studied, and linked to the P-tensor product of graphs. △ Less

Submitted 9 February, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: Comments: 12 pages; Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

MSC Class: 05C76 (Primary); 05C25 (Secondary)

Universality and programmability of quantum computers

Authors: Willem Fouche', Johannes Heidema, Glyn Jones, Petrus H. Potgieter

Abstract: Manin, Feynman, and Deutsch have viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum logic circuits and quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. The problem of universality has been addressed most famously in a paper by Deutsch, and later by Bern… ▽ More Manin, Feynman, and Deutsch have viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum logic circuits and quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. The problem of universality has been addressed most famously in a paper by Deutsch, and later by Bernstein and Vazirani as well as Kitaev and Solovay. The quantum logic circuit model, developed by Feynman and Deutsch, has been more prominent in the research literature than Deutsch's quantum Turing machines. Quantum Turing machines form a class closely related to deterministic and probabilistic Turing machines and one might hope to find a universal machine in this class. A universal machine is the basis of a notion of programmability. The extent to which universality has in fact been established by the pioneers in the field is examined and this key notion in theoretical computer science is scrutinised in quantum computing by distinguishing various connotations and concomitant results and problems. △ Less

Submitted 22 October, 2007; v1 submitted 17 October, 2007; originally announced October 2007.

Comments: 17 pages, expands on arXiv:0705.3077v1 [quant-ph]

Halting in quantum Turing computation

Authors: W. L. Fouché, J. Heidema, G. Jones, P. H. Potgieter

Abstract: The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered. The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered. △ Less

Submitted 21 May, 2007; originally announced May 2007.

Comments: To appear in the proceedings of the 2007 Conference on Unconventional Computing (Bristol, UK, edited by Adamatzky, Bull, De Lacy Costello, Stepney, Teuscher), to be published by Luniver press

Deutsch's Universal Quantum Turing Machine (Revisited)

Authors: Willem Fouché, Johannes Heidema, Glyn Jones, Petrus H. Potgieter

Abstract: Deutsch, Feynman, and Manin viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. This interesting problem has been addressed most famously in a paper by Deutsch, and later by Bernstein and Vazirani. Quantum Turing… ▽ More Deutsch, Feynman, and Manin viewed quantum computing as a kind of universal physical simulation procedure. Much of the writing about quantum Turing machines has shown how these machines can simulate an arbitrary unitary transformation on a finite number of qubits. This interesting problem has been addressed most famously in a paper by Deutsch, and later by Bernstein and Vazirani. Quantum Turing machines form a class closely related to deterministic and probabilistic Turing machines and one might hope to find a universal machine in this class. A universal machine is the basis of a notion of programmability. The extent to which universality has in fact been established by the pioneers in the field is examined and a key notion in theoretical computer science (universality) is scrutinised. In a forthcoming paper, the authors will also consider universality in the quantum gate model. △ Less

Submitted 16 January, 2007; originally announced January 2007.

Comments: 7 pages

Quantum computing (Kwantumberekening)

Authors: W. L. Fouché, J. Heidema, P. H. Potgieter

Abstract: There has been no lack of coverage in the past few years in scientific journals of the topic of quantum computation. Rightly so, as this is a novel idea with--so far--at least one very important practical application (prime factorisation) as soon as the technology can accommodate reasonably sized computations. Interest in quantum computing has been sparked by both the realization that increasing… ▽ More There has been no lack of coverage in the past few years in scientific journals of the topic of quantum computation. Rightly so, as this is a novel idea with--so far--at least one very important practical application (prime factorisation) as soon as the technology can accommodate reasonably sized computations. Interest in quantum computing has been sparked by both the realization that increasing miniaturisation will eventually bring computer scientists face-to-face with quantum effects, and by the gras** of the potential for massive parallelism inherent in the Hilbert space representation of quantum systems and in the special effects of quantum entanglement. △ Less

Submitted 20 September, 2005; v1 submitted 18 September, 2005; originally announced September 2005.

Comments: 24 pages, in Afrikaans (title: Kwantumberekening) with English abstract

Journal ref: Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie (ISSN 0254-3486), Vol 24, Issue 3, September, 60-83 (2005)

Some logics of belief and disbelief

Authors: Samir Chopra, Johannes Heidema, Thomas Meyer

Abstract: The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the explicit recording of classic belief contraction operations in the area of belief change, and the additional levels of expressivity obtained from an extended… ▽ More The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the explicit recording of classic belief contraction operations in the area of belief change, and the additional levels of expressivity obtained from an extended version of belief change which includes disbelief contraction. In this paper we present four logics of disbelief which address some or all of these intuitions. Soundness and completeness results are supplied and the logics are compared with respect to applicability and utility. △ Less

Submitted 9 July, 2002; originally announced July 2002.

ACM Class: I.2.3