Showing 1–50 of 50 results for author: Stephan, F

First high peak and average power single-pass THz FEL based on high brightness photoinjector

Authors: M. Krasilnikov, Z. Aboulbanine, G. Adhikari, N. Aftab, A. Asoyan, P. Boonpornprasert, H. Davtyan, G. Georgiev, J. Good, A. Grebinyk, M. Gross, A. Hoffmann, E. Kongmon, X. -K. Li, A. Lueangaramwong, D. Melkumyan, S. Mohanty, R. Niemczyk, A. Oppelt, H. Qian, C. Richard, F. Stephan, G. Vashchenko, T. Weilbach, X. Zhang , et al. (9 additional authors not shown)

Abstract: Advanced experiments using THz pump and X-ray probe pulses at modern free-electron lasers (FELs) like the European X-ray FEL require a frequency-tunable, high-power, narrow-band THz source maintaining the repetition rate and pulse structure of the X-ray pulses. This paper reports the first results from a THz source, that is based on a single-pass high-gain THz FEL operating with a central waveleng… ▽ More Advanced experiments using THz pump and X-ray probe pulses at modern free-electron lasers (FELs) like the European X-ray FEL require a frequency-tunable, high-power, narrow-band THz source maintaining the repetition rate and pulse structure of the X-ray pulses. This paper reports the first results from a THz source, that is based on a single-pass high-gain THz FEL operating with a central wavelength of 100 micrometers. The THz FEL prototype is currently in operation at the Photo Injector Test facility at DESY in Zeuthen (PITZ) and uses the same type of electron source as the European XFEL photo injector. A self-amplified spontaneous emission (SASE) FEL was envisioned as the main mechanism for generating the THz pulses. Although the THz FEL at PITZ is supposed to use the same mechanism as at X-ray facilities, it cannot be considered as a simple scaling of the radiation wavelength because there is a large difference in the number of electrons per radiation wavelength, which is five orders of magnitude higher for the THz case. The bunching factor arising from the electron beam current profile contributes strongly to the initial spontaneous emission starting the FEL process. Proof-of-principle experiments were done at PITZ using an LCLS-I undulator to generate the first high-power, high-repetition-rate single-pass THz FEL radiation. Electron bunches with a beam energy of ~17 MeV and a bunch charge of up to several nC are used to generate THz pulses with a pulse energy of several tens of microjoules. For example, for an electron beam with a charge of ~2.4 nC, more than 100 microjoules were generated at a central wavelength of 100 micrometers. The narrowband spectrum was also demonstrated by spectral measurements. These proof-of-principle experiments pave the way for a tunable, high-repetition-rate THz source providing pulses with energies in the millijoule range. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: (unpublished) for submission to PRAB

Randomness versus superspeedability

Authors: Rupert Hölzl, Philip Janicki, Wolfgang Merkle, Frank Stephan

Abstract: Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. T… ▽ More Speedable numbers are real numbers which are algorithmically approximable from below and whose approximations can be accelerated nonuniformly. We begin this article by answering a question of Barmpalias by separating a strict subclass that we will refer to as superspeedable from the speedable numbers; for elements of this subclass, acceleration is possible uniformly and to an even higher degree. This new type of benign left-approximations of numbers then integrates itself into a hierarchy of other such notions studied in a growing body of recent work. We add a new perspective to this study by juxtaposing this hierachy with the well-studied hierachy of algorithmic randomness notions. △ Less

Submitted 28 June, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

MSC Class: 03D32; 03D78; 03F60

Word automatic groups of nilpotency class 2

Authors: Andre Nies, Frank Stephan

Abstract: We consider word automaticity for groups that are nilpotent of class $2$ and have exponent a prime $p$. We show that the infinitely generated free group in this variety is not word automatic. In contrast, the infinite extra-special $p$-group $E_p$ is word automatic, as well as an intermediate group $H_p$ which has an infinite centre. In the last section we introduce a method to show automaticity o… ▽ More We consider word automaticity for groups that are nilpotent of class $2$ and have exponent a prime $p$. We show that the infinitely generated free group in this variety is not word automatic. In contrast, the infinite extra-special $p$-group $E_p$ is word automatic, as well as an intermediate group $H_p$ which has an infinite centre. In the last section we introduce a method to show automaticity of central extensions of abelian groups via co-cycles. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Languages given by Finite Automata over the Unary Alphabet

Authors: Wojciech Czerwiński, Maciej Dębski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michał Skrzypczak, Frank Stephan, Christopher Tan

Abstract: This paper studies the complexity of operations with finite automata and the complexity of their decision problems when the alphabet is unary. (1) This paper improves the upper bound of the equality problem of unary nondeterministic automata from an exponential in the second root to an exponential in the third root of the number of states. This almost matches a known lower bound based on the exp… ▽ More This paper studies the complexity of operations with finite automata and the complexity of their decision problems when the alphabet is unary. (1) This paper improves the upper bound of the equality problem of unary nondeterministic automata from an exponential in the second root to an exponential in the third root of the number of states. This almost matches a known lower bound based on the exponential time hypothesis by Fernau and Krebs. (2) It is established that the standard regular operations of union, intersection, complementation and Kleene star cause either only a polynomial or a quasipolynomial blow-up. Concatenation of two $n$-state ufas, in worst case, causes a blow-up from $n$ to a function with an exponent of sixth root of $n$ or worse. Decision problems of finite formulas using regular operations and comparing languages given by $n$-state unambiguous automata, in worst case, require an exponential-type of time under the Exponential Time hypothesis and this complexity goes down to quasipolynomial time in the case that the concatenation of languages is not used in the formula. Merely comparing two languages given by $n$-state ufas in Chrobak Normal Form is in LOGSPACE. (3) Starting from this research, membership of the infinite word given by a unary alphabet language in a fixed regular language of infinite words is shown to be as difficult as constructing the dfa of that language from the given automaton. △ Less

Submitted 19 July, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

MSC Class: 03D05; 68Q15; 68Q17; 68Q45

String Compression in FA-Presentable Structures

Authors: Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan

Abstract: We construct a FA-presentation $ψ: L \rightarrow \mathbb{N}$ of the structure $(\mathbb{N};\mathrm{S})$ for which a numerical characteristic $r(n)$ defined as the maximum number $ψ(w)$ for all strings $w \in L$ of length less than or equal to $n$ grows faster than any tower of exponents of a fixed height. This result leads us to a more general notion of a compressibility rate defined for FA-presen… ▽ More We construct a FA-presentation $ψ: L \rightarrow \mathbb{N}$ of the structure $(\mathbb{N};\mathrm{S})$ for which a numerical characteristic $r(n)$ defined as the maximum number $ψ(w)$ for all strings $w \in L$ of length less than or equal to $n$ grows faster than any tower of exponents of a fixed height. This result leads us to a more general notion of a compressibility rate defined for FA-presentations of any FA-presentable structure. We show the existence of FA-presentations for the configuration space of a Turing machine and Cayley graphs of some groups for which it grows faster than any tower of exponents of a fixed height. For FA-presentations of the Presburger arithmetic $(\mathbb{N};+)$ we show that it is bounded from above by a linear function. △ Less

Submitted 2 February, 2023; originally announced February 2023.

Comments: 14 pages; accepted version

Journal ref: Theoretical Computer Science, 947 (2023) 113705

Analysis of photoinjector transverse phase space in action and phase coordinates

Authors: Houjun Qian, Mikhail Krasilnikov, Zakaria Aboulbanine, Gowri Adhikari, Namra Aftab, Prach Boonpornpras, Georgi Georgiev, James Good, Matthias Gross, Christian Koschitzki, Xiangkun Li, Osip Lishilin, Anusorn Lueangaramwong, Raffael Niemczyk, Anne Oppelt, Guan Shu, Frank Stephan, Grygorii Vashchenko, Tobias Weilbach

