Showing 1–13 of 13 results for author: Konieczny, J

Statistical analysis of geoinformation data for increasing railway safety

Authors: Katarzyna Gawlak, Jarosław Konieczny, Krzysztof Domino, Jarosław Adam Miszczak

Abstract: The impact of rail transport on the environment is one of the crucial factors for the sustainable development of this form of mass transport. We present a data-driven analysis of wild animal railway accidents in the region of southern Poland, a step to create the train driver warning system. We built our method by harnessing the Bayesian approach to the statistical analysis of information about th… ▽ More The impact of rail transport on the environment is one of the crucial factors for the sustainable development of this form of mass transport. We present a data-driven analysis of wild animal railway accidents in the region of southern Poland, a step to create the train driver warning system. We built our method by harnessing the Bayesian approach to the statistical analysis of information about the geolocation of the accidents. The implementation of the proposed model does not require advanced knowledge of data mining and can be applied even in less developed railway systems with small IT support. Furthermore, we have discovered unusual patterns of accidents while considering the number of trains and their speed and time at particular geographical locations of the railway network. We test the developed approach using data from southern Poland, compromising wildlife habitats and one of the most urbanised regions in Central Europe, based on this we conclude that our model is best suited to railway lines that pass through varying types of landscape. △ Less

Submitted 1 August, 2024; v1 submitted 3 June, 2024; originally announced June 2024.

Journal ref: Journal of Rail Transport Planning & Management , Volume 34, June 2025, 100517

Arithmetical subword complexity of automatic sequences

Authors: Jakub Konieczny, Clemens Müllner

Abstract: We fully classify automatic sequences $a$ over a finite alphabet $Ω$ with the property that each word over $Ω$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and ev… ▽ More We fully classify automatic sequences $a$ over a finite alphabet $Ω$ with the property that each word over $Ω$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and even polynomial) subword complexity of a given automatic sequence $a$. △ Less

Submitted 7 February, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 14 pages, comments welcome

On asymptotically automatic sequences

Authors: Jakub Konieczny

Abstract: We study the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence. While $k$-automatic sequences are characterised by finiteness of $k$-kernels, the $k$-kernels of asymptotically $k$-automatic sequences are only required to be finite up to equality almost everywhere. We prove basic closure properties and a linear bound on asymptotic subword complexi… ▽ More We study the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence. While $k$-automatic sequences are characterised by finiteness of $k$-kernels, the $k$-kernels of asymptotically $k$-automatic sequences are only required to be finite up to equality almost everywhere. We prove basic closure properties and a linear bound on asymptotic subword complexity, show that results concerning frequencies of symbols are no longer true for the asymptotic analogue, and discuss some classification problems. △ Less

Submitted 11 April, 2024; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 32 pages; comments welcome

An asymptotic version of Cobham's theorem

Authors: Jakub Konieczny

Abstract: We introduce the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence, and we prove a variant of Cobham's theorem for the newly introduced class of sequences. We introduce the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence, and we prove a variant of Cobham's theorem for the newly introduced class of sequences. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: 17 pages

MSC Class: 11B85; 68Q45

Multiplicative automatic sequences

Authors: Jakub Konieczny, Mariusz Lemańczyk, Clemens Müllner

Abstract: We obtain a complete classification of complex-valued sequences which are both multiplicative and automatic. We obtain a complete classification of complex-valued sequences which are both multiplicative and automatic. △ Less

Submitted 18 January, 2021; v1 submitted 10 April, 2020; originally announced April 2020.

Comments: 30 pages

MSC Class: 11B85; 37B10; 68R15

Gowers norms for automatic sequences

Authors: Jakub Byszewski, Jakub Konieczny, Clemens Müllner

Abstract: We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In… ▽ More We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In particular, we show that all automatic sequences orthogonal to periodic sequences are Gowers uniform. As an application, we obtain for any $l \geq 2$ and any automatic set $A \subset \mathbb{N}_0$ lower bounds on the number of $l$-term arithmetic progressions - contained in $A$ - with a given difference. The analogous result is false for general subsets of $\mathbb{N}_0$ and progressions of length $\geq 5$. △ Less

