Download textbook Mathematical Aspects Of Computer And Information Sciences 7Th International Conference Macis 2017 Vienna Austria November 15 17 2017 Proceedings 1St Edition Johannes Blomer ebook all chapter pdf

Mathematical Aspects of Computer and
Information Sciences: 7th International

Conference, MACIS 2017, Vienna,
Austria, November 15-17, 2017,
Proceedings 1st Edition Johannes
Blömer
Visit to download the full and correct content document:
https://textbookfull.com/product/mathematical-aspects-of-computer-and-information-s
ciences-7th-international-conference-macis-2017-vienna-austria-november-15-17-201
7-proceedings-1st-edition-johannes-blomer/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
Mathematical Aspects of Computer and Information

Sciences: 7th International Conference, MACIS 2017,
Vienna, Austria, November 15-17, 2017, Proceedings 1st
Edition Johannes Blömer
https://textbookfull.com/product/mathematical-aspects-of-
computer-and-information-sciences-7th-international-conference-
macis-2017-vienna-austria-november-15-17-2017-proceedings-1st-
edition-johannes-blomer/
Algorithmic Aspects of Cloud Computing Third

International Workshop ALGOCLOUD 2017 Vienna Austria
September 5 2017 Revised Selected Papers 1st Edition
Dan Alistarh
https://textbookfull.com/product/algorithmic-aspects-of-cloud-
computing-third-international-workshop-algocloud-2017-vienna-
austria-september-5-2017-revised-selected-papers-1st-edition-dan-
alistarh/
Advanced Hybrid Information Processing: First

International Conference, ADHIP 2017, Harbin, China,
July 17–18, 2017, Proceedings 1st Edition Guanglu Sun
https://textbookfull.com/product/advanced-hybrid-information-
processing-first-international-conference-adhip-2017-harbin-
china-july-17-18-2017-proceedings-1st-edition-guanglu-sun/
Mathematical Morphology and Its Applications to Signal

and Image Processing 13th International Symposium ISMM
2017 Fontainebleau France May 15 17 2017 Proceedings
1st Edition Jesús Angulo
https://textbookfull.com/product/mathematical-morphology-and-its-
applications-to-signal-and-image-processing-13th-international-
symposium-ismm-2017-fontainebleau-france-
Interactive Storytelling 10th International Conference
on Interactive Digital Storytelling ICIDS 2017 Funchal
Madeira Portugal November 14 17 2017 Proceedings 1st
Edition Nuno Nunes
https://textbookfull.com/product/interactive-storytelling-10th-
international-conference-on-interactive-digital-storytelling-
icids-2017-funchal-madeira-portugal-
november-14-17-2017-proceedings-1st-edition-nuno-nunes/
Practical Aspects of Declarative Languages 19th

International Symposium PADL 2017 Paris France January
16 17 2017 Proceedings 1st Edition Yuliya Lierler
https://textbookfull.com/product/practical-aspects-of-
declarative-languages-19th-international-symposium-
padl-2017-paris-france-january-16-17-2017-proceedings-1st-
edition-yuliya-lierler/
Digital Libraries: Data, Information, and Knowledge for

Digital Lives: 19th International Conference on Asia-
Pacific Digital Libraries, ICADL 2017, Bangkok,
Thailand, November 13-15, 2017, Proceedings 1st Edition
Songphan Choemprayong
https://textbookfull.com/product/digital-libraries-data-
information-and-knowledge-for-digital-lives-19th-international-
conference-on-asia-pacific-digital-libraries-icadl-2017-bangkok-
thailand-november-13-15-2017-proceedings/
Theoretical Computer Science 35th National Conference

NCTCS 2017 Wuhan China October 14 15 2017 Proceedings
1st Edition Dingzhu Du
https://textbookfull.com/product/theoretical-computer-
science-35th-national-conference-nctcs-2017-wuhan-china-
october-14-15-2017-proceedings-1st-edition-dingzhu-du/
Trusted Computing and Information Security: 11th

Chinese Conference, CTCIS 2017, Changsha, China,
September 14-17, 2017, Proceedings 1st Edition Ming Xu
https://textbookfull.com/product/trusted-computing-and-
information-security-11th-chinese-conference-ctcis-2017-changsha-
china-september-14-17-2017-proceedings-1st-edition-ming-xu/
Johannes Blömer · Ilias S. Kotsireas
Temur Kutsia · Dimitris E. Simos (Eds.)
LNCS 10693
Mathematical Aspects of Computer

and Information Sciences
7th International Conference, MACIS 2017
Vienna, Austria, November 15–17, 2017
Proceedings
123
Lecture Notes in Computer Science 10693
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7407
Johannes Blömer Ilias S. Kotsireas
•
Temur Kutsia Dimitris E. Simos (Eds.)

•
Mathematical Aspects of Computer

and Information Sciences
7th International Conference, MACIS 2017
Vienna, Austria, November 15–17, 2017
Proceedings
123
Editors
Johannes Blömer Temur Kutsia
University of Paderborn Johannes Kepler University Linz
Paderborn Linz
Germany Austria
Ilias S. Kotsireas Dimitris E. Simos
Wilfrid Laurier University SBA Research
Waterloo, ON Vienna
Canada Austria
ISSN 0302-9743 ISSN 1611-3349 (electronic)

Lecture Notes in Computer Science
ISBN 978-3-319-72452-2 ISBN 978-3-319-72453-9 (eBook)
https://doi.org/10.1007/978-3-319-72453-9
Library of Congress Control Number: 2017961797
LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues
© Springer International Publishing AG 2017

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now
known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are
believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in
published maps and institutional affiliations.
Printed on acid-free paper
This Springer imprint is published by Springer Nature

The registered company is Springer International Publishing AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Preface
Mathematical Aspects of Computer and Information Sciences (MACIS) is a series of

biennial conferences focusing on research in mathematical and computational aspects
of computing and information science. It is broadly concerned with algorithms, their
complexity, and their embedding in larger logical systems. At the algorithmic level
there is a rich interplay along the numerical/algebraic/geometrical/topological axes. At
the logical level, there are issues of data organization, interpretation, and associated
tools. These issues often arise in scientific and engineering computation where we need
experiments and case studies to validate or enrich the theory. At the application level,
there are significant applications in the areas of mathematical cryptography, machine
learning, and data analysis, and the various combinatorial structures and coding theory
concepts that are used in a pivotal role in computing and information sciences. MACIS
is interested in outstanding and emerging problems in all these areas. Previous MACIS
conferences have been held in Beijing (2006, 2011), Paris (2007), Fukuoka (2009),
Nanning (2013), and Berlin (2015). MACIS 2017 was held at the University of
Applied Sciences Technikum Wien located in the capital of Austria.
We are grateful to the track chairs and the Program Committee for their critical role
in putting together a very successful technical program, especially under strict dead-
lines. We also wish to extend our gratitude to all MACIS 2017 conference participants
– all of them contributed to making the conference a success. The conference would not
have been possible without the hard work of the local organizer from SBA Research,
Bettina Bauer. SBA Research is Austria’s leading center dedicated to information
security. One of its core research areas focuses on mathematical aspects of information
security. We are extremely fortunate to have received the generous support of our
sponsors: University of Applied Sciences Technikum Wien, Zuse Institute Berlin (in
particular, we are thankful to Winfried Neun for his efforts toward transferring the past
MACIS budget to this edition of MACIS), SBA Research, and the Vienna Convention
Bureau. Last but not least, we are thankful to the two invited speakers, Bruno Buch-
berger (RISC, Johannes Kepler University, Austria) and Dongming Wang (Beihang
University, China and CNRS, France), for honoring the conference with their partic-
ipation and stimulating talks.
The volume contains 36 refereed papers (28 regular and 8 short papers) carefully
selected out of 67 total submissions (53 regular, 14 short); thus, MACIS 2017 has an
overall acceptance rate of 54%. The papers are organized in different categories cor-
responding to four tracks featured in the MACIS 2017 conference. The topics of the
MACIS 2017 tracks cover a wide array of research areas, as follows:
Track 1: Foundation of Algorithms in Mathematics, Engineering and Scientific
Computation
Track Chairs: Matthew England, Jonathan Hauenstein, Laura Kovács, Elias
Tsigaridas
VI Preface
Track 2: Combinatorics and Codes in Computer Science

Track Chairs: Daniel Augot, Alexander May, Alfred Wasserman
Track 3: Data Modeling and Analysis
Track Chairs: Xiaoyu Chen, Joachim Giesen, Giorgos Kollias
Track 4: Mathematical Aspects of Information Security and Cryptography
Track Chairs: Jan Camenisch, Stefan Dziembowski, Guenael Renault
We wish to thank all the track chairs for their hard work in putting together these
tracks. Last but not least, we thank the Springer management and production team for
their support.
October 2017 Johannes Blömer

Ilias S. Kotsireas
Temur Kutsia
Dimitris E. Simos
Organization
General Chair
Dimitris E. Simos SBA Research, Austria
Local Organization
Bettina Bauer SBA Research, Austria
Yvonne Poul SBA Research, Austria
Program Chairs
Johannes Blömer Paderborn University, Germany
Temur Kutsia RISC, Johannes Kepler University, Austria
Program Committee
Daniel Augot Inria, France
Dan Bates Colorado State University, USA
Russell Bradford University of Bath, UK
Daniel Brake University of Wisconsin Eau Claire, USA
Laurent Buse Inria, France
Eimear Byrne University College Dublin, Ireland
Jan Camenisch IBM Research, Switzerland
Xiaoyu Chen Beihang University, China
Stefan Dziembowski University of Warsaw, Poland
Matthew England Coventry University, UK
Joachim Giesen Friedrich-Schiller-Universität Jena, Germany
Alberto Griggio FBK-IRST, Italy
Jonathan Hauenstein University of Notre Dame, USA
Giorgos Kollias IBM Research USA
Ilias Kotsireas Wilfrid Laurier University, Canada
Laura Kovacs Vienna University of Technology, Austria
Alexander May Ruhr-Universität Bochum, Germany
Winfried Neun ZIB, Germany
Rodrigue Ngueyep IBM Research, USA
Athanasios Nikolakopoulos University of Patras, Greece
Veronika Pillwein Johannes Kepler University, Austria
Guenael Renault ANSSI/UPMC LIP6/Inria POLSYS, France
Elias Tsigaridas Inria, France
Alfred Wassermann Universität Bayreuth, Germany
VIII Organization
Additional Reviewers
Bachoc, Christine Irfan, Ahmed Ostergard, Patric

Both, Leif Kampel, Ludwig Pavcevic, Mario Osvin
Chen, Changbo Kremer, Gereon Robertz, Daniel
Esser, Andre Kübler, Robert Seiler, Gregor
Gaborit, Philippe Lavauzelle, Julien Seurin, Yannick
Guibert, Olivier Levandovskyy, Viktor Tillich, Jean-Pierre
Guillevic, Aurore Magliveras, Spyros Tonchev, Vladimir
Heuer, Felix Matsuda, Takahiro
MACIS Steering Committee

Ilias Kotsireas Wilfrid Laurier University, Canada (Chair)
Siegfried Rump Hamburg University of Technology, Germany
Thomas Sturm CNRS, France
Dongming Wang Beihang University, China and CNRS, France
Jinzhao Wu Guangxi University for Nationalities, China
Chee Yap New York University, USA
Contents
Foundation of Algorithms in Mathematics, Engineering

and Scientific Computation
Automated Reasoning for Knot Semigroups and p-orbifold Groups

of Knots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Alexei Lisitsa and Alexei Vernitski
Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation . . . 19

Martin Wilhelm
Certification Using Newton-Invariant Subspaces . . . . . . . . . . . . . . . . . . . . . 34

Jonathan D. Hauenstein
Decomposition of Low Rank Multi-symmetric Tensor . . . . . . . . . . . . . . . . . 51

Jouhayna Harmouch, Bernard Mourrain, and Houssam Khalil
Dimension Quasi-polynomials of Inversive Difference Field Extensions

with Weighted Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Alexander Levin
Efficient Certification of Numeric Solutions to Eigenproblems . . . . . . . . . . . 81

Joris van der Hoeven and Bernard Mourrain
Fast Chinese Remaindering in Practice. . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

Joris van der Hoeven
Homotopies for Connected Components of Algebraic Sets with Application

to Computing Critical Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Daniel J. Bates, Dani A. Brake, Jonathan D. Hauenstein,
Andrew J. Sommese, and Charles W. Wampler
Implementing Fast Carryless Multiplication . . . . . . . . . . . . . . . . . . . . . . . . 121

Joris van der Hoeven, Robin Larrieu, and Grégoire Lecerf
Improving Enclosure of Interval Scalar Projection Operation . . . . . . . . . . . . 137

Tomasz Dobrowolski
Integrating Algebraic and SAT Solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . 147

Jan Horáček, Jan Burchard, Bernd Becker, and Martin Kreuzer
Isabelle Formalization of Set Theoretic Structures

and Set Comprehensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
Cezary Kaliszyk and Karol Pąk
X Contents
Jordan Canonical Form with Parameters from Frobenius Form

with Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
Robert M. Corless, Marc Moreno Maza, and Steven E. Thornton
Knowledge-Based Interoperability for Mathematical Software Systems . . . . . 195

Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer,
Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, and Tom Wiesing
On Interval Methods with Zero Rewriting and Exact

Geometric Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
Stefan Schirra and Martin Wilhelm
Sparse Rational Function Interpolation with Finitely Many Values