Abstract: Photoinjectors are the main high brightness electron sources for X-ray free electron lasers (XFEL). Photoinjector emittance reduction is one of the key knobs for improving XFEL lasing, so precise emittance measurement is critical. It's well known that rms emittance is very sensitive to low intensity tails of particle distributions in the phase space, whose measurement depend on the signal to noise… ▽ More Photoinjectors are the main high brightness electron sources for X-ray free electron lasers (XFEL). Photoinjector emittance reduction is one of the key knobs for improving XFEL lasing, so precise emittance measurement is critical. It's well known that rms emittance is very sensitive to low intensity tails of particle distributions in the phase space, whose measurement depend on the signal to noise ratio (SNR) and image processing procedures. Such sensitivities make the interpretations of beam transverse brightness challenging, leading to different emittance definitions to reduce the impact of tail particles. In this paper, transverse phase space is analyzed in action and phase coordinates for both analytical models and experiments, which give a more intuitive way to calculate the beam core brightness. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Slice energy spread measurement in the low energy photoinjector

Authors: Houjun Qian, Mikhail Krasilnikov, Anusorn Lueangaramwong, Xiangkun Li, Osip Lishilin, Zakaria Aboulbanine, Gowri Adhikari, Namra Aftab, Prach Boonpornprasert, Georgi Georgiev, James Good, Matthias Gross, Christian Koschitzki, Raffael Niemczyk, Anne Oppelt, Guan Shu, Frank Stephan, Grygorii Vashchenko, Tobias Weilbach

Abstract: Slice energy spread is one of the key parameters in free electron laser optimizations, but its accurate measurement is not straightforward. Two recent studies from high energy ($>$100 MeV) photoinjectors at SwissFEL and European XFEL have reported much higher slice energy spread than expected at their XFEL working points (200 - 250 pC). In this paper, a new method for measuring slice energy spread… ▽ More Slice energy spread is one of the key parameters in free electron laser optimizations, but its accurate measurement is not straightforward. Two recent studies from high energy ($>$100 MeV) photoinjectors at SwissFEL and European XFEL have reported much higher slice energy spread than expected at their XFEL working points (200 - 250 pC). In this paper, a new method for measuring slice energy spread at a lower beam energy ($\sim$20 MeV) is proposed and demonstrated at the PhotoInjector Test facility at DESY Zeuthen (PITZ), and the results for 250 pC and 500 pC are much lower than those measured at high energy injectors. △ Less

Submitted 31 January, 2022; originally announced January 2022.

A Computation Model with Automatic Functions and Relations as Primitive Operations

Authors: Ziyuan Gao, Sanjay Jain, Li Zeyong, Ammar Fathin Sabili, Frank Stephan

Abstract: Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd and Knuth (Floyd and Knuth, 1990) investigated what happens if a device uses primitive steps more natural than single updates of a Turing tape. One finding was that in the numerical setting, addition, subtraction, comparisons and bit-wise Boolean operations of numbers preserve polynomial time while incorporating concatenation… ▽ More Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd and Knuth (Floyd and Knuth, 1990) investigated what happens if a device uses primitive steps more natural than single updates of a Turing tape. One finding was that in the numerical setting, addition, subtraction, comparisons and bit-wise Boolean operations of numbers preserve polynomial time while incorporating concatenation or multiplication allows to solve all PSPACE problems in polynomially many steps. Therefore we propose to use updates and comparisons with automatic functions as primitive operations and use constantly many registers; the resulting model covers all primitive operations of Hartmanis and Simon as well as Floyd and Knuth, but the model remains in polynomial time. The present work investigates in particular the deterministic complexity of various natural problems and also gives an overview on the nondeterministic complexity of this model. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 33 pages

MSC Class: 03D15

An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs

Authors: Gordon Hoi, Ammar Fathin Sabili, Frank Stephan

Abstract: The Maximum Induced Matching problem asks to find the maximum $k$ such that, given a graph $G=(V,E)$, can we find a subset of vertices $S$ of size $k$ for which every vertices $v$ in the induced graph $G[S]$ has exactly degree $1$. In this paper, we design an exact algorithm running in $O(1.2630^n)$ time and polynomial space to solve the Maximum Induced Matching problem for graphs where each verte… ▽ More The Maximum Induced Matching problem asks to find the maximum $k$ such that, given a graph $G=(V,E)$, can we find a subset of vertices $S$ of size $k$ for which every vertices $v$ in the induced graph $G[S]$ has exactly degree $1$. In this paper, we design an exact algorithm running in $O(1.2630^n)$ time and polynomial space to solve the Maximum Induced Matching problem for graphs where each vertex has degree at most 3. Prior work solved the problem by finding the Maximum Independent Set using polynomial space in the line graph $L(G^2)$; this method uses $O(1.3139^n)$ time. △ Less

Submitted 10 January, 2022; originally announced January 2022.

MSC Class: 68R10

Design studies of a continuous-wave normal conducting buncher for European X-FEL

Authors: Shankar Lal, V. Paramonov, H. Qian1, H. Shaker, G. Shu, Ye Chen, F. Stephan

Abstract: A three-cell 1.3 GHz, Normal Conducting (NC) buncher is designed for a possible future upgrade of the European XFEL to operate in a continuous-wave (CW) / long pulse (LP) mode. The RF geometry of the buncher is optimized for high shunt impedance, large mode separation as well as multipacting free in the operation range. The bunchersupport cavity voltage of 400 kV with an RF power dissipation of 14… ▽ More A three-cell 1.3 GHz, Normal Conducting (NC) buncher is designed for a possible future upgrade of the European XFEL to operate in a continuous-wave (CW) / long pulse (LP) mode. The RF geometry of the buncher is optimized for high shunt impedance, large mode separation as well as multipacting free in the operation range. The bunchersupport cavity voltage of 400 kV with an RF power dissipation of 14 kW. A tapered waveguide-based RF power coupler is designed to feed the RF power to the buncher. The RF power coupler port is optimized for field asymmetry compensation. The thermal load due to RF power dissipation is analyzed using Multiphysics simulations in CST and a simplified cooling scheme is designed. △ Less

Submitted 24 December, 2021; originally announced December 2021.

Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth

Authors: Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan

Abstract: Floyd and Knuth investigated in 1990 register machines which can add, subtract and compare integers as primitive operations. They asked whether their current bound on the number of registers for multiplying and dividing fast (running in time linear in the size of the input) can be improved and whether one can output fast the powers of two summing up to a positive integer in subquadratic time. Both… ▽ More Floyd and Knuth investigated in 1990 register machines which can add, subtract and compare integers as primitive operations. They asked whether their current bound on the number of registers for multiplying and dividing fast (running in time linear in the size of the input) can be improved and whether one can output fast the powers of two summing up to a positive integer in subquadratic time. Both questions are answered positively. Furthermore, it is shown that every function computed by only one register is automatic and that automatic functions with one input can be computed with four registers in linear time; automatic functions with a larger number of inputs can be computed with 5 registers in linear time. There is a nonautomatic function with one input which can be computed with two registers in linear time. △ Less

Submitted 17 October, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

ACM Class: F.1

Alternating Automatic Register Machines

