Achilles Beros' Webpage

I am a postdoc at the University of Hawaii.

My research interests include computability theory, inductive inference and grammatical inference. Within computability theory, I have a particular interest in degree theory and applications of computability theory in other fields. My research thus far in inductive inference has been applications of computability theory to answer questions relevant to objects in inductive inference. Grammatical inference is concerned with the identification of generative grammars for languages.

I completed my Ph.D. under the supervision of Steffen Lempp and Leo Harrington.

My CV is available here, my publication list here and my research statement here

My research interests include computability theory, inductive inference and grammatical inference. Within computability theory, I have a particular interest in degree theory and applications of computability theory in other fields. My research thus far in inductive inference has been applications of computability theory to answer questions relevant to objects in inductive inference. Grammatical inference is concerned with the identification of generative grammars for languages.

I completed my Ph.D. under the supervision of Steffen Lempp and Leo Harrington.

My CV is available here, my publication list here and my research statement here

Contact

Office: | 306 Keller Hall |

Office hours: | Tu 3:00pm-4:30pm |

Th 3:00pm-4:30pm | |

Email: | beros@math.hawaii.edu |

Publications

(Submitted for Publication)

We examine sets of codes such that certain properties are invariant under the choice of oracle from a range of possible oracles and establish a connection between such codes and Medvedev reductions. In examing the complexity of such sets of \emph{universal codes}, we prove completeness results at various levels of the arithmetic hierarchy as well as two general theorems for obtaining Π^{1}_{1}-completeness for sets of universal codes. Among other corollaries, we show that the set of codes for Medvedev reductions of bi-immune sets to DNC functions is Π^{1}_{1}-complete.

Classifying the Arithmetical Complexity of Teaching Models

(To appear in the proceedings of Algorithmic Learning Theory (ALT) 2016)

This paper classifies the complexity of various teaching models by their position in the arithmetical hierarchy. In particular, we determine the arithmetical complexity of the index sets of the following classes: (1) the class of uniformly r.e. families with finite teaching dimension, and (2) the class of uniformly r.e. families with finite positive recursive teaching dimension witnessed by a uniformly r.e. teaching sequence. We also derive the arithmetical complexity of several other decision problems in teaching.

Effective Bi-Immunity and Randomness

(To appear in the proceedings of Computability and Complexity Symposium 2017)

We study the relationship between randomness and effective bi-immunity. Greenberg and Miller have shown that for any oracle X, there are arbitrarily slow-growing DNR functions relative to X that compute no ML random set. We show that the same holds when ML randomness is replaced with effective bi-immunity. It follows that there are sequences of effective Hausdorff dimension 1 that compute no effectively bi-immune set.

We also establish an important difference between the two properties. The class Low(MLR, EBI) of oracles relative to which every ML random is effectively bi-immune contains the jump-traceable sets, and is therefore of cardinality continuum.

We also establish an important difference between the two properties. The class Low(MLR, EBI) of oracles relative to which every ML random is effectively bi-immune contains the jump-traceable sets, and is therefore of cardinality continuum.

(Submitted for Publication)

We compare the efficiency of learning using a membership oracle and learning using a teacher. We find that there is a large class of families for which the teacher provides a super-exponential efficiency gain over learning with an oracle. Furthermore, using both a teacher and an oracle provides a super-exponential gain over either learning with only an oracle and learning with only a teacher.

(To Appear in Fundamenta Informaticae)

We prove the existence of a canonical form for semi-deterministic transducers with incomparable sets of output strings. Based on this, we develop an algorithm which learns semi-deterministic transducers given access to translation queries. We also prove that there is no learning algorithm for semi-deterministic transducers that uses only domain knowledge.

(JMLR W&CP 34 :33-48, 2014)

We prove the existence of a canonical form for semi-deterministic transducers with incomparable sets of output strings. Based on this, we develop an algorithm which learns semi-deterministic transducers given access to translation queries. We also prove that there is no learning algorithm for semi-deterministic transducers that uses only domain knowledge.

(To Appear in the Notre Dame Journal of Formal Logic)

Given any oracle, A, we construct a basic sequence Q, computable in the jump of A, such that no A-computable real is Q-distribution-normal. A corollary to this is that there is a Δ^{0}_{n+1} basic sequence with respect to which no Δ^{0}_{n} real is distribution-normal. As a special case, there is a limit computable sequence relative to which no computable real is distribution-normal.

(Archive for Mathematical Logic, 54(5):521--530, 2015)

In **Diagonally Non-Computable Functions and Bi-Immunity**, Carl Jockusch and Andrew Lewis proved that every DNC function computes a bi-immune set. They asked whether every DNC function computes an effectively bi-immune set. We construct a DNC function that computes no effectively bi-immune set, thereby answering their question in the negative.