for the Coefficients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
Qiao-Long Huang and Xiao-Shan Gao
Virtual Theories – A Uniform Interface to Mathematical

Knowledge Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
Tom Wiesing, Michael Kohlhase, and Florian Rabe
On Real Roots Counting for Non-radical Parametric Ideals. . . . . . . . . . . . . . 258

Ryoya Fukasaku and Yosuke Sato
On the Bit-Size of Non-radical Triangular Sets . . . . . . . . . . . . . . . . . . . . . . 264

Xavier Dahan
Rapidly Convergent Integrals and Function Evaluation . . . . . . . . . . . . . . . . 270

Heba al Kafri, David J. Jeffrey, and Robert M. Corless
Stirling Numbers, Lambert W and the Gamma Function . . . . . . . . . . . . . . . 275

David J. Jeffrey and Nick Murdoch
The Potential and Challenges of CAD with Equational Constraints

for SC-Square. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
James H. Davenport and Matthew England
Combinatorics and Codes in Computer Science
New Small 4-Designs with Nonabelian Automorphism Groups . . . . . . . . . . . 289

Vedran Krčadinac and Mario Osvin Pavčević
On Classifying Steiner Triple Systems by Their 3-Rank . . . . . . . . . . . . . . . . 295

Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev,
and Alfred Wassermann
Right-Justified Characterization for Generating Regular Pattern

Avoiding Permutations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
Phan Thuan Do, Thi Thu Huong Tran, and Vincent Vajnovszki
Contents XI
Experimental Study of the Ehrhart Interpolation Polytope. . . . . . . . . . . . . . . 320

Vissarion Fisikopoulos and Zafeirakis Zafeirakopoulos
On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity . . . . 325

Takunari Miyazaki
Data Modeling and Analysis
A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching . . . . . 333

Václav Blažej, Ondřej Suchý, and Tomáš Valla
Epidemic Intelligence Statistical Modelling for Biosurveillance . . . . . . . . . . . 349

Christina Parpoula, Alex Karagrigoriou, and Angeliki Lambrou
Mining Acute Stroke Patients’ Data Using Supervised Machine Learning. . . . 364
Ritu Kundu and Toktam Mahmoodi
Parallel and Robust Empirical Risk Minimization via the Median Trick . . . . . 378
Alexander Kogler and Patrick Traxler
Mathematical Aspects of Information Security and Cryptography
Leakage-Resilient Riffle Shuffle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395

Paweł Lorek, Michał Kulis, and Filip Zagórski
Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely

Simple Jacobians. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
Georgios Fotiadis and Elisavet Konstantinou
Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem . . . . . . . . 425

Paweł Lorek, Marcin Słowik, and Filip Zagórski
Subtleties in Security Definitions for Predicate Encryption

with Public Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
Johannes Blömer and Gennadij Liske
Code-Based Key Encapsulation from McEliece’s Cryptosystem . . . . . . . . . . 454

Edoardo Persichetti
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461

Foundation of Algorithms in
Mathematics, Engineering and Scientific
Computation
Automated Reasoning for Knot Semigroups
and π-orbifold Groups of Knots
Alexei Lisitsa1(B) and Alexei Vernitski2(B)

1
Department of Computer Science, University of Liverpool, Liverpool, UK
A.Lisitsa@liverpool.ac.uk
2
Department of Mathematical Sciences, University of Essex, Essex, UK
asvern@essex.ac.uk
Abstract. The paper continues the first author’s research which shows
that automatic reasoning is an effective tool for establishing properties of
algebraic constructions associated with knot diagrams. Previous research
considered involutory quandles (also known as keis) and quandles. This
paper applies automated reasoning to knot semigroups, recently intro-
duced and studied by the second author, and π-orbifold groups of knots.
We test two conjectures concerning knot semigroups (specifically, con-
jectures aiming to describe knot semigroups of diagrams of the trivial
knot and knot semigroups of 4-plat knot diagrams) on a large number of
examples. These experiments enable us to formulate one new conjecture.
We discuss applications of our results to a classical problem of the knot
theory, determining whether a knot diagram represents the trivial knot.
1 Main Definitions
Knot theory is an important part of topology because knots are, in a sense, sim-
plest three-dimensional objects. Studying two-dimensional knot diagrams and
studying algebraic constructions arising from knots are two of the most impor-
tant techniques of knot theory [17]. Frequently (as in this paper) these two
approaches are combined. This paper uses automated reasoning to improve our
understanding of some known and some new algebraic constructions related to
knots and knot diagrams.
1.1 Arcs and Crossings

By an arc we mean a continuous line on a knot diagram from one undercrossing
to another undercrossing. For example, consider the knot diagram t on Fig. 1;
Alexei Lisitsa—Part of this research was carried out during visits by the first named
author to the Department of Mathematical Sciences at the University of Essex in
2016. The visits were financed by a London Mathematical Society Scheme 7 Grant
(ref. SC7-1516-12). This research has been supported by the European Union’s Hori-
zon 2020 research and innovation programme under grant agreement No. H2020-
FETOPEN-2015-CSA 712689 (SC2 ).
c Springer International Publishing AG 2017
J. Blömer et al. (Eds.): MACIS 2017, LNCS 10693, pp. 3–18, 2017.
https://doi.org/10.1007/978-3-319-72453-9_1
4 A. Lisitsa and A. Vernitski
it has three arcs, denoted by a, b and c. To denote a crossing on a knot diagram

we shall use notation x y z, where x and z are the two arcs terminating at
the crossing and y is the arc passing over the crossing. For example, the crossings
on diagram t are b a c, b a a and c a a.
1.2 Cancellative Semigroups and Knot Semigroups

A semigroup is called cancellative if it satisfies two conditions:
if xz = yz then x = y, and if xy = xz then y = z.
For each given knot diagram d, we define a cancellative semigroup which we call
the knot semigroup of d and denote by Kd; the construction has been introduced
and studied in [25]. To define the knot semigroup of a diagram d, assume that
each arc is denoted by a letter. Then at every crossing x y z, ‘read’ two
defining relations
xy = yz and yx = zy.
The cancellative semigroup generated by the arc letters with these defining rela-
tions is the knot semigroup Kd of d. For example, on diagram t we can read
relations ba = ac and ab = ca at the left-top crossing, relations ba = aa and
ab = aa at the right-top crossing and relations ca = aa and ac = aa at the bot-
tom crossing. Using these relations, one can deduce equalities of words in Kt.
In particular, from aa = ba = ca, using cancellation, one can deduce a = b = c,
that is, all generators are equal to one another; in other words, Kt is an infinite
cyclic semigroup.
1.3 Keis
A kei (also known as an involutory quandle) is defined as an algebra with one
binary operation and three axioms
a a = a, (a b) b = a and (a b) c = (a c) (b c).
It is useful to know that every group can be considered as a kei with the operation
g h = hg −1 h. For a given knot diagram d, the kei IQd of the knot is a kei
generated by the arc letters with defining relations x y = z and z y = x
for each crossing x y z of d. The mnemonic behind notation x y = z
is expressed in [11]: ‘x under y gives z’. The three axioms of a kei directly
correspond to the three Reidemeister moves [5].
1.4 π-orbifold Groups and Two-fold Groups

For a given knot diagram d, the π-orbifold group Od of the knot is a group
generated by the arc letters with the following relations. For each arc x of the
diagram d, introduce a relation x2 = 1. At every crossing x y z, introduce
a defining relation xy = yz (or, equivalently, yx = zy, or yxy = z, or yzy = x).
Automated Reasoning for Knot Semigroups and π-orbifold Groups of Knots 5
Obviously, Od is a factor group of Kd. Denote the generating set of Od, that is,
the set of arcs of d, by A, and consider the natural homomorphism from the free
semigroup A+ onto Od. It is easy to see that for each element g of Od, either
only words of an odd length are mapped to g or only words of an odd length
are mapped to g. Accordingly, let us say that g is an element of an odd (even)
length in the former (latter) case. A subgroup of Od consisting of elements of an
even length is called the fundamental group of the 2-fold branched cyclic cover
space of a knot [20,26]; we shall shorten this name to the two-fold group of a
knot, and shall denote the group by T d.
1.5 Putting These Constructions Together

Consider a simple example. The π-orbifold group Ot3 of the trefoil knot diagram
t3 is the dihedral group D3 . The group D3 naturally splits into two types of ele-
ments: 3 rotations and 3 reflections. The rotations form a subgroup of D3 , which
is the group T t3 , and which happens to be isomorphic to Z3 . The reflections are
in a one-to-one correspondence with the arcs of the trefoil knot diagram, and the
subkei of D3 consisting of reflections is IQt3 . Generalising this example, one can
notice that every group Od splits into the subgroup T d consisting of elements of
an even length and a subkei consisting of elements of an odd length; this subkei
is related to (and in many natural examples is isomorphic to) the kei of the knot
IQd.
1.6 Other Constructions: Knot Groups and Quandles

If one considers the diagram of a knot as an oriented curve, that is, in the
context of a specific prescribed direction of travel along the curve, another pair
of algebraic constructions can be introduced (whose definitions we shall skip,
because they are not directly related to the topic of the paper). One of them is
the knot group, which is historically the first and the best known construction
(see, for example, Sect. 6.11 in [9] or Chap. 11 in [16]). The other is the quandle
(also known as a distributive groupoid ) of a knot; see, for example, [18]. These
two constructions are ‘larger’ than the ones we consider in the sense that the
π-orbifold group is a factor group of the knot group, and the kei is a factor kei
of the quandle.
2 Trivial Knots
Trivial knots can be characterised via algebaic constructions associated with
them, as the following results show.
Fact 1. The following are equivalent:
– A knot is trivial.
– The two-fold group of the knot is trivial [20, 26].
– The kei of the knot is trivial [26].
a c
Fig. 1. Knot diagrams t and t3
– The group of the knot is trivial [3].

– The quandle of the knot is trivial [11].
Since the π-orbifold group of a knot is ‘sandwiched’ between the two-fold group
of the knot and the group of the knot, the result also holds for π-orbifold groups.
The unusually simple structure of Kt in the example in Sect. 1 may be related
to the fact that t is a diagram of the trivial knot: it is easy to see that t is not
really ‘knotted’. A general conjecture was formulated in [25]:
Conjecture 1. A knot diagram d is a diagram of the trivial knot if and only if
Kd is an infinite cyclic semigroup.
When Conjecture 1 is fully proved, it will be a natural addition to the list of
results in Fact 1. In this paper we test Conjecture 1 on a series of knot diagrams
and check how efficient the technique suggested by it is at detecting trivial knots.
We conduct three types of computational experiments related to Conjecture 1:
– There are well-known examples of complicated diagrams of the trivial knot.
Given one of these diagrams d, we prove that Kd is cyclic.
– We consider a number of standard diagrams of non-trivial knots. For each of
these diagrams d, we prove that Kd is not cyclic or, equivalently, that Od is
not trivial.
– We can construct complicated diagrams of the trefoil, the simplest non-trivial
knot, by considering the sum of the standard trefoil diagram t3 and of one
the complicated diagrams of the trivial knot. Given a complicated diagram d
of the trefoil, we check how efficiently automated reasoning proves that Kd
is not cyclic.
For comparison, in [6] using automated reasoning was proposed for unknot
detection and experiments with proving and disproving triviality of IQd were
conducted. Yet another technique was used in [7]: the problem of checking if a
knot is trivial was reduced to comparing factor quandles of the knot with families
of pre-computed quandles, and this procedure, in its turn, was reduced to SAT
solving.
2.1 How to Test if a Knot Semigroup Is Cyclic

Consider a knot diagram d with n arcs a1 , . . . , an . Let Rd be the set of relations
read on the crossings of d, as defined in Sect. 1.
The equational theory of the knot semigroup Kd is EKd = Ecs ∪ Rd , where

Ecs is the set of equational axioms of cancellative semigroups (see them listed
explicitly in Subsect. 2.2).
By Birkhoff’s completeness theorem, two words are equal if and only if their
equality can be proved by equational reasoning [1,10]; hence the following state-
ment follows (a similar statement for keis is formulated as Proposition 1 in [6]).
Proposition 1. A knot semigroup Kd of a diagram d with n arcs a1 , . . . , an is

cyclic if and only if EKd ∧i=1...n−1 (ai = ai+1 ), where denotes derivability
in the equational logic, or, equivalently in the first-order logic with equality.
Proposition 1 suggests a practical way for experimental testing of Conjecture 1.
Given a knot diagram d (represented, for example, by its Gauss code [21]),
translate it into knot semigroup presentation Rd and further into its equational
theory EKd . Then apply an automated theorem prover and disprover to the
problem EKd ∧i=1...n−1 (ai = ai+1 ).
Note that if a complete prover is used (that is, given a valid formula it even-
tually produces a proof), the described procedure constitutes a semi-decision
algorithm: if a knot semigroup is cyclic then this fact will be eventually estab-
lished. Most common procedure for disproving is a finite model building [4],
which, given a formula, builds a finite model for the formula’s negation, thereby
refuting the original formula. Usually it is possible to ensure finite completeness
of a model builder: given a formula, it eventually produces a finite model refut-
ing it, providing such a model exists. In general, however, due to undecidability
of first-order logic, no complete disproving procedure is available. In particular,
sometimes only infinite models refuting an invalid formula exist; then the model
builder cannot build a model, even it is a complete finite model builder.
2.2 Cyclic Knot Semigroups
We applied automated theorem prover Prover91 [19] to several well-known dia-