Authors: Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Abstract: This paper introduces and studies a new model of computation called an Alternating Automatic Register Machine (AARM). An AARM possesses the basic features of a conventional register machine and an alternating Turing machine, but can carry out computations using bounded automatic relations in a single step. One finding is that an AARM can recognise some NP-complete problems, including SAT (using a… ▽ More This paper introduces and studies a new model of computation called an Alternating Automatic Register Machine (AARM). An AARM possesses the basic features of a conventional register machine and an alternating Turing machine, but can carry out computations using bounded automatic relations in a single step. One finding is that an AARM can recognise some NP-complete problems, including SAT (using a particular coding), in $\log^* n + O(1)$ steps. On the other hand, if all problems in P can be solved by an AARM in $O(\log^*n)$ rounds, then $\text{P} \subset \text{PSPACE}$. Furthermore, we study an even more computationally powerful machine, called a Polynomial-Size Padded Alternating Automatic Register Machine (PAARM), which allows the input to be padded with a polynomial-size string. It is shown that the polynomial hierarchy can be characterised as the languages that are recognised by a PAARM in $\log^*n + O(1)$ steps. These results illustrate the power of alternation when combined with computations involving automatic relations, and uncover a finer gradation between known complexity classes. △ Less

Submitted 17 August, 2022; v1 submitted 7 November, 2021; originally announced November 2021.

Comments: 26 pages, 2 figures

Ordered Semiautomatic Rings with Applications to Geometry

Authors: Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr

Abstract: The present work looks at semiautomatic rings with automatic addition and comparisons which are dense subrings of the real numbers and asks how these can be used to represent geometric objects such that certain operations and transformations are automatic. The underlying ring has always to be a countable dense subring of the real numbers and additions and comparisons and multiplications with const… ▽ More The present work looks at semiautomatic rings with automatic addition and comparisons which are dense subrings of the real numbers and asks how these can be used to represent geometric objects such that certain operations and transformations are automatic. The underlying ring has always to be a countable dense subring of the real numbers and additions and comparisons and multiplications with constants need to be automatic. It is shown that the ring can be selected such that equilateral triangles can be represented and rotations by 30 degrees are possible, while the standard representation of the b-adic rationals does not allow this. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Journal ref: Extended version of the article in the Proceedings of the International Conference on Language and Automata Theory and Applications 2020 Mar 4 (pp. 141-153). Springer, Cham

Improved Algorithms for the General Exact Satisfiability Problem

Authors: Gordon Hoi, Frank Stephan

Abstract: The Exact Satisfiability problem asks if we can find a satisfying assignment to each clause such that exactly one literal in each clause is assigned $1$, while the rest are all assigned $0$. We can generalise this problem further by defining that a $C^j$ clause is solved iff exactly $j$ of the literals in the clause are $1$ and all others are $0$. We now introduce the family of Generalised Exact S… ▽ More The Exact Satisfiability problem asks if we can find a satisfying assignment to each clause such that exactly one literal in each clause is assigned $1$, while the rest are all assigned $0$. We can generalise this problem further by defining that a $C^j$ clause is solved iff exactly $j$ of the literals in the clause are $1$ and all others are $0$. We now introduce the family of Generalised Exact Satisfiability problems called G$i$XSAT as the problem to check whether a given instance consisting of $C^j$ clauses with $j \in \{0,1,\ldots,i\}$ for each clause has a satisfying assignment. In this paper, we present faster exact polynomial space algorithms, using a nonstandard measure, to solve G$i$XSAT, for $i\in \{2,3,4\}$, in $O(1.3674^n)$ time, $O(1.5687^n)$ time and $O(1.6545^n)$ time, respectively, using polynomial space, where $n$ is the number of variables. This improves the current state of the art for polynomial space algorithms from $O(1.4203^n)$ time for G$2$XSAT by Zhou, Jiang and Yin and from $O(1.6202^n)$ time for G$3$XSAT by Dahllöf and from $O(1.6844^n)$ time for G$4$XSAT which was by Dahllöf as well. In addition, we present faster exact algorithms solving G$2$XSAT, G$3$XSAT and G$4$XSAT in $O(1.3188^n)$ time, $O(1.3407^n)$ time and $O(1.3536^n)$ time respectively at the expense of using exponential space. △ Less

Submitted 30 July, 2021; v1 submitted 21 January, 2021; originally announced January 2021.

Learnability and Positive Equivalence Relations

Authors: David Belanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan

Abstract: Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated what algebraic structures can be realised in worlds given by a positive (= recursively enumerable) equivalence relation which partitions the natural numbers into infinitely many equivalence classes. The present work investigates the infinite one-one numbered recursively enumerable (r.e.) families realised by such relations and a… ▽ More Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated what algebraic structures can be realised in worlds given by a positive (= recursively enumerable) equivalence relation which partitions the natural numbers into infinitely many equivalence classes. The present work investigates the infinite one-one numbered recursively enumerable (r.e.) families realised by such relations and asks how the choice of the equivalence relation impacts the learnability properties of these classes when studying learnability in the limit from positive examples, also known as learning from text. For all choices of such positive equivalence relations, for each of the following entries, there are one-one numbered r.e. families which satisfy it: (a) they are behaviourally correctly learnable but not vacillatorily learnable; (b) they are explanatorily learnable but not confidently learnable; (c) they are not behaviourally correctly learnable. Furthermore, there is a positive equivalence relation which enforces that (d) every vacillatorily learnable one-one numbered family of languages closed under this equivalence relation is already explanatorily learnable and cannot be confidently learnable. △ Less

Submitted 17 June, 2021; v1 submitted 24 November, 2020; originally announced December 2020.

Comments: 31 pages, 0 figures

members of thin $Π_1^0$ classes and generic degrees

Authors: Frank Stephan, Guohua Wu, Bowen Yuan

Abstract: A $Π^{0}_{1}$ class $P$ is thin if every $Π^{0}_{1}$ subclass $Q$ of $P$ is the intersection of $P$ with some clopen set. In 1993, Cenzer, Downey, Jockusch and Shore initiated the study of Turing degrees of members of thin $Π^{0}_{1}$ classes, and proved that degrees containing no members of thin $Π^{0}_{1}$ classes can be recursively enumerable, and can be minimal degree below {\bf 0}$'$. In this… ▽ More A $Π^{0}_{1}$ class $P$ is thin if every $Π^{0}_{1}$ subclass $Q$ of $P$ is the intersection of $P$ with some clopen set. In 1993, Cenzer, Downey, Jockusch and Shore initiated the study of Turing degrees of members of thin $Π^{0}_{1}$ classes, and proved that degrees containing no members of thin $Π^{0}_{1}$ classes can be recursively enumerable, and can be minimal degree below {\bf 0}$'$. In this paper, we work on this topic in terms of genericity, and prove that all 2-generic degrees contain no members of thin $Π^{0}_{1}$ classes. In contrast to this, we show that all 1-generic degrees below {\bf 0}$'$ contain members of thin $Π^{0}_{1}$ classes. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 9 pages, 3 figures

MSC Class: 03D28

A Faster Exact Algorithm to Count X3SAT Solutions

Authors: Gordon Hoi, Sanjay Jain, Frank Stephan

Abstract: The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula in CNF such that there is exactly one literal in each clause assigned to be 1 and the other literals in the same clause are set to 0. If we restrict the length of each clause to be at most 3 literals, then it is known as the X3SAT problem. In this paper, we consider the problem of coun… ▽ More The Exact Satisfiability problem, XSAT, is defined as the problem of finding a satisfying assignment to a formula in CNF such that there is exactly one literal in each clause assigned to be 1 and the other literals in the same clause are set to 0. If we restrict the length of each clause to be at most 3 literals, then it is known as the X3SAT problem. In this paper, we consider the problem of counting the number of satisfying assignments to the X3SAT problem, which is also known as #X3SAT. The current state of the art exact algorithm to solve #X3SAT is given by Dahllöf, Jonsson and Beigel and runs in $O(1.1487^n)$, where $n$ is the number of variables in the formula. In this paper, we propose an exact algorithm for the #X3SAT problem that runs in $O(1.1120^n)$ with very few branching cases to consider, by using a result from Monien and Preis to give us a bisection width for graphs with at most degree 3. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: Paper accepted at conference CP 2020 which will appear in Springer LNCS proceedings. This is an extended version of that paper which contains additional material. DOI will be added when known

MSC Class: 68Q25; 68W40

Single shot cathode transverse momentum imaging in high brightness photoinjectors

Authors: Peng-Wei Huang, Houjun Qian, Ye Chen, Daniele Filippetto, Matthias Gross, Igor Isaev, Christian Koschitzki, Mikhail Krasilnikov, Shankar Lal, Xiangkun Li, Osip Lishilin, David Melkumyan, Raffael Niemczyk, Anne Oppelt, Fernando Sannibale, Hamed Shaker, Guan Shu, Frank Stephan, Chuanxiang Tang, Grygorii Vashchenko, Weishi Wan

Abstract: In state of the art photoinjector electron sources, thermal emittance from photoemission dominates the final injector emittance. Therefore, low thermal emittance cathode developments and diagnostics are very important. Conventional thermal emittance measurements for the high gradient gun are time-consuming and thus thermal emittance is not measured as frequently as quantum efficiency during the li… ▽ More In state of the art photoinjector electron sources, thermal emittance from photoemission dominates the final injector emittance. Therefore, low thermal emittance cathode developments and diagnostics are very important. Conventional thermal emittance measurements for the high gradient gun are time-consuming and thus thermal emittance is not measured as frequently as quantum efficiency during the lifetime of photocathodes, although both are important properties for the photoinjector optimizations. In this paper, a single shot measurement of photoemission transverse momentum, i.e., thermal emittance per rms laser spot size, is proposed for photocathode RF guns. By tuning the gun solenoid focusing, the electrons transverse momenta at the cathode are imaged to a downstream screen, which enables a single shot measurement of both the rms value and the detailed spectra of the photoelectrons transverse momenta. Both simulations and proof of principle experiments are reported. △ Less

Submitted 17 February, 2020; originally announced February 2020.

Comments: 9 pages, 15 figures

Journal ref: Phys. Rev. Accel. Beams 23, 043401 (2020)

A note on the experiment parameters for the non-resonant streaming instability: competition between left and right circularly polarized modes

Authors: Chun-Sung Jao, Sergei Vafin, Ye Chen, Matthias Gross, Mikhail Krasilnikov, Gregor Loisch, Timon Mehrling, Jacek Niemiec, Anne Oppelt, Alberto Martinez de la Ossa, Jens Osterhoff, Martin Pohl, Frank Stephan

Abstract: A non-resonant streaming instability driven by cosmic-ray currents, also called Bell's instability, is proposed as a candidate for providing the required magnetic turbulence of efficient diffusive shock accelerations. To demonstrate the saturation level and mechanism of the non-resonant streaming instability in a laboratory environment, we attempt to develop an experiment at the Photo Injector Tes… ▽ More A non-resonant streaming instability driven by cosmic-ray currents, also called Bell's instability, is proposed as a candidate for providing the required magnetic turbulence of efficient diffusive shock accelerations. To demonstrate the saturation level and mechanism of the non-resonant streaming instability in a laboratory environment, we attempt to develop an experiment at the Photo Injector Test Facility at DESY, Zeuthen site (PITZ). As an electron beam is used to replace the proton beam to carry the cosmic-ray current in our experiment, the polarization of the non-resonant streaming instability will be modified from the left-handed (LH) mode to the right-handed (RH) mode. The theoretical instability analysis shows that the growth rate of this RH non-resonant mode may be smaller than it of the LH resonant mode. However the LH resonant mode can be ignored in our experiment while the expected wavelength is longer than the used plasma cell. The results of PIC simulations will also support this contention and the occurrence of non-resonant streaming instability in our experiment. △ Less

Submitted 30 October, 2019; originally announced October 2019.

A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT

Authors: Gordon Hoi, Sanjay Jain, Frank Stephan

Abstract: X3SAT is the problem of whether one can satisfy a given set of clauses with up to three literals such that in every clause, exactly one literal is true and the others are false. A related question is to determine the maximal Hamming distance between two solutions of the instance. Dahllöf provided an algorithm for Maximum Hamming Distance XSAT, which is more complicated than the same problem for X3… ▽ More X3SAT is the problem of whether one can satisfy a given set of clauses with up to three literals such that in every clause, exactly one literal is true and the others are false. A related question is to determine the maximal Hamming distance between two solutions of the instance. Dahllöf provided an algorithm for Maximum Hamming Distance XSAT, which is more complicated than the same problem for X3SAT, with a runtime of $O(1.8348^n)$; Fu, Zhou and Yin considered Maximum Hamming Distance for X3SAT and found for this problem an algorithm with runtime $O(1.6760^n)$. In this paper, we propose an algorithm in $O(1.3298^n)$ time to solve the Max Hamming Distance X3SAT problem; the algorithm actually counts for each $k$ the number of pairs of solutions which have Hamming Distance $k$. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Randomness and initial segment complexity for probability measures

Authors: Andre Nies, Frank Stephan

Abstract: We study algorithmic randomness properties for probability measures on Cantor space. We say that a measure $μ$ on the space of infinite bit sequences is ML absolutely continuous if the non-ML-random bit sequences form a null set with respect to~$μ$. We think of this as a weak randomness notion for measures. We begin with examples, and provide a robustness property related to Solovay tests. Our m… ▽ More We study algorithmic randomness properties for probability measures on Cantor space. We say that a measure $μ$ on the space of infinite bit sequences is ML absolutely continuous if the non-ML-random bit sequences form a null set with respect to~$μ$. We think of this as a weak randomness notion for measures. We begin with examples, and provide a robustness property related to Solovay tests. Our main work connects our weak randomness notion to the growth of the initial segment complexity for measures~$μ$; the latter is defined as a $μ$-average over the complexity of strings of the same length. We show that a maximal growth implies our weak randomness property, but also that both implications of the Levin-Schnorr theorem fail. We discuss $C$-triviality and $K$-triviality for measures and relate these two notions with each other. Here triviality means that the growth of initial segment complexity is as slow as possible. We show that full Martin-Löf randomness of a measure implies ML absolute continuity; the converse fails because only the latter property is compatible with having atoms. In a final section we consider weak randomness relative to a general ergodic computable measure. We seek appropriate effective versions of the Shannon-McMillan-Breiman theorem and the Brudno theorem where the bit sequences are replaced by measures. We conclude with several open questions. △ Less

Submitted 16 October, 2020; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: This second version is the journal version. The first version was accepted at STACS 2020

On the order dimension of locally countable partial orderings

Authors: Kojiro Higuchi, Steffen Lempp, Diip Raghavan, Frank Stephan

Abstract: We show that the order dimension of the partial order of all finite subsets of $κ$ under set inclusion is ${\log}_{2}({\log}_{2}(κ))$ whenever $κ$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P, <)$ of size $κ^+$, for any $κ$ of uncountable cofinality, is at most $κ$. In particular, this implies that it is consistent with ZFC that the… ▽ More We show that the order dimension of the partial order of all finite subsets of $κ$ under set inclusion is ${\log}_{2}({\log}_{2}(κ))$ whenever $κ$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P, <)$ of size $κ^+$, for any $κ$ of uncountable cofinality, is at most $κ$. In particular, this implies that it is consistent with ZFC that the dimension of the Turing degrees under partial ordering can be strictly less than the continuum. △ Less

