BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Jakub Konieczny

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.DSmath.NTmath.COFormal Languages and Automata Theory

Catalog footprint

Research overview

9works
4topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

9 publications

preprint2022arXiv

On dˉ\bar{d}-approachability, entropy density and B\mathscr{B}-free shifts

We study approximation schemes for shift spaces over a finite alphabet using (pseudo)metrics connected to Ornstein's dˉ\bar{d} metric. This leads to a class of shift spaces we call dˉ\bar{d}-approachable. A shift space dˉ\bar{d}-approachable when its canonical sequence of Markov approximations converges to it also in the dˉ\bar{d} sense. We give a topological characterisation of chain mixing dˉ\bar{d}-approachable shift spaces. As an application we provide a new criterion for entropy density of ergodic measures. Entropy-density of a shift space means that every invariant measure μμ of such a shift space is the weak∗^* limit of a sequence μnμ_n of ergodic measures with the corresponding sequence of entropies h(μn)h(μ_n) converging to h(μ)h(μ). We prove ergodic measures are entropy-dense for every shift space that can be approximated in the dˉ\bar{d} pseudometric by a sequence of transitive sofic shifts. This criterion can be applied to many examples that were out of the reach of previously known techniques including hereditary B\mathscr{B}-free shifts and some minimal or proximal systems. The class of symbolic dynamical systems covered by our results includes also shift spaces where entropy density was established previously using the (almost) specification property.

Open access
preprint2021arXiv

Generalised polynomials and integer powers

We show that there does not exist a generalised polynomial which vanishes precisely on the set of powers of two. In fact, if k≥2k \geq 2 is and integer and g ⁣:N→Rg \colon \mathbb{N} \to \mathbb{R} is a generalised polynomial such that g(kn)=0g(k^n) = 0 for all n≥0n \geq 0 then there exists infinitely many m∈Nm \in \mathbb{N}, not divisible by kk, such that g(mkn)=0g(mk^n) = 0 for some n≥0n \geq 0. As a consequence, we obtain a complete characterisation of sequences which are simultaneously automatic and generalised polynomial.

Open access
preprint2017arXiv

Automatic sequences and generalised polynomials

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)p(n) with at least one irrational coefficient (except for the constant one) and integer m≥2m\geq 2, the sequence ⌊p(n)⌋ mod m\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≥2k\geq 2 is not given by a generalised polynomial.

Open access
preprint2016arXiv

Arcwise connectedness of the set of ergodic measures of hereditary shifts

We show that the set of ergodic invariant measures of a shift space with a safe symbol (this includes all hereditary shifts) is arcwise connected when endowed with the dd-bar metric. As a consequence the set of ergodic measures of such a shift is also arcwise connected in the weak-star topology and the entropy function over this set attains all values in the interval between zero and the topological entropy of the shift (inclusive). The latter result is motivated by a conjecture of A.~Katok.

Open access
preprint2016arXiv

Automatic sequences, generalised polynomials, and nilmanifolds

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)p(n) with at least one irrational coefficient (except for the constant one) and integer mm, the sequence ⌊p(n)⌋ mod m\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≥2k\geq 2 is not given by a generalised polynomial.

Open access
preprint2016arXiv

Sparse generalised polynomials

We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value 00 on all integers except for a set of density 00. Our main result is that the set of integers where a sparse generalised polynomial takes non-zero value cannot contain a translate of an IP set. We also study some explicit constructions, and show that the characteristic functions of the Fibonacci and Tribonacci numbers are given by generalised polynomails. Finally, we show that any sufficiently sparse {0,1}\{0,1\}-valued sequence is given by a generalised polynomial. (This paper is essentially the first half of our earlier submission arXiv:1610.03900 [math.NT]. Because the material in arXiv:1610.03900 [math.NT] touches upon many different subjects, we believe it is preferable to split it into two independent papers.)

Open access
preprint2013arXiv

Applications of Ultrafilters in Ergodic Theory and Combinatorial Number Theory

Ultrafilters are very useful and versatile objects with applications throughout mathematics: in topology, analysis, combinarotics, model theory, and even theory of social choice. Proofs based on ultrafilters tend to be shorter and more elegant than their classical counterparts. In this thesis, we survey some of the most striking ways in which ultrafilters can be exploited in combinatorics and ergodic theory, with a brief mention of model theory. In the initial sections, we establish the basics of the theory of ultrafilters in the hope of keeping our exposition possibly self-contained, and then proceed to specific applications. Important combinatorial results we discuss are the theorems of Hindman, van der Waerden and Hales-Jewett. Each of them asserts essentially that in a finite partition of, respectively, the natural numbers or words over a finite alphabet, one cell much of the combinatorial structure. We next turn to results in ergodic theory, which rely strongly on combinatorial preliminaries. They assert essentially that certain sets of return times are combinatorially rich. We finish by presenting the ultrafilter proof of the famous Arrow's Impossibility Theorem and the construction of the ultraproduct in model theory.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.