(Journal of Symbolic Logic, 78(4):1183--1188, 2013)

In 1986, Osherson, Stob and Weinstein asked whether two variants of anomalous vacillatory learning, TxtFex^{*}_{*} and TxtFext^{*}_{*}, could be distinguished. These learning criteria place bounds neither on the number of hypotheses between which the learner is allowed to vacillate nor on the number of errors permitted, merely that both are finite. The criteria differ in that the more restrictive one, TxtFext^{*}_{*}-learning, requires that all hypotheses output infinitely often must describe the same finite variant of the correct set, while TxtFex^{*}_{*} permits the learner to vacillate between finitely many different finite variants of the correct set. In this paper we show that TxtFex^{*}_{*} ≠ TxtFext^{*}_{*}, thereby answering the question posed by Osherson, et al. We prove this in a strong way by exhibiting a family in TxtFex^{*}_{2}\TxtFext^{*}_{*}.

(Journal of Symbolic Logic, 79(3):908-927, 2014)

We consider the arithmetic complexity of index sets of uniformly computably enumerable families learnable under different learning criteria. We determine the exact complexity for the standard notions of finite learning, learning in the limit, behaviourally correct learning and anomalous learning in the limit. In proving the Σ^{0}_{5}-completeness result for behaviourally correct learning we prove a result of independent interest; if a u.c.e. family is not learnable, for any computable learner there is a Δ^{0}_{2} enumeration witnessing failure.

Talks

Department Colloquium

(3/27/2015)

Recursion Theory Seminar

(2/23/2015)

Mathematics Seminar

(6/11/2014)

2013 ASL North American Annual Meeting

(5/8/2013 - 5/11/2013)

AMS Sectional Meeting

(4/26/2013 - 4/28/2013)

Recursion Theory Seminar

(12/5/2012)

Logic Seminar

(11/14/2012)

Teaching

The lecture for Math 244 meets in 303 Keller Hall, TuTh 12:00pm - 1:15pm.

The course syllabus is available here.

The review sheet for the first exam is here.

The recommended homework problems are below.

**14.1 **1, 3, 7, 9, 11, 15, 17, 19, 21, 23, 27

**14.2 **1, 5, 9, 11, 13, 15, 17, 19, 23, 27, 31, 35, 37, 41, 45

**14.3 **5, 7, 13, 15, 17

**14.4 **1, 3, 5, 7, 9, 11, 15, 19, 21, 25

**14.5 **3, 5, 7, 11, 15, 23, 25, 27, 29, 31, 33, 35, 41

**14.6 **1, 3, 7, 9, 11, 15, 17, 29, 33

**14.7 **1, 3, 5, 9, 11, 13, 15, 17, 19, 21, 25, 29, 31, 33, 35, 43, 51, 57, 61, 67

**14.8 **1, 7, 9, 11, 13, 15, 17, 21

**15.1 ** TBA

**15.2 ** TBA

**15.3 ** TBA

**15.4 ** TBA

**15.5 ** TBA

**15.6 ** TBA

**15.7 ** TBA

**15.8 ** TBA

The course syllabus is available here.

The review sheet for the first exam is here.

The recommended homework problems are below.

The lecture for Math 311 meets in 404 Keller Hall, TuTh 1:30pm-2:45pm.

The course syllabus is available here.

The homework assignments (and solutions) are listed below.

**HW #1 (due on 9/6/2018) **pdf, tex

**HW #2 (due on 9/13/2018) **pdf, tex

**HW #2 (due on 9/20/2018) **pdf, tex

The first quiz is here without solutions and here with solutions.

The review sheet for the first exam is here.

The course syllabus is available here.

The homework assignments (and solutions) are listed below.

The first quiz is here without solutions and here with solutions.

The review sheet for the first exam is here.

Useful Programs/Scripts

For a foundations class I taught in Fall 2016, I wrote the following turing machine simulator.

I have implemented several grammatical inference and clustering algorithms in python with tkinter interfaces. I will make them available here soon.

I have designed and implemented a internetworking transfer protocol based on UDP and intended to be used for hole-punching P2P communication.

I have written a python module for executing custom cellular automata.

A colleague needed a demonstration of attracting points for complex-valued functions, so I wrote the following grapher/calculator. In the future, I will implement further functionality.

I have implemented several grammatical inference and clustering algorithms in python with tkinter interfaces. I will make them available here soon.

I have designed and implemented a internetworking transfer protocol based on UDP and intended to be used for hole-punching P2P communication.

I have written a python module for executing custom cellular automata.

A colleague needed a demonstration of attracting points for complex-valued functions, so I wrote the following grapher/calculator. In the future, I will implement further functionality.

Personal

I have many interests outside of mathematics and computer science including photography, writing poetry and snorkeling. My brother, Kostas, is also a mathematician and logician.