Submitted 23 May, 2023; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: 62 pages

MSC Class: 11B85; 11B30

Substitutive systems and a finitary version of Cobham's theorem

Authors: Jakub Byszewski, Jakub Konieczny, Elżbieta Krawczyk

Abstract: We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham. We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear as common factors of two automatic sequences defined over multiplicatively independent bases. This generalises the famous theorem of Cobham. △ Less

Submitted 22 September, 2020; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: 23 pages. v2: incorporates referee's comments, updated references, to appear in Combinatorica

MSC Class: Primary: 11B85; 37B10; 68R15. Secondary: 37A45; 68Q45

On multiplicative automatic sequences

Authors: Jakub Konieczny

Abstract: We show that any automatic multiplicative sequence either coincides with a Dirichlet character or is identically zero when restricted to integers not divisible by small primes. This answers a question of Bell, Bruin and Coons. A similar result was obtained independently by Klurman and Kurlberg. We show that any automatic multiplicative sequence either coincides with a Dirichlet character or is identically zero when restricted to integers not divisible by small primes. This answers a question of Bell, Bruin and Coons. A similar result was obtained independently by Klurman and Kurlberg. △ Less

Submitted 13 March, 2023; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 11 pages

Factors of generalised polynomials and automatic sequences

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by an arbitrary sequence whose terms are given by a generalised polynomial (i.e., an expression involving algebraic operations and the floor function)… ▽ More The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by an arbitrary sequence whose terms are given by a generalised polynomial (i.e., an expression involving algebraic operations and the floor function) that is not periodic except for a set of density zero. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: 6 pages

MSC Class: Primary: 11B85; 37A45

A density version of Cobham's theorem

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two multiplicatively independent bases coincide on a set of density one, then they also coincide on a set of density one with a periodic sequence. We a… ▽ More Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two multiplicatively independent bases coincide on a set of density one, then they also coincide on a set of density one with a periodic sequence. We apply the result to a problem of Deshouillers and Ruzsa concerning the least nonzero digit of $n!$ in base $12$. △ Less

Submitted 1 November, 2017; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 10 pages

MSC Class: 11B85 (Primary); 11A63; 37B10; 68Q45; 69R15 (Secondary)

Automatic sequences and generalised polynomials

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial… ▽ More We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m\geq 2$, the sequence $\lfloor p(n) \rfloor \bmod{m}$ is never automatic. We also prove that the conjecture is equivalent to the claim that the set of powers of an integer $k\geq 2$ is not given by a generalised polynomial. △ Less

Submitted 18 December, 2017; v1 submitted 24 May, 2017; originally announced May 2017.

Comments: 29 pages, upgraded presentation and references to existing literature, an extended version of the second half of arxiv:1610.03900 [math.NT]

MSC Class: Primary: 11B85; 37A45. Secondary: 37B05; 37B10; 11J71; 11B37; 05C20

Journal ref: Can. J. Math.-J. Can. Math. 72 (2020) 392-426

Gowers norms for the Thue-Morse and Rudin-Shapiro sequences

Authors: Jakub Konieczny

Abstract: We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count arithmetic progressions in the set of integers $\leq N$ where the Thue-Morse (resp. Rudin-Shapiro) sequence takes the value $+1$. We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count arithmetic progressions in the set of integers $\leq N$ where the Thue-Morse (resp. Rudin-Shapiro) sequence takes the value $+1$. △ Less

Submitted 24 March, 2017; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: 12 pages

Automatic sequences, generalised polynomials, and nilmanifolds

Authors: Jakub Byszewski, Jakub Konieczny

Abstract: We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polyn… ▽ More We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m$, the sequence $\lfloor p(n) \rfloor \bmod{m}$ is never automatic. We also obtain a conditional result, where we prove the conjecture under the assumption that the characteristic sequence of the set of powers of an integer $k\geq 2$ is not given by a generalised polynomial. △ Less

Submitted 12 October, 2016; originally announced October 2016.

Comments: 43 pages