grams of the trivial knot, and it has successfully proved that the knot semigroup
is cyclic in each case. To illustrate the approach we present the proof for the
simple diagram t in Sect. 1. The task specification for Prover9 is divided into
assumptions and goals parts. The assumptions part includes cancellative semi-
groups axioms Ecs :
(x ∗ y) ∗ z = x ∗ (y ∗ z ).
x ∗ y = x ∗ z −> y = z .
y ∗ x = z ∗ x −> y = z .
and defining relations for diagram t:
1
We have chosen Prover9 and model builder Mace4 (below), primarily to be able to
compare efficiency of automated reasoning with semigroups with that for involutory
quandles in [6], where the same systems were used. Otherwise the choice is not very
essential and any other automated first order (dis)provers could be used instead.
a ∗ a = a ∗ c . c ∗ a = a ∗ b.
b ∗ a = a ∗ a. a ∗ a = c ∗ a.
a ∗ c = b ∗ a. a ∗ b = a ∗ a.
The goals part is
(a = b) & (b = c ) .
For this task Prover9 produces the proof of length 14 in 0.05 s. Table 1
presents the results for several well-known diagrams of the trivial knot. Time
for the proof search grows with the size of the diagram. The diagram Ochiai,
II (45 crossings) is a distinctive outlier: for some reason, the proof search for it
took more than 8000 s, comparing with 368 s for Haken Gordian diagram with
141 crossings. We do not understand the reasons of why Ochiai, II diagram is so
difficult for the automated proof. We are planning to explore this case further
and to apply various automated provers and strategies to it.
Table 1. Proving that semigroups of diagrams of the trivial knot are cyclic
Name of unknot Reference # of crossings Time, s

Culprit [13] 10 0.4
Goerlitz [12] 11 2.5
Thistlethwaite [24] 15 6.1
Ochiai, I [22] 16 14.85
Freedman [23] 32 38.2
Ochiai, II [22] 45 8458.6
Ochiai, III [22] 55 195.2
Haken Gordian [15] 141 368
2.3 Non-cyclic Knot Semigroups: Small Knots

We applied an automated model builder Mace4 [19] to all standard knot dia-
grams with up to 9 crossings (a table defining these knots can be found, for
example, as Appendix 1 of [17]). The word model in this case means a finite non-
cyclic factor semigroup of the diagram’s knot semigroup. It is useful to note that
since every finite cancellative semigroup is a group, Mace4 actually finds a group
model. We illustrate the approach by considering the simplest untrivial knot, the
trefoil knot (diagram t3 in Sect. 1, entry 31 in Table 2). The task specification
for Mace4 includes the cancellative semigroup axioms (as in Subsect. 2.2) and
the defining relations for the knot semigroup of the trefoil knot:
a ∗ b = b ∗ c . b ∗ c = c ∗ a. c ∗ a = a ∗ b.
b ∗ a = c ∗ b. c ∗ b = a ∗ c . a ∗ c = b ∗ a.
The goal to disprove is
(a = b) & (b = c ) .
Mace4 disproves the goal by finding a model in which both the cancellative
semigroup axioms and the defining relations are satisfied, but at the same time,
the goal statement is false. The model found by Mace4 is the dihedral group D3 ,
which is the knot’s π-orbifold group, as discussed in Subsect. 1.5.
Table 2 shows the results for all standard knot diagrams with up to 9 cross-
ings. For each diagram we list the size of the model found and the time taken to
find this model. The results presented in non-bold font are obtained by running
Mace4 with the default iterative search strategy; that is, the search for a model
starts with the size 2; if no model is found by an exhaustive search of models of a
certain size, the size is increased by 1 and the search continues. Thus, assuming
correctness of Mace4, entries in non-bold font represent smallest possible mod-
els. In all these cases the size of the model is two times the size of a smallest kei
model computed in [6]; this observation has led us to formulating the following
conjecture.
Conjecture 2. Consider a knot diagram d. Suppose the kei of d has a factor kei
of size n. Then the semigroup Kd has a factor semigroup of size 2n.
To add some more details regarding the conjecture, the smallest semigroup model
is frequently the knot’s π-orbifold group, which is frequently (see Fact 2) a dihe-
dral group, and the size of a dihedral group is two times the size of the corre-
sponding dihedral kei (that is, the kei consisting of reflections), which is then
the smallest kei model of the same knot diagram (Proposition 2 in [6], Theorem
3 in [7]). In some other cases (for example, 819 in Table 2, which is not a 4-plat),
the knot’s π-orbifold group is not a dihedral group, but the smallest semigroup
model, which is is a factor group of the knot’s π-orbifold group, happens to be
isomorphic to the dihedral group D3 . We don’t know what happens to smallest
model sizes when the smallest semigroup model is not a dihedral group and the
smallest kei model is not a dihedral kei.
Table 2 contains remarks related to Conjecture 2. The entries in bold font
represent the diagrams for which the default iterative strategy of Mace4 has
failed to find a model in 50000 s. In this case we used Conjecture 2 to guess a
possible model size. These entries further split into three categories:
(1) the size is given with a marka , meaning the search has been completed
successfully for this particular size, predicted by Conjecture 2; the conjecture
is confirmed, but the model found is not necessarily minimal;
(2) the size is given with a markb , meaning the search has been done for increas-
ing model sizes and ended successfully, but this was not an exhaustive search,
as a time limit was imposed on search for each size; Conjecture 2 is con-
firmed, but the model found is not necessarily minimal;
(3) the size is given with a question mark and the time is given as N/F for ‘not
found’, meaning neither search strategy has succeeded to find a model in
50000 s; an estimated model size is given as predicted by Conjecture 2.
It is interesting to note that we could not find a model of the predicted size
30 in any entry in the table, as Mace4 search has timed out, although for larger
values up to 46, Mace4 was able to find a model of predicted size. It might be just
a coincidence, but 30 is the only value in the table which is not two multiplied
by a prime number.
Table 2. Models for the standard knot diagrams with at most 9 crossings.
Knot 31 41 51 52 61 62 63 71
Size 6 10 10 14 6 22 26 14
T ime 0.01 0.45 0.30 3.54 0.06 297 1362 5.02
Knot 72 73 74 75 76 77 81 82
a
Size 22 26 6 34 38 6 26 34a
T ime 339 1378 0.05 20193 5715 0.08 1484 285
Knot 83 84 85 86 87 88 89 810
a a a a
Size 34 38 6 46 46 10 10 6
T ime 247 1350 0.05 2569 2684 0.53 1.15 0.08
Knot 811 812 813 814 815 816 817 818
Size 6 58? 58? 62? 6 10 74? 6
T ime 0.12 N/F N/F N/F 0.08 2.71 N/F 0.09
Knot 819 820 821 91 92 93 94 95
Size 6 6 6 6 6 38? 6 46b
T ime 0.06 0.06 0.05 0.28 0.22 N/F 0.20 20316
Knot 96 97 98 99 910 911 912 913
Size 6 58? 62? 62? 6 6 10 74?
T ime 0.34 N/F N/F N/F 0.39 0.19 13.10 N/F
Knot 914 915 916 917 918 919 920 921
Size 74? 6 6 6 82? 82? 82? 86?
T ime N/F 0.05 0.33 0.16 N/F N/F N/F N/F
Knot 922 923 924 925 926 927 928 929
Size 30? 6 6 30? 94? 14 6 6
T ime N/F 0.09 0.09 N/F N/F 65 0.05 0.12
Knot 930 931 932 933 934 935 936 937
Size 30? 10 118? 122? 6 6 30? 6
T ime N/F 2.51 N/F N/F 0.09 0.28 N/F 0.17
Knot 938 939 940 941 942 943 944 945
Size 6 10 6 14 14 26a 30? 30?
T ime 0.20 6.35 0.20 117 50.22 365 N/F N/F
Knot 946 947 948 949
Size 6 6 6 10
T ime 0.37 0.09 0.05 9.47
2.4 Non-cyclic Knot Semigroups: Sums of Knots
We applied automated finite model builder Mace4 to the sums of all named
trivial knot diagrams from Table 1 with the trefoil diagram in order to test
whether a suitable model can be found by automated reasoning. When applied
to the largest Haken Gordian diagram Mace4 generated an error message2 . For
all other sample diagrams the model of the expected size 6 was found (the same
model as in the example presented in Subsect. 2.3). The iterative search starting
with models of size 2 did not always work because larger diagrams timed out at
a 1500 s limit. However, the search through models of size 6 has found a model
in under 0.2 s in all cases. The results are shown in Table 3.
Table 3. Search for models for the sum of a trivial knot and the trefoil
Name of unknot # of crossings in Started with size Started with size

the sum 6 Time, s 2 Time, s
Culprit 13 0.09 0.45
Goerlitz 14 0.06 1.39
Thistlethwaite 18 0.03 >1500
Ochiai, I 19 0.08 3.92
Freedman 35 0.09 >1500
Ochiai, II 48 0.14 >1500
Ochiai, III 58 0.12 >1500
Haken Gordian 144 N/A N/A
2.5 Efficiency Comparison
Our experiments demonstrate that automated reasoning using knot semigroups

can be applied for unknot detection (providing that Conjecture 1 is true), but it
is not as efficient as automated reasoning using keis or quandles.
As to recognising a diagram of the trivial knot, automated reasoning on keis
does it in under 1 s for all diagrams in Table 1 (reported in [6]), except Ochiai’s
unknots and Haken unknot. The sharpest difference is the Ochiai, II diagram,
whose kei is proved to be trivial by Prover9 in under 4 s, as compared with more
than 8000 s for semigroups. As to Haken unknot, the kei is proved to be trivial
in about 15 s, as compared with 368 s for semigroups.
As to finding models for non-trivial knots, Mace4 using knot semigroups (or
π-orbifold groups) has reported time out (50000 s) on 23 out of 84 diagrams
in Table 2. The corresponding kei models were found in [6] for all 9-crossing
diagrams with the average time 28.6 s.
An even more efficient automated reasoning procedure for detecting trivial
knots has been obtained in [7] by considering quandles and reducing the problem
2
Fatal Error: mace4: domain element too big.
of finding a finite factor quandle by to SAT. One reason why detecting trivial
knots with keis and quandles is more efficient in practice than with semigroups
(or π-orbifold groups) is because in many natural examples, the smallest factor
kei of the knot kei is two times smaller than the smallest factor group of the
knot semigroup, as discussed in Conjecture 2.
3 4-plats
A 4-plat knot diagram is a braid with 4 strands whose ends on the left-hand side
and the right-hand side are connected to form one closed curve, as in the example
shown on Fig. 2 (taken from [25]). 4-plat knots, that is, knots represented by
4-plat diagrams, form an important class of knots and are also known as 2-
bridge knots and rational knots. Now we shall introduce some concepts which
we need to formulate Conjecture 3 which aims to describe knot semigroups of
4-plat diagrams.
Fig. 2. A 4-plat and labelling its arcs
Let B ⊆ Zn for some fixed positive integer n. By the alternating sum of a

word b1 b2 b3 b4 . . . bk ∈ B + we shall mean the value of the expression b1 −b2 +b3 −
b4 + · · · + (−1)k+1 bk calculated in Zn . We shall say that two words u, v ∈ B + are
in relation ∼ if and only u and v have the same length and the same alternating
sum. It is obvious that ∼ is a congruence on B + . We denote the factor semigroup
B + /∼ by AS(Zn , B) and call it an alternating sum semigroup [25]. For example,
consider an alternating sum semigroup with letters B = {0, 1, 2, 3, 4, 11, 14} in
the arithmetic modulo n = 17. In this semigroup we have 3 · 1 · 4 · 14 = 1 · 11 · 4 · 2
because 3 − 1 + 4 − 14 = 1 − 11 + 4 − 2 = 5 mod 17.
To assign useful numerical labels3 to the arcs of a 4-plat diagram d, label the
two leftmost arcs by 0 and 1, as on the example in Fig. 2. To distinguish between
arcs and their labels, we shall denote the label of an arc x by bx . Propagate the
labelling as follows: moving from the left to the right on the diagram, at each
crossing x y z, let bz = 2by − bx . After we have done this at every crossing,
two arcs will get two labels each: in our example, the top-right arc on the diagram
is labelled −6 and 11, and the bottom-right arc on the diagram is labelled 1 and
18. Considering either of the two equalities −6 = 11 or 1 = 18, we conclude that
we should treat the labels as numbers in the arithmetic modulo 17 (hence, for
convenience, −3 can be rewritten as 14). Given the modulus n (n = 17 in our
3
The described procedure is a version of so-called Fox coloring [17]. Note that in
general, labels of some distinct arcs may coincide.
example) and the set of arc labels B (B = {0, 1, 2, 3, 4, 11, 14} in our example),
consider an alternating sum semigroup AS(Zn , B).
Proposition 2. AS(Zn , B) produced using the procedure above is a factor semi-
group of Kd.
Proof. Consider a mapping from Kd to AS(Zn , B) induced by the rule x → bx ,

where x is an arc. The knot semigroup Kd is defined by relations stating that at
each crossing x y z we have xy = yz and yx = zy. The two corresponding
equalities are satisfied in AS(Zn , B): indeed, words bx by and by bz both have
length 2; the alternating sum of bx by is bx − by , and since bz = 2by − bx , the
alternating sum of by bz is also bx − by ; therefore, bx by = by bz ; similarly, by bx =
bz by .
The following result4 is first proved as Proposition 3.2 in [2], or see [14]; the idea
originates from [8].
Fact 2. A knot is a 4-plat knot if and only if its π-orbifold group is dihedral.
Generalising the ‘only if’ part of Fact 2 to knot semigroups, we can state the
following conjecture (first formulated in [25], after having described knot semi-
groups of some subclasses of the class of 4-plat knots):
Conjecture 3. The homomorphism from Kd onto AS(Zn , B) described in Propo-
sition 2 is an isomorphism.
3.1 Defining Relations for an Alternative Sum Semigroup
In Subsect. 3.2 we present experiments which use automated reasoning to prove