Submitted 15 February, 2019; originally announced February 2019.

MSC Class: Primary: 06A06; 03E04; Secondary: 03D28

Random Subgroups of Rationals

Authors: Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander Melnikov, Karen Seidel, Frank Stephan

Abstract: This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic and recursion-theoretic properties of $(G,+)$; second, what learnability properties can one extract from $G$ and its subclass of finitely generated subgroups?… ▽ More This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic and recursion-theoretic properties of $(G,+)$; second, what learnability properties can one extract from $G$ and its subclass of finitely generated subgroups? For the first question, it is shown that the theory of $(G,+)$ coincides with that of the additive group of integers and is therefore decidable; furthermore, while the word problem for $G$ with respect to any generating sequence for $G$ is not even semi-decidable, one can build a generating sequence $β$ such that the word problem for $G$ with respect to $β$ is co-recursively enumerable (assuming that the set of generators of $G$ is limit-recursive). In regard to the second question, it is proven that there is a generating sequence $β$ for $G$ such that every non-trivial finitely generated subgroup of $G$ is recursively enumerable and the class of all such subgroups of $G$ is behaviourally correctly learnable, that is, every non-trivial finitely generated subgroup can be semantically identified in the limit (again assuming that the set of generators of $G$ is limit-recursive). On the other hand, the class of non-trivial finitely generated subgroups of $G$ cannot be syntactically identified in the limit with respect to any generating sequence for $G$. The present work thus contributes to a recent line of research studying algorithmically random infinite structures and uncovers an interesting connection between the arithmetical complexity of the set of generators of a randomly generated subgroup of rationals and the learnability of its finitely generated subgroups. △ Less

