arXiv subjects

Johann Makowsky

Publications and source records attributed to Johann Makowsky.

3 recordsLinked to original sources

arXiv2015

Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

In this paper I discuss what, according to my long experience, every computer scientist should know from logic. We concentrate on issues of modeling, interpretability and levels of abstraction. We discuss what the minimal toolbox of logic tools should look like for a computer scientist who is involved in designing and analyzing reliable systems. We shall conclude that many classical topics dear to logicians are less important than usually presented, and that less-known ideas from logic may be more useful for the working computer scientist.

cs.CY↗

arXiv2009

Fifty Years of the Spectrum Problem: Survey and New Results

In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached in terms of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally in terms of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. One appendix paraphrases the contents of several early and not easily accesible papers by G. Asser, A. Mostowski, J. Bennett and S. Mo. Another appendix contains a compendium of questions and conjectures which remain open.

math.LO↗

arXiv2007

The quantum FFT can be classically simulated

In this note we describe a simple and intriguing observation: the quantum Fourier transform (QFT) over $Z_q$, which is considered the most ``quantum'' part of Shor's algorithm, can in fact be simulated efficiently by classical computers. More precisely, we observe that the QFT can be performed by a circuit of poly-logarithmic path-width, if the circuit is allowed to apply not only unitary gates but also general linear gates. Recalling the results of Markov and Shi [MaSh] and Jozsa [Jo] which provided classical simulations of such circuits in time exponential in the tree-width, this implies the result stated in the title. Classical simulations of the FFT are of course meaningless when applied to classical input strings on which their result is already known; Our observation might be interesting only in the context in which the QFT is used as a subroutine and applied to more interesting superpositions. We discuss the reasons why this idea seems to fail to provide an efficient classical simulation of the entire factoring algorithm. In the course of proving our observation, we provide two alternative proofs of the results of [MaSh,Jo] which we use. One proof is very similar in spirit to that of [MaSh] but is more visual, and is based on a graph parameter which we call the ``bubble width'', tightly related to the path- and tree-width. The other proof is based on connections to the Jones polynomial; It is very short, if one is willing to rely on several known results.

quant-ph↗