Conjecture 3 for a number of 4-plats. Proving the isomorphism becomes possible
if AS(Zn , B) is redefined using defining relations. In this subsection we introduce
an algorithm for finding a finite list of defining relations for an alternating sum
semigroup.
Below we assume that set B contains 0; this is merely a convenience for
simpler notation, and all statements can be rewritten to use another element of
B instead of 0. All words below are assumed to be words over the alphabet B.
Let us say that a word w is zero-ending if its last letter is 0. For every word
w we shall define its canonical form c(w) as the smallest word (relative to the
right-to-left dictionary order) which is equal to w in AS(Zn , B).
Let us say that a pair of sets of words Y, Z is a basis if
1. For every w ∈ Y its canonical form c(w) is not zero-ending;

2. For every w ∈ Z its canonical form c(w) is zero-ending;
3. Every word is either contained in Y or has a suffix contained in Z.
4
We are grateful to José Montesinos (Universidad Complutense de Madrid),
Genevieve Walsh (Tufts University) and Vanni Noferini (University of Essex) for
attracting our attention to this result.
Theorem 3. Suppose Y, Z is a basis. Then all equalities of words in AS(Zn , B)

can be deduced5 from defining relations w = c(w), where w ∈ Y ∪ Z.
Proof. We shall use the proof by induction on the length of words. For words
of length 1, there is no need to apply the defining relations because none of
words is equal to another word. Now assume that all equalities in AS(Zn , B)
for words shorter than the length we are considering can be deduced from the
defining relations. It is sufficient to prove that for each word v we can deduce
the equality v = c(v). Three cases are possible:
1. Suppose c(v) is not zero-ending. Consider v as a product of two words v = v1 v2

and assume that c(v2 ) is zero-ending; then v is equal to a zero-ending word
v1 c(v2 ), hence, c(v) is also zero-ending; since it is not so, we conclude that
none of suffixes of v has a zero-ending canonical form. Therefore, neither v
nor any of its suffixes is contained in in Z. Hence, v ∈ Y , and the equality
v = c(v) is one of the defining relations.
2. Suppose c(v) is zero-ending and v ∈ Z. Then the equality v = c(v) is one of
the defining relations.
3. Suppose c(v) is zero-ending and v ∈ Z. Then v is a product of two words
v = v1 v2 such that v2 ∈ Z. Then c(v2 ) is zero-ending, and we can represent
it as c(v2 ) = t0 for some word t. Hence, v = v1 t0. On the other hand, since
c(v) is zero-ending, we can represent it as c(v) = s0 for some word s. Thus,
v1 t0 = s0; since AS(Zn , B) is cancellative, v1 t = s. This is an equality of two
words whose length is less than that of v; thus, by induction, this equality
can be deduced from the defining relations. Therefore, the equality v = c(v)
can be deduced in the order v1 v2 = v1 t0 = s0, that is, first by applying the
defining relation v2 = c(v2 ), and then by applying all the defining relations
needed to prove that v1 t = s.
Theorem 3 suggests a simple algorithm for building a basis for a given alternating
sum semigroup. Consider all words one after another, starting from the shorter
ones; as you consider a word w, add it to Y if c(w) is not zero-ending, or to
Z if c(w) is zero-ending, or to neither if a suffix of w is contained in Z. When
all possible suffixes of longer words have been added to Z, stop. This algorithm
will produce a basis; however, it would be nice to have an assurance that the
algorithm will terminate; it is provided by the following statement.
Proposition 3. Every sufficiently long word in an alternating sum semigroup
contains a suffix whose canonical form is zero-ending. Hence, each alternating
sum semigroup has a finite basis Y, Z.
Proof. We shall prove that the canonical form of every word w of length L ≥
2n2 is zero-ending. Indeed, there is a letter, say, a, which stands at least at n
5
Note that here we mean the usual semigroup deduction, not a more complicated
one used in cancellative semigroups. It is useful to remind oneself of this, because
knot semigroups are defined using a cancellative presentation, and it makes proving
equalities of words in knot semigroups more involved.
distinct even positions in w. Notice that in an alternating sum semigroup we

have xyz = zyx for any three letters x, y, z. Applying these equalities as needed,
move n letters a to positions L, L − 2, . . . , L − 2n + 2; thus, we produce a word
w which is equal to w such that w = vax1 ax2 · · · axn−1 a for some word v and
letters x1 , x2 , . . . , xn−1 . Notice that in an alternating sum semigroup AS(Zn , B)
the word w is equal to w = v0x1 0x2 · · · 0xn−1 0. The word w is equal to w
and is zero-ending; therefore, c(w) is zero-ending.
3.2 Experiments
To test Conjecture 3, we considered 4-plat knot diagrams with up to 9 cross-

ings; we restricted ourselves to canonical 4-plat knot diagrams (see, for example,
Proposition 12.13 in [3] and page 187 in [21]), that is, those in which every
crossing is either a clockwise half-twist of strands in positions 1 and 2 or an
anticlockwise half-twist of strands in positions 2 and 3, and the arcs on the left-
hand side of the diagram connect level 1 to level 2 and level 3 to level 4 (like on
the diagram in Subsect. 3). Note that a knot semigroup is defined for a diagram
and not for a knot, and two diagrams of the same knot can have non-isomorphic
semigroups; in our study of Conjecture 3 we consider all individual diagrams.
For instance, the number of distinct knots with 9 crossings is 49. However, when
we consider canonical 4-plat diagrams with 9 crossings, each of 9 crossings can
be in one of two possible positions, between levels 1 and 2 or between levels 2
and 3 on the diagram; in addition to this, the arcs on the right-hand side of the
diagram can be connected in two possible ways: level 1 to level 2 and level 3
to level 4, or level 1 to level 4 and level 2 to level 3. Therefore, we generated
29+1 = 1024 diagrams. Out of these, 664 diagrams were knots, and we confirmed
Conjecture 3 for each of them. Other diagrams are links and not knots, and we
discard them from consideration; knot semigroups of 4-plat links are not alter-
nating sum semigroups (for example, knot semigroups of a class of 4-plat links
is described in Sect. 6 in [25]).
For each diagram d out of these 664 diagrams, we produced an alternating
sum semigroup S = AS(Zn , B) using the procedure described before Propo-
sition 2 (we wrote a Python script to do this). Semigroup S is, according to
Proposition 2, a factor semigroup of the knot semigroup Kd. Thus, to prove
that Kd and S are isomorphic, it is sufficient to show that all defining relations
of S are derivable in EKd , the equational theory of Kd.
We wrote another Python script which finds defining relations for a given
alternating sum semigroup S using the procedure described in Subsect. 3.1 and
outputs the task EKd ES to be used by Prover9, where ES means the con-
junction of all defining relations of S. The tasks were then passed to Prover9.
Due to a large size of ES , in order to get automated proofs, some tasks had to
be split into up to four subtasks EKd ESi , with ES = ∪i ESi . Eventually all
proofs have been obtained with the time limit 1200 s for each task.
4 Future Research
We are continuing working of proving Conjecture 1. Its ‘if’ part follows from the
observation below. The ‘only if’ part is much more difficult to prove.
Proposition 4. If Kd is an infinite cyclic semigroup then d represents the triv-
ial knot.
Proof. Indeed, if Kd is cyclic then its factor group Od is isomorphic to Z2 , whose

subgroup T d is trivial. Since T d is trivial, by Fact 1, d represents the trivial knot.
Among algebraic constructions listed in Fact 1, computational experiments with

keis [6], quandles [7], semigroups and π-orbifold groups (in this paper) have been
conducted. Experiments with groups have been only started in [6], and experi-
ments with two-fold groups (which are smaller and may be easier to manipulate)
can be conducted in the future.
Using semigroups or π-orbifold groups to prove that a knot diagram rep-
resents the trivial knot is a topic for more future research. As discussed in
Subsect. 2.5, this is not the fastest method of proving that a knot is trivial.
However, we have reasons to believe that such proofs, if they are produced by
a specialised prover and properly presented, can be more human-readable than
others (for example, those based on keis). We shall continue studying such proofs
because of new mathematical constructions arising in them and because this is
an impressive example of how complicated computer-generated proofs can be
made human-readable.
5 Technical Details
We used Prover9 and Mace4 version 0.5 (December 2007) [19] and one of two
system configurations:
(1) AMD A6-3410MX APU 1.60 Ghz, RAM 4 GB, Windows 7 Enterprise when
producing Tables 1 and 3 (and results from [6] used in Subsects. 2.3 and 2.5);
(2) Intel(R) Core(TM) i7-4790 CPU 3.60 Ghz, RAM 32 GB, Windows 7 Enter-
prise when producing Table 2 and results in Sect. 3.
We have used default iterative Mace4 search strategy, except for the cases explic-
itly mentioned as using different strategies in Subsects. 2.3 and 2.4. We have
used default search strategies in Prover9, with the following exceptions. For
the results presented in Subsect. 2.2 we have used Knuth-Bendix term ordering
(KBO) instead of default choice of LPO (Lexicographic Path Ordering). In order
to handle large clauses occurring in the proofs reported in Subsect. 3.2 we have
set max weight (maximum weight of clauses) to 8000.
We have published all computer-generated proofs online6 .
6
https://zenodo.org/record/1009577, https://doi.org/10.5281/zenodo.1009577.
References
1. Birkhoff, G.: On the structure of abstract algebras. In: Mathematical Proceedings
of the Cambridge Philosophical Society, vol. 31, pp. 433–454. Cambridge University
Press (1935)
2. Boileau, M., Zimmermann, B.: The π-orbifold group of a link. Mathematische
Zeitschrift 200(2), 187–208 (1989)
3. Burde, G., Heusener, M., Zieschang, H.: Knots. De Gruyter, Berlin (2013)
4. Caferra, R., Leitsch, A., Peltier, N.: Automated Model Building, vol. 31. Springer,
Dordrecht (2013). https://doi.org/10.1007/978-1-4020-2653-9
5. Elhamdadi, M., Nelson, S.: Quandles, vol. 74. American Mathematical Society,
Providence (2015)
6. Fish, A., Lisitsa, A.: Detecting unknots via equational reasoning, I: exploration.
In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM
2014. LNCS (LNAI), vol. 8543, pp. 76–91. Springer, Cham (2014). https://doi.org/
10.1007/978-3-319-08434-3 7
7. Fish, A., Lisitsa, A., Stanovský, D.: A combinatorial approach to knot recognition.
In: Horne, R. (ed.) EGC 2015. CCIS, vol. 514, pp. 64–78. Springer, Cham (2015).
https://doi.org/10.1007/978-3-319-25043-4 7
8. Fox, R.: A quick trip through knot theory. In: Fort, M.K. (ed.) Topology of Three-
Manifolds. Prentice-Hall, Englewood Cliffs (1962)
9. Gilbert, N.D., Porter, T.: Knots and Surfaces. Oxford University Press, New York
(1994)
10. Huet, G., Oppen, D.C.: Equations and rewrite rules. In: Book, R.N. (ed.) Formal
Language Theory: Perspectives and Open Problems, pp. 349–405. Academic Press,
New York (1980)
11. Joyce, D.: A classifying invariant of knots, the knot quandle. J. Pure Appl. Algebra
23(1), 37–65 (1982)
12. Kauffman, L.H., Henrich, A.: Unknotting unknots. https://arxiv.org/abs/1006.
4176
13. Kauffman, L.H., Lambropoulou, S.: Hard unknots and collapsing tangles. https://
arxiv.org/abs/math/0601525v5
14. Kawauchi, A.: A Survey of Knot Theory. Birkhäuser, Basel (1996)
15. Lackenby, M.: Upper bound on Reidemeister moves. Ann. Math. 182, 1–74 (2015)
16. Raymond-Lickorish, W.B.: An Introduction to Knot Theory, vol. 175. Springer,
New York (1997). https://doi.org/10.1007/978-1-4612-0691-0
17. Livingston, C.: Knot Theory, vol. 24. Cambridge University Press, Cambridge
(1993)
18. Manturov, V.: Knot Theory. CRC Press, Boca Raton (2004)
19. McCune, W.: Prover9 and Mace4 (2005–2010). http://www.cs.unm.edu/mccune/
prover9/
20. Morgan, J.W., Bass, H. (eds.): The Smith Conjecture. Elsevier, Amsterdam (1984)
21. Murasugi, K.: Knot Theory and Its Applications. Springer, Boston (1996). https://
doi.org/10.1007/978-0-8176-4719-3 15
22. Ochiai, M.: Non-trivial projections of the trivial knot. http://repository.kulib.
kyoto-u.ac.jp/dspace/handle/2433/99940
23. O’Hara, J.: Energy of knots and infinitesimal cross ratio. Geom. Topol. Monogr.
13, 421–445 (2008)
24. Unknot. https://en.wikipedia.org/wiki/Unknot