Submitted 17 January, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 27 pages

The isomorphism problem for tree-automatic ordinals with addition

Authors: Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan

Abstract: This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such that their elements are coded by finite trees for which the linear order relation of the ordinal and the ordinal addition operation can be determined by tree automata. We describe an algorithm that, given two tree-autom… ▽ More This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such that their elements are coded by finite trees for which the linear order relation of the ordinal and the ordinal addition operation can be determined by tree automata. We describe an algorithm that, given two tree-automatic ordinals with the ordinal addition operation, decides if the ordinals are isomorphic. △ Less

Submitted 20 March, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Passive Ballistic Microbunching of Non-Ultrarelativistic Electron Bunches using Electromagnetic Wakefields in Dielectric-Lined Waveguides

Authors: Francois Lemery, Philippe Piot, Gayane Amatuni, Prach Boonpornprasert, Ye Lining Chen, James David Good, Bagrat Grigoryan, Matthias Gross, Mikhail Krasilnikov, Osip Lishilin, Gregor Loisch, Anne Oppelt, Sebastian Philipp, Houjun Qian, Yves Renier, Frank Stephan, Igor Zagorodnov

Abstract: Temporally-modulated electron beams have a wide array of applications ranging from the generation of coherently-enhanced electromagnetic radiation to the resonant excitation of electromagnetic wakefields in advanced-accelerator concepts. Likewise producing low-energy ultrashort microbunches could be useful for ultra-fast electron diffraction and new accelerator-based light-source concepts. In this… ▽ More Temporally-modulated electron beams have a wide array of applications ranging from the generation of coherently-enhanced electromagnetic radiation to the resonant excitation of electromagnetic wakefields in advanced-accelerator concepts. Likewise producing low-energy ultrashort microbunches could be useful for ultra-fast electron diffraction and new accelerator-based light-source concepts. In this Letter we propose and experimentally demonstrate a passive microbunching technique capable of forming a picosecond bunch train at $\sim 6$~MeV. The method relies on the excitation of electromagnetic wakefields as the beam propagates through a dielectric-lined waveguide. Owing to the non-ultrarelativistic nature of the beam, the induced energy modulation eventually converts into a density modulation as the beam travels in a following free-space drift. The modulated beam is further accelerated to $\sim20$~MeV while preserving the imparted density modulation. △ Less

Submitted 25 June, 2018; originally announced June 2018.

Journal ref: Phys. Rev. Lett. 122, 044801 (2019)

Subrecursive Approximations of Irrational Numbers by Variable Base Sums

Authors: Ivan Georgiev, Lars Kristiansen, Frank Stephan

Abstract: There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these representations yield the same class of real numbers. If we work with some restricted notion of computability, e.g., polynomial time computability or primitive re… ▽ More There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these representations yield the same class of real numbers. If we work with some restricted notion of computability, e.g., polynomial time computability or primitive recursiveness, they do not. Irrational numbers can be represented by infinite sums of certain forms. We prove some results related to representation of irrational numbers by infinite sums. △ Less

Submitted 27 March, 2020; v1 submitted 15 April, 2018; originally announced April 2018.

MSC Class: 03D15; 03D20; 03F60 ACM Class: F.1.1; F.1.3; F.4.1

Generation of quasi continuous-wave electron beams in an L-band normal conducting pulsed RF injector for laboratory astrophysics experiments

Authors: Ye Chen, Gregor Loisch, Matthias Gross, Chun-Sung Jao, Mikhail Krasilnikov, Anne Oppelt, Jens Osterhoff, Martin Pohl, Houjun Qian, Frank Stephan, Sergei Vafin

Abstract: We report on an approach to produce quasi continuous-wave (cw) electron beams with an average beam current of milliamperes and a mean beam energy of a few MeV in a pulsed RF injector. Potential applications are in the planned laboratory astrophysics programs at DESY. The beam generation is based on field emission from a specially designed metallic field emitter. A quasi cw beam profile is formed o… ▽ More We report on an approach to produce quasi continuous-wave (cw) electron beams with an average beam current of milliamperes and a mean beam energy of a few MeV in a pulsed RF injector. Potential applications are in the planned laboratory astrophysics programs at DESY. The beam generation is based on field emission from a specially designed metallic field emitter. A quasi cw beam profile is formed over subsequent RF cycles at the resonance frequency of the gun cavity. This is realized by debunching in a cut disk structure accelerating cavity (booster) downstream of the gun. The peak and average beam currents can be tuned in beam dynamics simulations by adjusting operation conditions of the booster cavity. Optimization of the transverse beam size at specific positions (e.g., entrance of the plasma experiment) is performed by applying magnetic focusing fields provided by solenoids along the beam line. In this paper, the design of a microtip field emitter is introduced and characterized in electromagnetic field simulations in the gun cavity. A series of particle tracking simulations are conducted for multi-parametric optimization of the parameters of the produced quasi cw electron beams. The obtained results will be presented and discussed. In addition, measurements of the parasitic field emission (PFE) current (dark current) in the PITZ gun will be exemplarily shown to distinguish its order of magnitude from the produced beam current by the designed field emitter. △ Less

Submitted 21 March, 2018; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: 23 pages, 17 figures

Equivalences between learning of data and probability distributions, and their applications

Authors: George Barmpalias, Nan Fang, Frank Stephan

Abstract: Algorithmic learning theory traditionally studies the learnability of effective infinite binary sequences (reals), while recent work by [Vitanyi and Chater, 2017] and [Bienvenu et al., 2014] has adapted this framework to the study of learnability of effective probability distributions from random data. We prove that for certain families of probability measures that are parametrized by reals, learn… ▽ More Algorithmic learning theory traditionally studies the learnability of effective infinite binary sequences (reals), while recent work by [Vitanyi and Chater, 2017] and [Bienvenu et al., 2014] has adapted this framework to the study of learnability of effective probability distributions from random data. We prove that for certain families of probability measures that are parametrized by reals, learnability of a subclass of probability measures is equivalent to learnability of the class of the corresponding real parameters. This equivalence allows to transfer results from classical algorithmic theory to learning theory of probability measures. We present a number of such applications, providing many new results regarding EX and BC learnability of classes of measures, thus drawing parallels between the two learning theories. △ Less

Submitted 14 July, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Covering the recursive sets

Authors: Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn

Abstract: We give solutions to two of the questions in a paper by Brendle, Brooke-Taylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct constructions using martingales. At the same time, we introduce the concept of i.o. subuniformity and relate this concept to recursive measure theory. We prove that there are classes closed downwards under Turing reduci… ▽ More We give solutions to two of the questions in a paper by Brendle, Brooke-Taylor, Ng and Nies. Our examples derive from a 2014 construction by Khan and Miller as well as new direct constructions using martingales. At the same time, we introduce the concept of i.o. subuniformity and relate this concept to recursive measure theory. We prove that there are classes closed downwards under Turing reducibility that have recursive measure zero and that are not i.o. subuniform. This shows that there are examples of classes that cannot be covered with methods other than probabilistic ones. It is easily seen that every set of hyperimmune degree can cover the recursive sets. We prove that there are both examples of hyperimmune-free degree that can and that cannot compute such a cover. △ Less

Submitted 15 December, 2017; originally announced December 2017.

MSC Class: 03D32