25. Vernitski, A.: Describing semigroups with defining relations of the form xy = yz
and yx = zy and connections with knot theory. Semigroup Forum 95(1), 66–82
(2017)
26. Winker, S.K.: Quandles, knot invariants, and the n-fold branched cover. Ph.D.
thesis, University of Illinois at Chicago (1984)
Another random document with
no related content on Scribd:
these attributed founders. So too, may be taken, the legend which
Ammianus Marcellinus records and approves,――that it was
founded by Sandan, a wealthy and eminent person from Ethiopia,
who at some early period not specified, is said to have built Tarsus. It
was however, at the earliest period that is definitely mentioned,
subject to the Assyrian empire; and afterwards fell under the
dominion of each of the sovranties which succeeded it, passing into
the hands of the Persian and of Alexander, as each in turn assumed
the lordship of the eastern world. While under the Persian sway, it is
commemorated by Xenophon as having been honored by the
presence of the younger Cyrus, when on his march through Asia to
wrest the empire from his brother. On this occasion, he entered this
region through the northern “gates of Cilicia,” and passed out
through the “gates of Syria,” a passage which is, in connection with
this event, very minutely described by the elegant historian of that
famous expedition.
Sardanapalus.――The fact of the foundation both of Tarsus and Anchialus by this
splendid but unfortunately extravagant monarch, the last of his line, is commemorated by
Arrian, who refers to the high authority of an inscription which records the event.
“Anchialus is said to have been founded by the king of Assyria, Sardanapalus. The
fortifications, in their magnitude and extent, still, in Arrian’s time, bore the character of
greatness, which the Assyrians appear singularly to have affected in works of the kind. A
monument, representing Sardanapalus, was found there, warranted by an inscription in
Assyrian characters, of course in the old Assyrian language, which the Greeks, whether well
or ill, interpreted thus: ‘Sardanapalus, son of Anacyndaraxes, in one day founded Anchialus
and Tarsus. Eat, drink, play: all other human joys are not worth a fillip.’ Supposing this
version nearly exact, (for Arrian says it was not quite so,) whether the purpose has not been
to invite to civil order a people disposed to turbulence, rather than to recommend
immoderate luxury, may perhaps reasonably be questioned. What, indeed, could be the
object of a king of Assyria in founding such towns in a country so distant from his capital,
and so divided from it by an immense extent of sandy desert and lofty mountains, and, still
more, how the inhabitants could be at once in circumstances to abandon themselves to the
intemperate joys which their prince has been supposed to have recommended, is not
obvious; but it may deserve observation that, in that line of coast, the southern of Lesser
Asia, ruins of cities, evidently of an age after Alexander, yet barely named in history, at this
day astonish the adventurous traveler by their magnificence and elegance.” (Mitford’s
Greece, Vol. IX. pp. 311, 312.)
Over the same route passed the conquering armies of the great
Alexander. At Issus, within the boundaries of Cilicia, he met, in their
mightiest array, the vast hosts of Darius, whom here vanquishing, he
thus decided the destiny of the world. Before this great battle, halting
to repose at Tarsus, he almost met his death, by imprudently bathing
in the classic Cydnus, whose waters were famed for their extreme
coldness. By a remarkable coincidence, the next conqueror of the
world, Julius Caesar, also rested at Tarsus for some days before his
great triumphs in Asia Minor. Cilicia had in the interval between
these two visits passed from the Macedonian to the Roman
dominion, being made a Roman province by Pompey, about sixty
years before Christ, at the time when all the kingdoms of Asia and
Syria were subjugated. After this it was visited by Cicero, at the time
of his triumphs over the cities of eastern Cilicia; and its classic
stream is still farther celebrated in immortal verse and prose, as the
scene where Marcus Antony met Cleopatra for the first time. It was
the Cydnus, down which she sailed in her splendid galley, to meet
the conqueror, who for her afterwards lost the empire of the world.
During all the civil wars which desolated the Roman empire through
a long course of years in that age, Tarsus steadily adhered to the
house of Caesar, first to the great Julius and afterwards to Augustus.
So remarkable was its attachment and devotion to the cause of
Julius, that when the assassin Cassius marched through Asia into
Syria to secure the dominion of the eastern world, he laid siege to
Tarsus, and having taken it, laid it waste with the most destructive
vengeance for its adherence to the fortunes of his murdered lord;
and such were its sufferings under these and subsequent calamities
in the same cause, that when Augustus was at last established in the
undivided empire of the world, he felt himself bound in honor and
gratitude, to bestow on the faithful citizens of Tarsus the most
remarkable favors. The city, having at the request of its inhabitants
received the new name of Juliopolis, as a testimony of their devotion
to the memory of their murdered patron, was lavishly honored with
almost every privilege which the imperial Augustus could bestow on
these most faithful adherents of his family. From the terms in which
his acts of generosity to them are recorded, it has been
inferred,――though not therein positively stated,――that he
conferred on it the rank and title of a Roman colony, or free city,
which must have given all its inhabitants the exalted privileges of
Roman citizens. This assertion has been disputed however, and
forms one of the most interesting topics in the life of the great
apostle, involving the inquiry as to the mode in which he obtained
that inviolable privilege, which, on more than one occasion, snatched
him from the clutches of tyrannical persecutors. Whether he held this
privilege in common with all the citizens of Tarsus, or inherited it as a
peculiar honor of his own family, is a question yet to be decided. But
whatever may have been the precise extent of the municipal favors
enjoyed by Tarsus, it is certain that it was an object of peculiar favor
to the imperial Caesars during a long succession of years, not only
before but after the apostle’s time, being crowned with repeated acts
of munificence by Augustus, Adrian, Caracalla and Heliogabalus, so
that through many centuries it was the most favored city in the
eastern division of the Roman empire.
The history of Cilicia since the apostolic age, is briefly this: It remained attached to the
eastern division of the Roman empire, until about A. D. 800, when it first fell under the
Muhammedan sway, being made part of the dominion of the Califs by Haroun Al Rashid. In
the thirteenth century it reverted to a Christian government, constituting a province of the
Armenian kingdom of Leo. About A. D. 1400, it fell under the sway of Bajazet II., Sultan of
the Ottoman empire, and is at present included in that empire,――most of it in a single
Turkish pashalic, under the name of Adana.
Roman citizens.――Witsius very fully discusses this point, as follows. (Witsius on the
Life of Paul § 1. ¶ V.)
“It is remarkable that though he was of Tarsus, he should say that he was a Roman
citizen, and that too by the right of birth: Acts xxii. 28. There has been some discussion
whether he enjoyed that privilege in common with all the Tarsans, or whether it was peculiar
to his family. Most interpreters firmly hold the former opinion. Beza remarks, ‘that he calls
himself a Roman, not by country, but by right of citizenship; since Tarsus had the privileges
of a Roman colony.’ He adds, ‘Mark Antony, the triumvir, presented the Tarsans with the
rights of citizens of Rome.’ Others, without number, bear the same testimony. Baronius
goes still farther,――contending that ‘Tarsus obtained from the Romans, the municipal
right,’ that is, the privileges of free-born citizens of Rome; understanding Paul’s expression
in Acts xxi. 39, to mean that he was a municeps of Tarsus, or a Tarsan with the freedom of
the city of Rome. Now the municipal towns, or free cities, had rights superior to those of
mere colonies; for the free-citizens were not only called Roman citizens as the colonists
were, but also, as Ulpian records, could share in all the honors and offices of Rome.
Moreover, the colonies had to live under the laws of the Romans, while the municipal towns
were allowed to act according their own ancient laws, and country usages. To account for
the distinction enjoyed by Tarsus, in being called a ‘municipium of Romans,’ the citizens are
said to have merited that honor, for having in the civil wars attached themselves first to
Julius Caesar, and afterwards to Octavius, in whose cause they suffered much. For so
attached was this city to the side of Caesar, that, as Dion Cassius records, their asked to
have their name changed from Tarsus to Juliopolis, in memory of Julius and in token of
good will to Augustus; and for that reason they were presented with the rights of a colony or
a municipium, and this general opinion is strengthened by the high testimony of Pliny and
Appian. On the other hand Heinsius and Grotius strongly urge that these things have been
too hastily asserted by the learned; for scarcely a passage can be found in the ancient
writers, where Tarsus is called a colony, or even a municipium. ‘And how could it be a
colony,’ asks Heinsius, ‘when writers on Roman law acknowledge but two in Cilicia? Ulpian
(Liber I. De censibus) says of the Roman colonies in Asia Minor, “there is in Bithynia the
colony of Apamea,――in Pontus, Sinope,――in Cilicia there are Selinus and Trajanopolis.”
But why does he pass over Tarsus or Juliopolis, if that had place among them?’ Baronius
proves it to have been a municipium, only from the Latin version of Acts, where that word is
used; though the term in the original Greek (πολιτης) means nothing more than the common
word, citizen, (as it is rendered in the English version.) Pliny also calls Tarsus not a colony,
nor a municipium, but a free city. (libera urbs.) Book V. chap xxvii. Appian in the first book of
the civil wars, says that Antony granted to the Tarsans freedom, but says nothing of the
rights of a municipium, or colony. Wherefore Grotius thinks that the only point established is,
that some one of the ancestors of Paul, in the civil wars between Augustus Caesar, and
Brutus and Cassius, and perhaps those between this Caesar and Antony, received the
grant of the privileges of a Roman citizen. Whence he concludes that Paul must have been
of an opulent family. These opinions of Grotius have received the approval of other eminent
commentators. These notions however, must be rejected as unsatisfactory; because,
though some writers have but slightly alluded to Tarsus as a free city, yet Dio Chrysostom,
(in Tarsica posteriore,) has enlarged upon it in a tone of high declamation. ‘Yours, men of
Tarsus, was the fortune to be first in this nation,――not only because you dwell in the
greatest city of Cilicia, and one which was a metropolis from the beginning,――but also
because the second Caesar was remarkably well-disposed and gracious towards you. For,
the misfortunes which befell the city in his cause, deservedly secured to you his kind regard,
and led him to make his benefits to you as conspicuous as the calamities brought upon you
for his sake. Therefore did Augustus confer on you everything that a man could on friends
and companions, with a view to outdo those who had shown him so great good-
will,――your land, laws, honors, the right of the river and of the neighboring sea.’ On which
words Heinsius observes in comment, that by land is doubtless meant that he secured to
them their own territory, free and undisturbed. By laws are meant such as relate to the
liberty usually granted to free towns. Honor plainly refers to the right of citizenship, as the
most exalted he could offer. The point then seems to be established, if this interpretation
holds good, and it is evidently a rational one. For when he had made up his mind to grant
high favors to a city, in return for such great merits, why, when it was in his power, should
Augustus fail to grant it the rights of Roman citizenship, which certainly had been often
granted to other cities on much slighter grounds? It would be strange indeed, if among the
exalted honors which Dio proclaims, that should not have been included. This appears to be
the drift, not only of Dio’s remarks, but also of Paul’s, who offers no other proof of his being
a Roman citizen, than that he was a Tarsan, and says nothing of it as a special immunity of
his own family, although some such explanation would otherwise have been necessary to
gain credit to his assertion. Whence it is concluded that it would be rash to pretend, contrary
to all historical testimony, any peculiar merits of the ancestors of Paul, towards the Romans,
which caused so great an honor to be conferred on a Jewish family.”
But from all these ample and grandiloquent statements of Dio Chrysostom, it by no
means follows that Tarsus had the privilege of Roman citizenship; and the conclusion of the
learned Witsius seems highly illogical. The very fact, that while Dio was panegyrizing Tarsus
in these high terms, and recounting all the favors which imperial beneficence had showered
upon it, he yet did not mention among these minutiae, the privilege of citizenship, is quite
conclusive against this view; for he would not, when thus seeking for all the particulars of its
eminence, have omitted the greatest honor and advantage which could be conferred on any
city by a Roman emperor, nor have left it vaguely to be inferred. Besides, there are
passages in the Acts of the Apostles which seem to be opposed to the view, that Tarsus
was thus privileged. In Acts xxi. 39, Paul is represented as distinctly stating to the tribune,
that he was “a citizen of Tarsus;” yet in xxii. 24, 25, it is said, that the tribune was about
proceeding, without scruple, to punish Paul with stripes, and was very much surprised
indeed, to learn that he was a Roman citizen, and evidently had no idea that a citizen of
Tarsus was, as a matter of course, endowed with Roman citizenship;――a fact, however,
with which a high Roman officer must have been acquainted, for there were few cities thus
privileged, and Tarsus was a very eminent city in a province adjoining Palestine, and not far
from the capital of Judea. And the subsequent passages of chap. xxii. represent him as very
slow indeed to believe it, after Paul’s distinct assertion.
Hemsen is very clear and satisfactory on this point, and presents the argument in a fair
light. See his note in his “Apostel Paulus” on pp. 1, 2. He refers also to a work not otherwise
known here;――John Ortwin Westenberg’s “Dissert. de jurisp. Paul. Apost.” Kuinoel in Act.
Apost. xvi. 37. discusses the question of citizenship.
“It ought not to seem very strange, that the ancestors of Paul should have settled in
Cilicia, rather than in the land of Israel. For although Cyrus gave the whole people of God
an opportunity of returning to their own country, yet many from each tribe preferred the new
country, in which they had been born and bred, to the old one, of which they had lost the
remembrance. Hence an immense multitude of Jews might be found in almost all the
dominions of the Persians, Greeks, Romans and Parthians; as alluded to in Acts ii. 9, 10.
But there were also other occasions and causes for the dispersion of the Jews. Ptolemy, the
Macedonian king of Egypt, having taken Jerusalem from the Syro-Macedonians, led away
many from the hill-country of Judea, from Samaria and Mount Gerizim, into Egypt, where he
made them settle; and after he had given them at Alexandria the rights of citizens in equal
privilege with the Macedonians, not a few of the rest, of their own accord, moved into Egypt,
allured partly by the richness of the land, and partly by the good will that Ptolemy had
shown towards their nation. Afterwards, Antiochus the Great, the Macedonian king of Syria,
about the thirtieth year of his reign, two hundred years before the Christian era, brought out
two thousand Jewish families from Babylonia, whom he sent into Phrygia and Lydia with the
most ample privileges, that they might hold to their duty the minds of the Greeks, who were
then inclining to revolt from his sway. These were from Asia Minor, spread abroad over the
surrounding countries, between the Mediterranean sea, the Euphrates and Mount Amanus,
on the frontiers of Cilicia. Besides, others afterwards, to escape the cruelty of Antiochus
Epiphanes, betook themselves to foreign lands, where, finding themselves well settled, they
and their descendants remained. Moreover, many, as Philo testifies, for the sake of trade, or
other advantages, of their own accord left the land of Israel for foreign countries: whence
almost the whole world was filled with colonies of Jews, as we see in the directions of some
of the general epistles, (James i. 1: 1 Peter i. 1.) Thus also Tarsus had its share of Jewish
inhabitants, among whom were the family of Paul.” (Witsius in Vita Pauli, § 1. ¶ v.)
Nor were the solid honors of this great Asian city, limited to the
mere favors of imperial patronage. Founded, or early enlarged by the
colonial enterprise of the most refined people of ancient times,
Tarsus, from its first beginning, shared in the glories of Helleno-Asian
civilization, under which philosophy, art, taste, commerce, and
warlike power attained in these colonies a highth before unequalled,
while Greece, the mother country, was still far back in the march of
improvement. In the Asian colonies arose the first schools of
philosophy, and there is hardly a city on the eastern coast of the
Aegean, but is consecrated by some glorious association with the
name of some Father of Grecian science. Thales, Anaxagoras,
Anaximander, and many others of the earliest philosophers, all
flourished in these Asian colonies; and on the Mediterranean coast,
within Cilicia itself, were the home and schools of Aratus and the
stoic Chrysippus. The city of Tarsus is commemorated by Strabo as
having in very early times attained great eminence in philosophy and
in all sorts of learning, so that “in science and art it surpassed the
fame even of Athens and Alexandria; and the citizens of Tarsus
themselves were distinguished for individual excellence in these
elevated pursuits. So great was the zeal of the men of that place for
philosophy, and for the rest of the circle of sciences, that they
excelled both Athens and Alexandria, and every other place which
can be mentioned, where there are schools and lectures of
philosophers.” Not borrowing the philosophic glory of their city
merely from the numbers of strangers who resorted thither to enjoy
the advantages of instruction there afforded, as is almost universally
the case in all the great seats of modern learning; but entering
themselves with zeal and enjoyment into their schools of science,
they made the name of Tarsus famous throughout the civilized
world, for the cultivation of knowledge and taste. Even to this day the
stranger pauses with admiration among the still splendid ruins of this
ancient city, and finds in her arches, columns and walls, and in her
chance-buried medals, the solid testimonies of her early glories in
art, taste and wealth. Well then might the great apostle recur with
patriotic pride to the glories of the city where he was born and
educated, challenging the regard of his military hearers for his native
place, by the sententious allusion to it, as “no mean city.”
“It appears on the testimony of Paul, (Acts xxi. 39,) that Tarsus was a city of no little
note, and it is described by other writers as the most illustrious city of all Cilicia; so much so
indeed, that the Tarsans traced their origin to Ionians and Argives, and a rank superior even
to these;――referring their antiquity of origin not merely to heroes, but even to demi-gods. It
was truly exalted, not only by its antiquity, situation, population and thriving trade, but by the
nobler pursuits of science and literature, which so flourished there, that according to Strabo
it was worthy to be ranked with Athens and Alexandria; and we know that Rome itself owed
its most celebrated professors to Tarsus.” (Witsius. § 1, ¶ iv.)
The testimony of Strabo is found in his Geography, book XIV. Cellarius (Geog. Ant.) is
very full on the geography of Cilicia, and may be advantageously consulted. Conder’s
Modern Traveler (Syria and Asia Minor 2.) gives a very full account of its ancient history, its
present condition, and its topography.
The present appearance of this ancient city must be a matter of great interest to the
reader of apostolic history; and it can not be more clearly given than in the simple narrative
of the enterprising Burckhardt, who wrote his journal on the very spot which he describes.
(Life of Burckhardt, prefixed to his travels in Nubia, pp. xv. xvi.)
“The road from our anchoring place to Tarsus crosses the above-mentioned plain in an
easterly direction: we passed several small rivulets which empty themselves into the sea,
and which, to judge from the size of their beds, swell in the rainy season to considerable
torrents. We had rode about an hour, when I saw at half an hour’s distance to the north of
our route, the ruins of a large castle, upon a hill of a regular shape in the plain; half an hour
further towards Tarsus, at an equal distance from our road, upon a second tumulus, were
ruins resembling the former; a third insulated hillock, close to which we passed midway of
our route, was over-grown with grass, without any ruins or traces of them. I did not see in
the whole plain any other elevations of ground but the three just mentioned. Not far from the
first ruins, stands in the plain an insulated column. Large groups of trees show from afar the
site of Tarsus. We passed a small river before we entered the town, larger than those we
had met on the road. The western outer gate of the town, through which we entered, is of
ancient structure; it is a fine arch, the interior vault of which is in perfect preservation: on the
outside are some remains of a sculptured frieze. I did not see any inscriptions. To the right
and left of this gateway are seen the ancient ruined walls of the city, which extended in this
direction farther than the town at present does. From the outer gateway, it is about four
hundred paces to the modern entrance of the city; the intermediate ground is filled up by a
burying ground on one side of the road, and several gardens with some miserable huts on
the other. * * * * The little I saw of Tarsus did not allow me to estimate its extent; the streets
through which I passed were all built of wood, and badly; some well furnished bazars, and a
large and handsome mosque in the vicinity of the Khan, make up the whole register of
curiosities which I am able to relate of Tarsus. Upon several maps Tarsus is marked as a
sea town: this is incorrect; the sea is above three miles distant from it. On our return home,
we started in a south-west direction, and passed, after two hours and a half’s march, Casal,
a large village, half a mile distant from the sea-shore, called the Port of Tarsus, because
vessels freighted for Tarsus usually come to anchor in its neighborhood. From thence
turning towards the west, we arrived at our ship at the end of two hours. The merchants of
Tarsus trade principally with the Syrian coast and Cyprus: imperial ships arrive there from
time to time, to load grain. The land trade is of very little consequence, as the caravans from
Smyrna arrive very seldom. There is no land communication at all between Tarsus and
Aleppo, which is at ten journeys (caravan traveling) distant from it. The road has been
rendered unsafe, especially in later times, by the depredations of Kutshuk Ali, a savage
rebel, who has established himself in the mountains to the north of Alexandretta. Tarsus is
governed by an Aga, who I have reason to believe is almost independent. The French have
an agent there, who is a rich Greek merchant.”
A fine instance of the value of the testimony of the Fathers on points where knowledge
of the Scriptures is involved, is found in the story by Jerome, who says that “Paul was born
at Gischali, a city of Judea,” (in Galilee,) “and that while he was a child, his parents, in the
time of the laying waste of their country by the Romans, removed to Tarsus, in Cilicia.” And
yet this most learned of the Fathers, the translator of the whole Bible into Latin, did not
know, it seems, that Paul himself most distinctly states in his speech to the Jewish mob,
(Acts xxii. 3,) that he was “born in Cilicia,” as the common translation has it;――in Greek,
γεγενημενος εν Κιλικια,――words which so far from allowing any such assertion as Jerome
makes, even imply that Paul, with Tristram Shandy-like particularity, would specify that he
was “begotten in Cilicia.” Jerome’s ridiculous blunder, Witsius, after exposing its
inconsistency with Jewish history, indignantly condemns, as “a most shameful falsehood,”
(putidissima fabula,) which is as hard a name as has been applied to anything in this book.
But if this blunder is so shameful in Jerome, what shall be said of the learned Fabricius,
who (Bibliotheca Graeca, IV. p. 795,) copies this story from Jerome as authentic history,
without a note of comment, and without being aware that it most positively contradicts the
direct assertion of Paul? And this blunder too is passed over by all the great critical
commentators of Fabricius, in Harles’s great edition. Keil, Kuinoel, Harles, Gurlitt, and
others equally great, who revised all this, are involved in the discredit of the blunder. “Non
omnes omnia.”
his grecian learning.
In this splendid seat of knowledge, Saul was born of purely Jewish