Journal ref: Annals of Pure and Applied Logic 168 (2017), no. 4, 804--823. Preliminary version in: Computability in Europe, Lecture Notes in Computer Science 9136 (2015), 44--53

Algorithmic learning of probability distributions from random data in the limit

Authors: George Barmpalias, Frank Stephan

Abstract: We study the problem of identifying a probability distribution for some given randomly sampled data in the limit, in the context of algorithmic learning theory as proposed recently by Vinanyi and Chater. We show that there exists a computable partial learner for the computable probability measures, while by Bienvenu, Monin and Shen it is known that there is no computable learner for the computable… ▽ More We study the problem of identifying a probability distribution for some given randomly sampled data in the limit, in the context of algorithmic learning theory as proposed recently by Vinanyi and Chater. We show that there exists a computable partial learner for the computable probability measures, while by Bienvenu, Monin and Shen it is known that there is no computable learner for the computable probability measures. Our main result is the characterization of the oracles that compute explanatory learners for the computable (continuous) probability measures as the high oracles. This provides an analogue of a well-known result of Adleman and Blum in the context of learning computable probability distributions. We also discuss related learning notions such as behaviorally correct learning and orther variations of explanatory learning, in the context of learning probability distributions from data. △ Less

Submitted 13 March, 2018; v1 submitted 30 October, 2017; originally announced October 2017.

Closure of resource-bounded randomness notions under polynomial time permutations

Authors: Andre Nies, Frank Stephan

Abstract: An infinite bit sequence is called recursively random if no computable strategy betting along the sequence has unbounded capital. It is well-known that the property of recursive randomness is closed under computable permutations. We investigate analogous statements for randomness notions defined by betting strategies that are computable within resource bounds. Suppose that S is a polynomial time c… ▽ More An infinite bit sequence is called recursively random if no computable strategy betting along the sequence has unbounded capital. It is well-known that the property of recursive randomness is closed under computable permutations. We investigate analogous statements for randomness notions defined by betting strategies that are computable within resource bounds. Suppose that S is a polynomial time computable permutation of the set of strings over the unary alphabet (identified with N). If the inverse of S is not polynomially bounded, it is easy to build a polynomial time random bit sequence Z such that Z o S is not polynomial time random. So one should only consider permutations S satisfying the extra condition that the inverse is polynomially bounded. Now the closure depends on additional assumptions in complexity theory. Our first result shows that if BPP contains a superpolynomial deterministic time class then polynomial time randomness is not preserved by some permutation S such that in fact both S and its inverse are in P. Our second result shows that polynomial space randomness is preserved by polynomial time permutations with polynomially boun\-ded inverse, so if P=PSPACE then polynomial time randomness is preserved. △ Less

Submitted 25 September, 2017; originally announced September 2017.

An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space

Authors: John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak

Abstract: Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have shown that these games can be solved in quasi-polynomial time. We show that their algorithm can be implemented efficiently: we use their data structure as a progress measure, allowing for a backward implementation instead of a complete unravelling of the game. To achieve this, a number of change… ▽ More Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have shown that these games can be solved in quasi-polynomial time. We show that their algorithm can be implemented efficiently: we use their data structure as a progress measure, allowing for a backward implementation instead of a complete unravelling of the game. To achieve this, a number of changes have to be made to their techniques, where the main one is to add power to the antagonistic player that allows for determining her rational move without changing the outcome of the game. We provide a first implementation for a quasi-polynomial algorithm, test it on small examples, and provide a number of side results, including minor algorithmic improvements, a quasi bi-linear complexity in the number of states and edges for a fixed number of colours, and matching lower bounds for the algorithm of Calude et al. △ Less

Submitted 29 January, 2018; v1 submitted 3 March, 2017; originally announced March 2017.

Studies on charge production from Cs2Te photocathodes in the PITZ L-band normal conducting radio frequency photo injector

Authors: C. Hernandez-Garcia, M. Kraslinikov, G. Asova, M. Bakr, P. Boonpornprasert, J. Good, M. Gross, H. Huck, I. Isaev, D. Kalantaryan, M. Khojoyan, G. Kourkafas, O. Lishilin, D. Malyutin, D. Melkumyan, A. Oppelt, M. Otevrel, G. Pathak, Y. Renier, T. Rublack, F. Stephan, G. Vashchenko, Q. Zhao

Abstract: This paper discusses the behavior of electron bunch charge produced in an L-band normal conducting radio frequency cavity (RF gun) from Cs2Te photocathodes illuminated with ps-long UV laser pulses when the laser transverse distribution consists of a flat-top core with Gaussian-like decaying halo. The produced charge shows a linear dependence at low laser pulse energies as expected in the quantum e… ▽ More This paper discusses the behavior of electron bunch charge produced in an L-band normal conducting radio frequency cavity (RF gun) from Cs2Te photocathodes illuminated with ps-long UV laser pulses when the laser transverse distribution consists of a flat-top core with Gaussian-like decaying halo. The produced charge shows a linear dependence at low laser pulse energies as expected in the quantum efficiency limited emission regime, while its dependence on laser pulse energy is observed to be much weaker for higher values, due to space charge limited emission. However, direct plug-in of experimental parameters into the space charge tracking code ASTRA yields lower output charge in the space charge limited regime compared to measured values. The rate of increase of the produced charge at high laser pulse energies close to the space charge limited emission regime seems to be proportional to the amount of halo present in the radial laser profile since the charge from the core has saturated already. By utilizing core + halo particle distributions based on measured radial laser profiles, ASTRA simulations and semi-analytical emission models reproduce the behavior of the measured charge for a wide range of RF gun and laser operational parameters within the measurement uncertainties. △ Less

Submitted 1 July, 2016; originally announced July 2016.

Comments: 15 pages, 16 figures, 2 tables

How to verify computation with a rational network

Authors: Sanjay Jain, Prateek Saxena, Frank Stephan, Jason Teutsch

Abstract: The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand an interactive game between a prover and challenger. For optimization problems, the best or nearly best of all submitted solutions is expected to be accepted by this approach. Financial incentives and deposits are used i… ▽ More The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand an interactive game between a prover and challenger. For optimization problems, the best or nearly best of all submitted solutions is expected to be accepted by this approach. Financial incentives and deposits are used in order to overcome the problem of fake participants. △ Less

Submitted 19 June, 2016; originally announced June 2016.

Depth, Highness and DNR degrees

Authors: Philippe Moser, Frank Stephan

Abstract: We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is not O(1)-deepC , that O(1)-deepC sets and order-deepK sets have high or DNR Turing degree and that… ▽ More We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is not O(1)-deepC , that O(1)-deepC sets and order-deepK sets have high or DNR Turing degree and that no K-trival set is O(1)-deepK. △ Less

Submitted 24 October, 2017; v1 submitted 16 November, 2015; originally announced November 2015.

Comments: journal version, dmtcs

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 4, FCT '15, special issue FCT'15 (October 26, 2017) dmtcs:1333

Combining Models of Approximation with Partial Learning

Authors: Ziyuan Gao, Frank Stephan, Sandra Zilles