parents. “A Hebrew of the Hebrews,” he enjoyed from his earliest
infancy that minute religious instruction, which every Israelite was in
conscience bound to give his children; and with a minuteness and
attention so much the more careful, as a residence in a foreign land,
far away from the consecrated soil of Palestine and the Holy city of
his faith, might increase the liabilities of his children to forget or
neglect a religion of which they saw so few visible tokens around
them, to keep alive their devotion. Yet, though thus strictly educated
in the religion of his fathers, Saul was by no means cut off by this
circumstance from the enjoyment of many of the advantages in
profaner knowledge, afforded in such an eminent degree by Tarsus;
but must, almost without an effort, have daily imbibed into his ready
and ever active mind, much of the refining influence of Grecian
philosophy. There is no proof, indeed, that he ever formally entered
the schools of heathen science; such a supposition, is, perhaps,
inconsistent with the idea of his principles of rigid Judaism, and is
rendered rather improbable by the great want of Grecian elegance
and accuracy in his writings; which are so decidedly characterized by
an unrhetorical style, and by irregular logic, that they never could
have been the production of a scholar, in the most eminent
philosophical institutions of Asia. But a mere birth and residence in
such a city, and the incidental but constant familiarity with those so
absorbed in these pursuits, as very many of his fellow-citizens were,
would have the unavoidable effect of familiarizing him also with the
great subjects of conversation, and the grand objects of pursuit, so
as ever after to prove an advantage to him in his intercourse with the
refined and educated among the Greeks and Romans. The
knowledge thus acquired, too, is ever found to be of the most readily
available kind, always suggesting itself upon occasions when
needed, according to the simple principle of association, and thus
more easily applied to ordinary use than that which is more regularly
attained, and is arranged in the mind only according to formal
systems. Thus was it, with most evident wisdom, ordained by God,
that in this great seat of heathen learning, that apostle should be
born, who was to be the first messenger of grace to the Grecian
world, and whose words of warning, even Rome should one day
hear and believe.
his family and birth.
The parents of Saul were Jews, and his father at least, was of the
tribe of Benjamin. In some of those numerous emigrations from
Judea which took place either by compulsion or by the voluntary
enterprise of the people, at various times after the Assyrian
conquest, the ancestors of Saul had left their father-land, for the
fertile plains of Cilicia, where, under the patronizing government of
some of the Syro-Macedonian kings, they found a much more
profitable home than in the comparatively uncommercial land of
Israel. On some one of these occasions, probably during the
emigration under Antiochus the Great, the ancestors of Saul had
settled in Tarsus, and during the period intervening between this
emigration and the birth of Saul, the family seems to have
maintained or acquired a very respectable rank, and some property.
From the distinct information which we have that Saul was a free-
born Roman citizen, it is manifest that his parents must also have
possessed that right; for it has already been abundantly shown that it
was not common to the citizens of Tarsus, but must have been a
peculiar privilege of his family. After the subjugation of Cilicia, (sixty-
two years before Christ,) when the province passed from the Syrian
to the Roman sway, the family were in some way brought under the
favorable notice of the new lords of the eastern world, and were
honored with the high privilege of Roman citizenship, an honor which
could not have been imparted to any one low either in birth or
wealth. The precise nature of the service performed by them, that
produced such a magnificent reward, it is impossible to determine;
but that this must have been the reason, it is very natural to
suppose. But whatever may have been the extent of the favors
enjoyed by the parents of Saul, from the kindness of their heathen
rulers, they were not thereby led to neglect the institutions of their
fathers,――but even in a strange land, observed the Mosaic law with
peculiar strictness; for Saul himself plainly asserts that his father was
a Pharisee, and therefore he must have been bound by the rigid
observances of that sect, to a blameless deportment, as far as the
Mosaic law required. Born of such parents, the destined apostle at
his birth was made the subject of the minute Mosaic rituals.
“Circumcised the eighth day,” he then received the name of Saul, a
name connected with some glorious and some mournful
associations in the ancient Jewish history, and probably suggested
to the parents on this occasion, by a reference to its signification, for
Hebrew names were often thus applied, expressing some
circumstance connected with the child; and in this name more
particularly, some such meaning might be expected, since,
historically, it must have been a word of rather evil omen. The
original Hebrew means “desired,” “asked for,” and hence it has been
rather fancifully, but not unreasonably conjectured that he was an
oldest son, and particularly desired by his expecting parents, who
were, like the whole Jewish race, very earnest to have a son to
perpetuate their name,――a wish however, by no means peculiar to
the Israelites.
The name Saul is in Hebrew, ‫ שאול‬the regular noun from the passive Kal participle of ‫שאל‬
(sha-al and sha-el) “ask for,” “beg,” “request;” and the name therefore means “asked for,” or
“requested,” which affords ground for Neander’s curious conjecture, above given.
Of the time of his birth nothing is definitely known, though it is

stated by some ancient authority of very doubtful character, that he
was born in the second year after Christ. All that can be said with
any probability, is, that he was born several years after Christ; for at
the time of the stoning of Stephen, (A. D. 34,) Saul was a “young
man.”
his trade.
There was an ancient Jewish proverb,――often quoted with great

respect in the Rabbinical writings,――“He that does not teach his
son a trade, trains him to steal.” In conformity with this respectable
adage, every Jewish boy, high or low, was invariably taught some
mechanical trade, as an essential part of his education, without any
regard to the wealth of his family, or to his prospect of an easy life,
without the necessity of labor. The consequence of this was, that
even the dignified teachers of the law generally conjoined the
practice of some mechanical business, with the refined studies to
which they devoted the most of their time, and the surnames of
some of the most eminent of the Rabbins are derived from the trades
which they thus followed in the intervals of study, for a livelihood or
for mental relaxation. The advantages of such a variation from
intense mental labor to active and steady bodily exercise, are too
obvious, both as concerns the benefit of the body and the mind, to
need any elucidation; but it is a happy coincidence, worth noticing,
that, the better principles of what is now called “Manual Labor
Instruction,” are herein fully carried out, and sanctioned by the
authority and example of some of the most illustrious of those
ancient Hebrew scholars, whose mighty labors in sacred lore, are
still a monument of the wisdom of a plan of education, which
combines bodily activity and exertion with the full development of the
powers of thought. The labors of such men still remain the wonder of
later days, and form in themselves, subjects for the excursive and
penetrating range of some of the greatest minds of modern times,
throwing more light on the minute signification and local application
of scripture, than all that has been done in any other field of
illustrative research.
“In the education of their son, the parents of Saul thought it their duty according to the
fashion of their nation, not only to train his mind in the higher pursuits of a liberal education,
but also to accustom his hands to some useful trade. As we learn from Acts xviii. 3, ‘he was
by trade a tent-maker,’ occupying the intervals of his study-hours with that kind of work. For
it is well established that this was the usual habit of the most eminent Jewish scholars, who
adopted it as much for the sake of avoiding sloth and idleness, as with a view to provide for
their own support. The Jews used to sum up the duties of parents in a sort of proverb, that
‘they should circumcise their son, redeem him, (Leviticus chapter xxvii.) teach him the law
and a trade, and look out a wife for him.’ And indeed the importance of some business of
this kind was so much felt, that a saying is recorded of one of the most eminent of their
Rabbins, that ‘he who neglects to teach his son a trade, does the same as to bring him up
to be a thief.’ Hence it is that the wisest Hebrews held it an honor to take their surnames
from their trades; as Rabbins Nahum and Meir, the scriveners or book writers,” (a business
corresponding to that of printers in these times,) “Rabbi Johanan the shoemaker, Rabbi
Juda the baker, and Rabbi Jose the currier or tanner. How trifling then is the sneer of some
scoffers who have said that Paul was nothing but a stitcher of skins, and thence conclude
that he was a man of the lowest class of the populace.” (Witsius § I. ¶ 12.)
The trade which the parents of Saul selected for their son, is
described in the sacred apostolic history as that of a “tent-maker.” A
reference to the local history of his native province throws great light
on this account. In the wild mountains of Cilicia, which everywhere
begin to rise from the plains, at a distance of seven or eight miles
from the coast, anciently ranged a peculiar species of long-haired
goats, so well known by name throughout the Grecian world, for their
rough and shaggy aspect, that the name of “Cilician goat” became a
proverbial expression, to signify a rough, ill-bred fellow, and occurs in
this sense in the classic writers. From the hair of these, the Cilicians
manufactured a thick, coarse cloth,――somewhat resembling the
similar product of the camel’s hair,――which, from the country where
the cloth was made, and where the raw material was produced, was
called cilicium or cilicia, and under this name it is very often
mentioned, both by Grecian and Roman authors. The peculiar
strength and incorruptibility of this cloth was so well known, that it
was considered as one of the most desirable articles for several very
important purposes, both in war and navigation, being the best
material for the sails of vessels, as well as for military tents. But it
was principally used by the Nomadic Arabs of the neighboring
deserts of Syria, who, ranging from Amanus and the sea, to the
Euphrates, and beyond, found the tents manufactured from this stout
cloth, so durable and convenient, that they depended on the
Cilicians to furnish them with the material of their moveable homes;
and over all the east, the cilicium was in great demand, for
shepherd’s tents. A passage from Pliny forms a splendid illustration
of this interesting little point. “The wandering tribes, (Nomades,) and
the tribes who plunder the Chaldeans, are bordered by Scenites,
(tent-dwellers,) who are themselves also wanderers, but take their
name from their tents, which they raise of Cilician cloth, wherever
inclination leads them.” This was therefore an article of national
industry among the Cilicians, and afforded in its manufacture,
profitable employment to a great number of workmen, who were
occupied, not in large establishments like the great manufactories of
modern European nations, but, according to the invariable mode in
eastern countries, each one by himself, or at most with one or two
companions. Saul, however, seems to have been occupied only with
the concluding part of the manufacture, which was the making up of
the cloth into the articles for which it was so well fitted by its strength,
closeness and durability. He was a maker of tents of Cilician camlet,
or goat’s-hair cloth,――a business which, in its character and
implements, more resembled that of a sail-maker than any other
common trade in this country. The details of the work must have
consisted in cutting the camlet of the shape required for each part of
the tent, and sewing it together into the large pieces, which were
then ready to be transported, and to form, when hung on tent-poles,
the habitations of the desert-wanderers.
This illustration of Saul’s trade is from Hug’s Introduction, Vol. II. note on § 85, pp. 328,
329, original, § 80, pp. 335, 336, translation. On the manufacture of this cloth, see Gloss.
Basil, sub voc. Κιλικιος τραγος, &c. “Cilician goat,――a rough fellow;――for there are such
goats in Cilicia; whence also, things made of their hair are called cilicia.” He quotes also
Hesychius, Suidas, and Salmasius in Solinum, p. 347. As to the use of the cloths in war and
navigation, he refers to Vegetius, De re milit. IV. 6, and Servius in Georgica III. 312.――The
passage in Pliny, showing their use by the Nomadic tribes of Syria and Mesopotamia for
shepherd’s tents, is in his Natural History, VI. 28. “Nomadas infestatoresque Chaldaeorum,
Scenitae claudunt, et ipsi vagi, sed a tabernaculis cognominati quae ciliciis metantur, ubi
libuit.” The reading of this passage which I have adopted is from the Leyden Hackian edition
of Pliny, which differs slightly from that followed by Hug, as the critical will perceive. Hemsen
quotes this note almost verbatim from Hug. (Hemsen’s “Apostel Paulus,” page 4.)
The particular species or variety of goat, which is thus described as anciently inhabiting
the mountains of Cilicia, can not now be distinctly ascertained, because no scientific traveler
has ever made observations on the animals of that region, owing to the many difficulties in
the way of any exploration of Asia Minor, under the barbarous Ottoman sway. Neither
Griffith’s Cuvier nor Turton’s Linnaeus contains any reference to Cilicia, as inhabited by any
species or variety of the genus Capra. The nearest approach to certainty, that can be made
with so few data, is the reasonable conjecture that the Cilician goat was a variety of the
species Capra Aegagrus, to which the common domestic goat belongs, and which includes
several remarkable varieties,――at least six being well ascertained. There are few of my
readers, probably, who are not familiar with the descriptions and pictures of the famous
Angora goat, which is one of these varieties, and is well-known for its long, soft, silky hair,
which is to this day used in the manufacture of a sort of camlet, in the place where it is
found, which is Angora and the region around it, from the Halys to the Sangarius. This tract
of country is in Asia Minor, only three or four hundred miles north of Cilicia, and therefore at
once suggests the probability of the Cilician goat being something very much like the
Angora goat. (See Modern Traveler, III. p. 339.) On the other side of Cilicia also, in Syria,
there is an equally remarkable variety of the goat, with similar long, silky hair, used for the
same manufacture. Now Cilicia, being directly on the shortest route from Angora to Syria,
and half-way between both, might very naturally be supposed to have another variety of the
Capra Aegagrus, between the Angoran and the Syrian variety, and resembling both in the
common characteristic of long shaggy or silky hair; and there can be no reasonable doubt
that future scientific observation will show that the Cilician goat forms another well-marked
variety of this widely diffused species, which, wherever it inhabits the mountains of the
warm regions of Asia, always furnishes this beautiful product, of which we have another
splendid and familiar specimen in the Tibet and Cashmere goats, whose fleeces are worth
more than their weight in gold. The hair of the Syrian and Cilician goats, however, is of a
much coarser character, producing a much coarser and stouter fibre for the cloth.
On the subject of Paul’s trade, the learned and usually accurate Michaelis was led into a
very great error, by taking up too hastily a conjecture founded on a misapprehension of the
meaning given by Julius Pollux, in his Onomasticon, on the word σκηνοποιος (skenopoios,)
which is the word used in Acts xiii. 3, to designate the trade of Saul and Aquilas. Pollux
mentions that in the language of the old Grecian comedy, σκηνοποιος was equivalent to
μηχανοποιος, (mechanopoios,) which Michaelis very erroneously takes in the sense of “a
maker of mechanical instruments,” and this he therefore maintains to have been the trade of
Saul and Aquilas. But it is capable of the most satisfactory proof, that Julius Pollux used the
words here merely in the technical sense of theatrical preparation,――the first meaning
simply “a scene-maker,” and the second “a constructor of theatrical machinery,”――both
terms, of course, naturally applied to the same artist. (Michaelis, Introduction, IV. xxiii. 2. pp.
183‒186. Marsh’s translation.――Hug, II. § 85, original; § 80, translation.)
The Fathers also made similar blunders about the nature of Saul’s trade. They call him
σκυτοτομος, (skutotomos,) “a skin-cutter,” as well as σκηνορραφος, “a tent-maker.” This was
because they were entirely ignorant of the material used for the manufacture of tents; for,
living themselves in the civilized regions of Greece, Italy, &c. they knew nothing of the
habitations of the Nomadic tent-dwellers. Chrysostom in particular, calls him “one who
worked in skins.”
Fabricius gives some valuable illustrations of this point. (Bibliotheca Graeca, IV. p. 795,
bb.) He quotes Cotelerius, (ad. Apost. Const. II. 63,) Erasmus, &c. (ad Acts xviii. 3,) and
Schurzfleisch, (in diss. de Paulo, &c.) who brings sundry passages from Dio Chrysostom
and Libanius, to prove that there were many in Cilicia who worked in leather, as he says; in
support of which he quotes Martial, (epigraph xiv. 114,) alluding to “udones cilicii,” or “cilician
cloaks,” (used to keep off rain, as water-proof,)――not knowing that this word, cilicium, was
the name of a very close and stout cloth, from the goat’s hair, equally valuable as a covering
for a single person, and for the habitation of a whole family. In short, Martial’s passage
shows that the Cilician camlet was used like the modern camlet,――for cloaks. Fabricius
himself seems to make no account of this leather notion of Schurzfleisch; for immediately
after, he states (what I can not find on any other authority) that “even at this day, as late
books of travels testify, variegated cloths are exported from Cilicia.” This is certainly true of
Angora in Asia Minor, north-west of Cilicia, (Modern Traveler, III. p. 339,) and may be true of
Cilicia itself. Fabricius notices 2 Corinthians v. 1: and xii. 9, as containing figures drawn from
Saul’s trade.
his education.
But this was not destined to be the most important occupation of

Saul’s life. Even his parents had nobler objects in view for him, and
evidently devoted him to this handicraft, only in conformity with those
ancient Jewish usages which had the force of law on every true
Israelite, whether rich or poor; and accordingly he was sent, while
yet in his youth, away from his home in Tarsus, to Jerusalem, the
fountain of religious and legal knowledge to all the race of Judah and
Benjamin, throughout the world. To what extent his general
education had been carried in Tarsus, is little known; but he had
acquired that fluency in the Greek, which is displayed in his writings,
though contaminated with many of the provincialisms of Cilicia, and
more especially with the barbarisms of Hebrew usage. Living in daily
intercourse, both in the way of business and friendship, with the
active Grecians of that thriving city, and led, no doubt, by his own
intellectual character and tastes, to the occasional cultivation of
those classics which were the delight of his Gentile acquaintances,
he acquired a readiness and power in the use of the Greek
language, and a familiarity with the favorite writers of the Asian
Hellenes, that in the providence of God most eminently fitted him for
the sphere to which he was afterwards devoted, and was the true
ground of his wonderful acceptability to the highly literary people
among whom his greatest and most successful labors were
performed, and to whom all of his epistles, but two, were written. All
these writings show proofs of such an acquaintance with Greek, as
is here inferred from his opportunities in education. His well-known
quotations also from Menander and Epimenides, and more
especially his happy impromptu reference in his discourse at Athens,
to the line from his own fellow-Cilician, Aratus, are instances of a
very great familiarity with the classics, and are thrown out in such an
unstudied, off-hand way, as to imply a ready knowledge of these
writers. But all these were, no doubt, learned in the mere occasional
manner already alluded to in connection with the reputation and
literary character of Tarsus. He was devoted by all the considerations
of ancestral pride and religious zeal to the study of “a classic, the
best the world has ever seen,――the noblest that has ever honored
and dignified the language of mortals.”
his removal to jerusalem.
Strabo, in speaking of the remarkable literary and philosophical