Abstract: In Gold's framework of inductive inference, the model of partial learning requires the learner to output exactly one correct index for the target object and only the target object infinitely often. Since infinitely many of the learner's hypotheses may be incorrect, it is not obvious whether a partial learner can be modifed to "approximate" the target object. Fulk and Jain (Approximate inference… ▽ More In Gold's framework of inductive inference, the model of partial learning requires the learner to output exactly one correct index for the target object and only the target object infinitely often. Since infinitely many of the learner's hypotheses may be incorrect, it is not obvious whether a partial learner can be modifed to "approximate" the target object. Fulk and Jain (Approximate inference and scientific method. Information and Computation 114(2):179--191, 1994) introduced a model of approximate learning of recursive functions. The present work extends their research and solves an open problem of Fulk and Jain by showing that there is a learner which approximates and partially identifies every recursive function by outputting a sequence of hypotheses which, in addition, are also almost all finite variants of the target function. The subsequent study is dedicated to the question how these findings generalise to the learning of r.e. languages from positive data. Here three variants of approximate learning will be introduced and investigated with respect to the question whether they can be combined with partial learning. Following the line of Fulk and Jain's research, further investigations provide conditions under which partial language learners can eventually output only finite variants of the target language. The combinabilities of other partial learning criteria will also be briefly studied. △ Less

Submitted 22 July, 2015; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: 28 pages

MSC Class: 68Q32

Partial functions and domination

Authors: C. T. Chong, Gordon Hoi, Frank Stephan, Daniel Turetsky

Abstract: The current work introduces the notion of pdominant sets and studies their recursion-theoretic properties. Here a set A is called pdominant iff there is a partial A-recursive function ψ such that for every partial recursive function φ and almost every x in the domain of φ there is a y in the domain of ψ with y<= x and ψ(y) > φ(x). While there is a full π01-class of nonrecursive sets where no set… ▽ More The current work introduces the notion of pdominant sets and studies their recursion-theoretic properties. Here a set A is called pdominant iff there is a partial A-recursive function ψ such that for every partial recursive function φ and almost every x in the domain of φ there is a y in the domain of ψ with y<= x and ψ(y) > φ(x). While there is a full π01-class of nonrecursive sets where no set is pdominant, there is no π01-class containing only pdominant sets. No weakly 2-generic set is pdominant while there are pdominant 1-generic sets below K. The halves of Chaitin's Ω are pdominant. No set which is low for Martin-Löf random is pdominant. There is a low r.e. set which is pdominant and a high r.e. set which is not pdominant. △ Less

Submitted 5 January, 2016; v1 submitted 23 June, 2015; originally announced June 2015.

Journal ref: Logical Methods in Computer Science, Volume 11, Issue 3 (September 21, 2015) lmcs:1592

Higher Kurtz randomness

Authors: Bjørn Kjos-Hanssen, André Nies, Frank Stephan, Liang Yu

Abstract: A real $x$ is $Δ^1_1$-Kurtz random ($Π^1_1$-Kurtz random) if it is in no closed null $Δ^1_1$ set ($Π^1_1$ set). We show that there is a cone of $Π^1_1$-Kurtz random hyperdegrees. We characterize lowness for $Δ^1_1$-Kurtz randomness as being $Δ^1_1$-dominated and $Δ^1_1$-semi-traceable. A real $x$ is $Δ^1_1$-Kurtz random ($Π^1_1$-Kurtz random) if it is in no closed null $Δ^1_1$ set ($Π^1_1$ set). We show that there is a cone of $Π^1_1$-Kurtz random hyperdegrees. We characterize lowness for $Δ^1_1$-Kurtz randomness as being $Δ^1_1$-dominated and $Δ^1_1$-semi-traceable. △ Less

Submitted 12 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Annals of Pure and Applied Logic 161 (2010), no. 10, 1280--1290

Lowness for the class of Schnorr random reals

Authors: Bjørn Kjos-Hanssen, André Nies, Frank Stephan

Abstract: We answer a question of Ambos-Spies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests. We answer a question of Ambos-Spies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests. △ Less

Submitted 12 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: SIAM Journal on Computing 35 (2005), no. 3, 647--657

On Martin's Pointed Tree Theorem

Authors: Rupert Hölzl, Frank Stephan, Liang Yu

Abstract: We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT). We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT). △ Less

Submitted 8 April, 2014; originally announced April 2014.

MSC Class: 03D28

Algorithmic aspects of Lipschitz functions

Authors: Cameron Freer, Bjørn Kjos-Hanssen, André Nies, Frank Stephan

Abstract: We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a real z is Schnorr random if and only if every Lipschitz function with $L_1$-computable derivative is differentiable at z. We characterize the variation functions of computable Lipschitz functions. We show that a real z is computably random if and only if every computable Lipschitz function is differentiable at z. Beyond these principal results, we show that a real z is Schnorr random if and only if every Lipschitz function with $L_1$-computable derivative is differentiable at z. △ Less

Submitted 11 February, 2014; originally announced February 2014.

Comments: 18 pages

MSC Class: 03D32; 03F60; 26A16

Journal ref: Computability 3 (2014), pp. 45-61

Automatic functions, linear time and learning

Authors: John Case, Sanjay Jain, Samuel Seah, Frank Stephan

Abstract: The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton). The paper also determines which type of linear time notions permit full learnability for learning in the limit of automatic classes (families of languages which are uniformly recognised by a finite automaton). In par… ▽ More The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton). The paper also determines which type of linear time notions permit full learnability for learning in the limit of automatic classes (families of languages which are uniformly recognised by a finite automaton). In particular it is shown that a function is automatic iff there is a one-tape Turing machine with a left end which computes the function in linear time where the input before the computation and the output after the computation both start at the left end. It is known that learners realised as automatic update functions are restrictive for learning. In the present work it is shown that one can overcome the problem by providing work tapes additional to a resource-bounded base tape while kee** the update-time to be linear in the length of the largest datum seen so far. In this model, one additional such work tape provides additional learning power over the automatic learner model and two additional work tapes give full learning power. Furthermore, one can also consider additional queues or additional stacks in place of additional work tapes and for these devices, one queue or two stacks are sufficient for full learning power while one stack is insufficient. △ Less

Submitted 16 September, 2013; v1 submitted 16 June, 2013; originally announced June 2013.

Comments: A preliminary version was presented at the conference CiE 2012 (Computability in Europe)

Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:734

Things that can be made into themselves

Authors: Frank Stephan, Jason Teutsch

Abstract: One says that a property $P$ of sets of natural numbers can be made into itself iff there is a numbering $α_0,α_1,\ldots$ of all left-r.e. sets such that the index set $\{e: α_e$ satisfies $P\}$ has the property $P$ as well. For example, the property of being Martin-Löf random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second dir… ▽ More One says that a property $P$ of sets of natural numbers can be made into itself iff there is a numbering $α_0,α_1,\ldots$ of all left-r.e. sets such that the index set $\{e: α_e$ satisfies $P\}$ has the property $P$ as well. For example, the property of being Martin-Löf random can be made into itself. Herein we characterize those singleton properties which can be made into themselves. A second direction of the present work is the investigation of the structure of left-r.e. sets under inclusion modulo a finite set. In contrast to the corresponding structure for r.e. sets, which has only maximal but no minimal members, both minimal and maximal left-r.e. sets exist. Moreover, our construction of minimal and maximal left-r.e. sets greatly differs from Friedberg's classical construction of maximal r.e. sets. Finally, we investigate whether the properties of minimal and maximal left-r.e. sets can be made into themselves. △ Less

Submitted 12 February, 2014; v1 submitted 3 August, 2012; originally announced August 2012.

Anti-complex sets and reducibilities with tiny use

Authors: Johanna N. Y. Franklin, Noam Greenberg, Frank Stephan, Guohua Wu

Abstract: In contrast with the notion of complexity, a set $A$ is called anti-complex if the Kolmogorov complexity of the initial segments of $A$ chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. In this context, we show the equivalence of anti-complexity and other lowne… ▽ More In contrast with the notion of complexity, a set $A$ is called anti-complex if the Kolmogorov complexity of the initial segments of $A$ chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. In this context, we show the equivalence of anti-complexity and other lowness notions such as r.e.\ traceability or being weak truth-table reducible to a Schnorr trivial set. A set $A$ is anti-complex if and only if it is reducible to another set $B$ with \emph{tiny use}, whereby we mean that the use function for reducing $A$ to $B$ can be made to grow arbitrarily slowly, as gauged by unbounded nondecreasing recursive functions. This notion of reducibility is then studied in its own right, and we also investigate its range and the range of its uniform counterpart. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 20

Arithmetic complexity via effective names for random sequences

Authors: Bjørn Kjos-Hanssen, Frank Stephan, Jason R. Teutsch