zeal of the refined inhabitants of Tarsus, says that “after having well
laid the foundations of literature and science in their own schools at
home, it was usual for them to resort to those in other places, in
order to zealously pursue the cultivation of their minds still further,”
by the varied modes and opportunities presented in different schools
throughout the Hellenic world,――a noble spirit of literary enterprise,
accordant with the practice of the most ancient philosophers, and
like the course also pursued by the modern German scholars, many
of whom go from one university to another, to enjoy the peculiar
advantages afforded by each in some particular department. It was
therefore, only in a noble emulation of the example of his heathen
fellow-townsmen, in the pursuit of profane knowledge, that Saul left
the city of his birth and his father’s house, to seek a deeper
knowledge of the sacred sources of Hebrew learning, in the capital
of the faith. This removal to so great a distance, for such a purpose,
evidently implies the possession of considerable wealth in the family
of Saul; for a literary sojourn of that kind, in a great city, could not but
be attended with very considerable expense as well as trouble.
his teacher.
Saul having been thus endowed with a liberal education at home,

and with the principles of the Jewish faith, as far as his age would
allow,――went up to Jerusalem to enjoy the instruction of Gamaliel.
There is every reason to believe that this was Gamaliel the elder,
grandson of Hillel, and son of Simeon, (probably the same, who, in
his old age, took the child Jesus in his arms,) and father of another
Simeon, in whose time the temple was destroyed; for the Rabbinical
writings give a minute account of him, as connected with all these
persons. This Gamaliel succeeded his ancestors in the rank which
was then esteemed the highest; this was the office of “head of the
college,” otherwise called “Prince of the Jewish senate.” Out of
respect to this most eminent Father of Hebrew learning, as it is
recorded, Onkelos, the renowned Chaldee paraphrast, burned at his
funeral, seventy pounds of incense, in honor to the high rank and
learning of the deceased. This eminent teacher was at first not ill-
disposed towards the apostles, who, he thought, ought to be left to
their own fate; being led to this moderate and reasonable course,
perhaps, by the circumstance that the Sadducees, whom he hated,
were most active in their persecution. The sound sense and humane
wisdom that mark his sagely eloquent opinion, so wonderful in that
bloody time, have justly secured him the admiration and respect of
all Christian readers of the record; and not without regret would they
learn, that the after doings of his life, unrecorded by the sacred
historian, yet on the testimony of others, bear witness against him as
having changed from this wise principle of action. If there is any
ground for the story which Maimonides tells, it would seem, that
when Gamaliel saw the new heretical sect multiplying in his own
days, and drawing away the Israelites from the Mosaic forms, he,
together with the Senate, whose President he was, gave his utmost
endeavors to crush the followers of Christ, and composed a form of
prayer, by which God was besought to exterminate these heretics;
which was to be connected to the usual forms of prayer in the Jewish
liturgy. This story of Maimonides, if it is adopted as true, on so slight
grounds, may be reconciled with the account given by Luke, in two
ways. First, Gamaliel may have thought that the apostles and their
successors, although heretics, were not to be put down by human
force, or by the contrivances of human ingenuity, but that the whole
matter should be left to the hidden providence of God, and that their
extermination should be obtained from God by prayers. Or,
second,――to make a more simple and rational supposition,――he
may have been so struck by the boldness of the apostles, and by the
evidence of the miracle performed by them, as to express a milder
opinion on them at that particular moment; but afterwards may have
formed a harsher judgment, when, contrary to all expectation, he
saw the wonderful growth of Christianity, and heard with wrath and
uncontrollable indignation, the stern rebuke of Stephen. But these
loose relics of tradition, offered on such very suspicious authority as
that of a Jew of the ages when Christianity had become so odious to
Judaism by its triumphs, may without hesitation be rejected as wholly
inconsistent with the noble spirit of Gamaliel, as expressed in the
clear, impartial account of Luke; and both of the suppositions here
offered by others, to reconcile sacred truth with mere falsehood, are
thus rendered entirely unnecessary.
At the feet of this Gamaliel, then, was Saul brought up. (Acts xxii. 3.) It has been
observed on this passage, by learned commentators, that this expression refers to the
fashion followed by students, of sitting and lying down on the ground or on mats, at the feet
of their teacher, who sat by himself on a higher place. And indeed so many are the traces of
this fashion among the recorded labors of the Hebrews, that it does not seem possible to
call it in question. The labors of Scaliger in his “Elenchus Trihaeresii,” have brought to light
many illustrations of the point; besides which another is offered in a well-known passage
from ‫ פרקי אבות‬Pirke Aboth, or “Fragments of the Fathers.” Speaking of the wise, it is said,
“Make thyself dusty in the dust of their feet,”――‫――הוי מתאבק בעפר רגליהם‬meaning that the
young student is to be a diligent hearer at the feet of the wise;――thus raising a truly
“learned dust,” if the figure may be so minutely carried out. The same thing is farther
illustrated by a passage which Buxtorf has given in his Lexicon of the Talmud, in the portion
entitled ‫( ברכית‬Berachoth,) ‫“ מנעו בניכם מן ההגיון והושיבום בין ברכי תלמידי חכמים‬Take away your
sons from the study of the Bible, and make them sit between the knees of the disciples of
the wise;” which is equivalent to a recommendation of oral, as superior to written instruction.
The same principle, of varying the mode in which the mind receives knowledge, is
recognized in modern systems of education, with a view to avoid the self-conceit and
intolerant pride which solitary study is apt to engender, as well as because, from the living
voice of the teacher, the young scholar learns in that practical, simple mode which is most
valuable and efficient, as it is that, in which alone all his knowledge of the living and
speaking world must be obtained. It should be observed, however, that Buxtorf seems to
have understood this passage rather differently from Witsius, whose construction is followed
in the translation given above. Buxtorf, following the ordinary meaning of ‫( הגיבן‬heg-yon,)
seems to prefer the sense of “meditation.” He rejects the common translation――“study of
the Bible,” as altogether irreligious. “In hoc sensu, praeceptum impium est.” He says that
other Glosses of the passage give it the meaning of “boyish talk,” (garritu puerorum.) But
this is a sense perfectly contradictory to all usage of the word, and was evidently invented
only to avoid the seemingly irreligious character of the literal version. But why may not all
difficulties be removed by a reference to the primary signification, which is “solitary
meditation,” in opposition to “instruction by others?”
We have in the gospel history itself, also, the instance of Mary. (Luke x. 39.) The
passage in Mark iii. 32, “The multitude sat down around him,” farther illustrates this usage.
There is an old Hebrew tradition, mentioned with great reverence by Maimonides, to this
effect. “From the days of Moses down to Rabban Gamaliel, they always studied the law,
standing; but after Rabban Gamaliel was dead, weakness descended on the world, and
they studied the law, sitting.” (Witsius.)
his jewish opinions.
Jerusalem was the seat of what may be called the great Jewish
University. The Rabbins or teachers, united in themselves, not
merely the sources of Biblical and theological learning, but also the
whole system of instruction in that civil law, by which their nation
were still allowed to be governed, with only some slight exceptions
as to the right of punishment. There was no distinction, in short,
between the professions of divinity and law, the Rabbins being
teachers of the whole Mosaic system, and those who entered on a
course of study under them, aiming at the knowledge of both those
departments of learning, which, throughout the western nations, are
now kept, for the most part, entirely distinct. Saul was therefore a
student both of theology and law, and entered himself as a hearer of
the lectures of one, who may, in modern phrase, be styled the most
eminent professor in the great Hebrew university of Jerusalem. From
him he learned the law and the Jewish traditional doctrines, as
illustrated and perfected by the Fathers of the ♦Pharisaic order. His
steady energy and resolute activity were here all made available to
the very complete attainment of the mysteries of knowledge; and the
success with which he prosecuted his studies may be best
appreciated by a minute examination of his writings, which
everywhere exhibit indubitable marks of a deep and critical
knowledge of all the details of Jewish theology and law. He shows
himself to have been deeply versed in all the standard modes of
explaining the Scriptures among the Hebrews,――by
allegory,――typology, accommodation and tradition. Yet though thus
ardently drinking the streams of Biblical knowledge from this great
fountain-head, he seems to have been very far from imbibing the
mild and merciful spirit of his great teacher, as it had been so
eminently displayed in his sage decision on the trial of the apostles.
The acquisition of knowledge, even under such an instructor, was, in
Saul, attended with the somewhat common evils to which a young
mind rapidly advanced in dogmatical learning, is naturally
liable,――a bitter, denunciatory intolerance of any opinions contrary
to his own,――a spiteful feeling towards all doctrinal opponents, and
a disposition to punish speculative errors as actual crimes. All these
common faults were very remarkably developed in Saul, by that
uncommon harshness and fierceness by which he was so strongly
characterized; and his worst feelings broke out with all their fury
against the rising heretics, who, without any regular education, were
assuming the office of religious teachers, and were understood to be
seducing the people from their allegiance and due respect to the
qualified scholars of the law. The occasion on which these dark
religious passions first exhibited themselves in decided action
against the Christians, was the murder of Stephen, of which the
details have already been fully given in that part of the Life of Peter
which is connected with it. Of those who engaged in the previous
disputes with the proto-martyr, the members of the Cilician
synagogue are mentioned among others; and with these Saul would
very naturally be numbered; for, residing at a great distance from his
native province, he would with pleasure seek the company of those

Download textbook Mathematical Aspects Of Computer And Information Sciences 7Th International Conference Macis 2017 Vienna Austria November 15 17 2017 Proceedings 1St Edition Johannes Blomer ebook all chapter pdf

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Download textbook Mathematical Aspects Of Computer And Information Sciences 7Th International Conference Macis 2017 Vienna Austria November 15 17 2017 Proceedings 1St Edition Johannes Blomer ebook all chapter pdf

Uploaded by

Copyright:

Available Formats

Mathematical Aspects of Computer and

Information Sciences: 7th International

Mathematical Aspects of Computer and Information

Algorithmic Aspects of Cloud Computing Third

Advanced Hybrid Information Processing: First

Mathematical Morphology and Its Applications to Signal

Practical Aspects of Declarative Languages 19th

Digital Libraries: Data, Information, and Knowledge for

Theoretical Computer Science 35th National Conference

Trusted Computing and Information Security: 11th

Mathematical Aspects of Computer

Temur Kutsia Dimitris E. Simos (Eds.)

Mathematical Aspects of Computer

ISSN 0302-9743 ISSN 1611-3349 (electronic)

Library of Congress Control Number: 2017961797

LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues

© Springer International Publishing AG 2017

Printed on acid-free paper

This Springer imprint is published by Springer Nature

Mathematical Aspects of Computer and Information Sciences (MACIS) is a series of

Track 2: Combinatorics and Codes in Computer Science

October 2017 Johannes Blömer

Bachoc, Christine Irfan, Ahmed Ostergard, Patric

MACIS Steering Committee

Foundation of Algorithms in Mathematics, Engineering

Automated Reasoning for Knot Semigroups and p-orbifold Groups

Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation . . . 19

Certification Using Newton-Invariant Subspaces . . . . . . . . . . . . . . . . . . . . . 34

Decomposition of Low Rank Multi-symmetric Tensor . . . . . . . . . . . . . . . . . 51

Dimension Quasi-polynomials of Inversive Difference Field Extensions

Efficient Certification of Numeric Solutions to Eigenproblems . . . . . . . . . . . 81

Fast Chinese Remaindering in Practice. . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

Homotopies for Connected Components of Algebraic Sets with Application

Implementing Fast Carryless Multiplication . . . . . . . . . . . . . . . . . . . . . . . . 121

Improving Enclosure of Interval Scalar Projection Operation . . . . . . . . . . . . 137

Integrating Algebraic and SAT Solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . 147

Isabelle Formalization of Set Theoretic Structures

Jordan Canonical Form with Parameters from Frobenius Form

Knowledge-Based Interoperability for Mathematical Software Systems . . . . . 195

On Interval Methods with Zero Rewriting and Exact

Sparse Rational Function Interpolation with Finitely Many Values

Virtual Theories – A Uniform Interface to Mathematical

On Real Roots Counting for Non-radical Parametric Ideals. . . . . . . . . . . . . . 258

On the Bit-Size of Non-radical Triangular Sets . . . . . . . . . . . . . . . . . . . . . . 264

Rapidly Convergent Integrals and Function Evaluation . . . . . . . . . . . . . . . . 270

Stirling Numbers, Lambert W and the Gamma Function . . . . . . . . . . . . . . . 275

The Potential and Challenges of CAD with Equational Constraints

Combinatorics and Codes in Computer Science

New Small 4-Designs with Nonabelian Automorphism Groups . . . . . . . . . . . 289

On Classifying Steiner Triple Systems by Their 3-Rank . . . . . . . . . . . . . . . . 295

Right-Justified Characterization for Generating Regular Pattern

Experimental Study of the Ehrhart Interpolation Polytope. . . . . . . . . . . . . . . 320

On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity . . . . 325

Data Modeling and Analysis

A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching . . . . . 333

Epidemic Intelligence Statistical Modelling for Biosurveillance . . . . . . . . . . . 349

Mathematical Aspects of Information Security and Cryptography

Leakage-Resilient Riffle Shuffle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395

Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely

Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem . . . . . . . . 425

Subtleties in Security Definitions for Predicate Encryption

Code-Based Key Encapsulation from McEliece’s Cryptosystem . . . . . . . . . . 454

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461

Alexei Lisitsa1(B) and Alexei Vernitski2(B)