Abstract: We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Löf, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmeti… ▽ More We investigate enumerability properties for classes of sets which permit recursive, lexicographically increasing approximations, or left-r.e. sets. In addition to pinpointing the complexity of left-r.e. Martin-Löf, computably, Schnorr, and Kurtz random sets, weakly 1-generics and their complementary classes, we find that there exist characterizations of the third and fourth levels of the arithmetic hierarchy purely in terms of these notions. More generally, there exists an equivalence between arithmetic complexity and existence of numberings for classes of left-r.e. sets with shift-persistent elements. While some classes (such as Martin-Löf randoms and Kurtz non-randoms) have left-r.e. numberings, there is no canonical, or acceptable, left-r.e. numbering for any class of left-r.e. randoms. Finally, we note some fundamental differences between left-r.e. numberings for sets and reals. △ Less

Submitted 12 August, 2014; v1 submitted 27 August, 2010; originally announced August 2010.

MSC Class: 03D32; 68Q30 ACM Class: F.1

Journal ref: ACM Transactions on Computational Logic 13, no. 3 (July 2012), Art. 24, 18 pp

How powerful are integer-valued martingales?

Authors: Laurent Bienvenu, Frank Stephan, Jason Teutsch

Abstract: In the theory of algorithmic randomness, one of the central notions is that of computable randomness. An infinite binary sequence X is computably random if no recursive martingale (strategy) can win an infinite amount of money by betting on the values of the bits of X. In the classical model, the martingales considered are real-valued, that is, the bets made by the martingale can be arbitrary real… ▽ More In the theory of algorithmic randomness, one of the central notions is that of computable randomness. An infinite binary sequence X is computably random if no recursive martingale (strategy) can win an infinite amount of money by betting on the values of the bits of X. In the classical model, the martingales considered are real-valued, that is, the bets made by the martingale can be arbitrary real numbers. In this paper, we investigate a more restricted model, where only integer-valued martingales are considered, and we study the class of random sequences induced by this model. △ Less

Submitted 10 April, 2010; v1 submitted 6 April, 2010; originally announced April 2010.

Comments: Long version of the CiE 2010 paper.

Topological aspects of poset spaces

Authors: Carl Mummert, Frank Stephan

Abstract: We study two classes of spaces whose points are filters on partially ordered sets. Points in MF spaces are maximal filters, while points in UF spaces are unbounded filters. We give a thorough account of the topological properties of these spaces. We obtain a complete characterization of the class of countably based MF spaces: they are precisely the second-countable T_1 spaces with the strong Cho… ▽ More We study two classes of spaces whose points are filters on partially ordered sets. Points in MF spaces are maximal filters, while points in UF spaces are unbounded filters. We give a thorough account of the topological properties of these spaces. We obtain a complete characterization of the class of countably based MF spaces: they are precisely the second-countable T_1 spaces with the strong Choquet property. We apply this characterization to domain theory to characterize the class of second-countable spaces with a domain representation. △ Less

Submitted 16 December, 2009; originally announced December 2009.

Comments: 29 pages. To be published in the Michigan Mathematical Journal

Report number: TRC6/06 MSC Class: 06B35 (Primary); 54A99 (Secondary); 06A10 (Secondary)

Journal ref: Michigan Mathematical Journal v. 59, 2010, pp. 3-24

Kolmogorov complexity and the Recursion Theorem

Authors: Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan

Abstract: Several classes of DNR functions are characterized in terms of Kolmogorov complexity. In particular, a set of natural numbers A can wtt-compute a DNR function iff there is a nontrivial recursive lower bound on the Kolmogorov complexity of the initial segments of A. Furthermore, A can Turing compute a DNR function iff there is a nontrivial A-recursive lower bound on the Kolmogorov complexity of the… ▽ More Several classes of DNR functions are characterized in terms of Kolmogorov complexity. In particular, a set of natural numbers A can wtt-compute a DNR function iff there is a nontrivial recursive lower bound on the Kolmogorov complexity of the initial segments of A. Furthermore, A can Turing compute a DNR function iff there is a nontrivial A-recursive lower bound on the Kolmogorov complexity of the initial segements of A. A is PA-complete, that is, A can compute a {0,1}-valued DNR function, iff A can compute a function F such that F(n) is a string of length n and maximal C-complexity among the strings of length n. A solves the halting problem iff A can compute a function F such that F(n) is a string of length n and maximal H-complexity among the strings of length n. Further characterizations for these classes are given. The existence of a DNR function in a Turing degree is equivalent to the failure of the Recursion Theorem for this degree; thus the provided results characterize those Turing degrees in terms of Kolmogorov complexity which do no longer permit the usage of the Recursion Theorem. △ Less

Submitted 10 August, 2014; v1 submitted 25 January, 2009; originally announced January 2009.

Comments: Full version of paper presented at STACS 2006, Lecture Notes in Computer Science 3884 (2006), 149--161

MSC Class: 03D

Journal ref: Transactions of the American Mathematical Society 363 (2011) no. 10, 5465--5480

Automatic Structures: Richness and Limitations

Authors: Bakhadyr Khoussainov, Andre Nies, Sasha Rubin, Frank Stephan

Abstract: We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the relations by synchronised automata. Our first topic concerns characterising classes of automatic structures. We supply a characterisation of the automatic Boolean alg… ▽ More We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the relations by synchronised automata. Our first topic concerns characterising classes of automatic structures. We supply a characterisation of the automatic Boolean algebras, and it is proven that the free Abelian group of infinite rank, as well as certain Fraisse limits, do not have automatic presentations. In particular, the countably infinite random graph and the random partial order do not have automatic presentations. Furthermore, no infinite integral domain is automatic. Our second topic is the isomorphism problem. We prove that the complexity of the isomorphism problem for the class of all automatic structures is Σ_1^1-complete. △ Less

Submitted 26 April, 2007; v1 submitted 13 March, 2007; originally announced March 2007.

ACM Class: F.1.1; F.4.3

Journal ref: Logical Methods in Computer Science, Volume 3, Issue 2 (April 26, 2007) lmcs:2219

Constructive Dimension and Turing Degrees

Authors: Laurent Bienvenu, David Doty, Frank Stephan

Abstract: This paper examines the constructive Hausdorff and packing dimensions of Turing degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is Turing equivalent to a sequence R with dim_H(R) <= (dim_H(S) / dim_P(S)) - epsilon, for arbitrary epsilon > 0. Furthermore, if dim_P(S) > 0, then dim_P(R) >= 1 - eps… ▽ More This paper examines the constructive Hausdorff and packing dimensions of Turing degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is Turing equivalent to a sequence R with dim_H(R) <= (dim_H(S) / dim_P(S)) - epsilon, for arbitrary epsilon > 0. Furthermore, if dim_P(S) > 0, then dim_P(R) >= 1 - epsilon. The reduction thus serves as a *randomness extractor* that increases the algorithmic randomness of S, as measured by constructive dimension. A number of applications of this result shed new light on the constructive dimensions of Turing degrees. A lower bound of dim_H(S) / dim_P(S) is shown to hold for the Turing degree of any sequence S. A new proof is given of a previously-known zero-one law for the constructive packing dimension of Turing degrees. It is also shown that, for any regular sequence S (that is, dim_H(S) = dim_P(S)) such that dim_H(S) > 0, the Turing degree of S has constructive Hausdorff and packing dimension equal to 1. Finally, it is shown that no single Turing reduction can be a universal constructive Hausdorff dimension extractor, and that bounded Turing reductions cannot extract constructive Hausdorff dimension. We also exhibit sequences on which weak truth-table and bounded Turing reductions differ in their ability to extract dimension. △ Less

Submitted 8 April, 2010; v1 submitted 14 January, 2007; originally announced January 2007.

Comments: The version of this paper appearing in Theory of Computing Systems, 45(4):740-755, 2009, had an error in the proof of Theorem 2.4, due to insufficient care with the choice of delta. This version modifies that proof to fix the error.