arXiv Science⌕ Search

arXiv subjects

Adam Woryna

Publications and source records attributed to Adam Woryna.

9 recordsLinked to original sources
arXiv2022

On the bijective colouring of Cantor trees based on transducers

Given a vertex colouring of the infinite $n$-ary Cantor tree with $m$ colours ($n,m\geq 2$), the natural problem arises: may this colouring induce a bijective colouring of the infinite paths starting at the root, i.e., that every infinite $m$-coloured string is used for some of these paths but different paths are not coloured identically? In other words, we ask if the above vertex colouring may define a bijective short map between the corresponding Cantor spaces. We show that the answer is positive if and only if $n\geq m$, and provide an effective construction of the bijective colouring in terms of Mealy automata and functions defined by such automata. We also show that a finite Mealy automaton may define such a bijective colouring only in the trivial case, i.e. $m=n$.

math.CO↗
arXiv2020

On the proportion of prefix codes in the set of three-element codes

Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $\rho_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $\rho_{n,L}$ is always greater than $\alpha_n$, where $\alpha_n=(n-2)/n$ for $n>2$ and $\alpha_2=1/6$. Moreover, the number $\alpha_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $\alpha_n$. Namely, if $L=(1,1,c)$, then $\rho_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $\rho_{2,L}$ tends to $1/6$ with $c\to\infty$.

math.CO↗
arXiv2018

On the ratio of prefix codes to all uniquely decodable codes with a given length distribution

We investigate the ratio $\rho_{n,L}$ of prefix codes to all uniquely decodable codes over an $n$-letter alphabet and with length distribution $L$. For any integers $n\geq 2$ and $m\geq 1$, we construct a lower bound and an upper bound for $\inf_L\rho_{n,L}$, the infimum taken over all sequences $L$ of length $m$ for which the set of uniquely decodable codes with length distribution $L$ is non-empty. As a result, we obtain that this infimum is always greater than zero. Moreover, for every $m\geq 1$ it tends to 1 when $n\to\infty$, and for every $n\geq 2$ it tends to 0 when $m\to\infty$. In the case $m=2$, we also obtain the exact value for this infimum.

math.CO↗
arXiv2017

On groups generated by bi-reversible automata: the two-state case over a changing alphabet

The notion of an automaton over a changing alphabet $X=(X_i)_{i\geq 1}$ is used to define and study automorphism groups of the tree $X^*$ of finite words over $X$. The concept of bi-reversibility for Mealy-type automata is extended to automata over a changing alphabet. It is proved that a non-abelian free group can be generated by a two-state bi-reversible automaton over a changing alphabet $X=(X_i)_{i\geq 1}$ if and only if $X$ is unbounded. The characterization of groups generated by a two-state bi-reversible automaton over the sequence of binary alphabets is established.

math.GR↗
arXiv2016

On the set of uniquely decodable codes with a given sequence of code word lengths

For every natural number $n\geq 2$ and every finite sequence $L$ of natural numbers, we consider the set $UD_n(L)$ of all uniquely decodable codes over an $n$-letter alphabet with the sequence $L$ as the sequence of code word lengths, as well as its subsets $PR_n(L)$ and $FD_n(L)$ consisting of, respectively, the prefix codes and the codes with finite delay. We derive the estimation for the quotient $|UD_n(L)|/|PR_n(L)|$, which allows to characterize those sequences $L$ for which the equality $PR_n(L)=UD_n(L)$ holds. We also characterize those sequences $L$ for which the equality $FD_n(L)=UD_n(L)$ holds.

cs.IT↗
arXiv2016

The solution of a generalized secretary problem via analytic expressions

Given integers $1\leq k<n$, the Gusein-Zade version of a generalized secretary problem is to choose one of the $k$ best of $n$ candidates for a secretary, which are interviewing in random order. The stopping rule in the selection is based only on the relative ranks of the successive arrivals. It is known that the best policy can be described by a non--decreasing sequence $(s_1, \ldots, s_k)$ of integers with $l\leq s_l<n$ for every $1\leq l\leq k$, and conversely, any such a sequence determines the general structure of the best policy. We found a finite analytic expression for the probability of success when using the optimal policy with a sequence $(s_1, \ldots, s_k)$. We also study the problem of the construction of the optimal sequence, i.e. a sequence which maximizes the corresponding probability of success. We discovered finite analytic expressions which enable to calculate the elements $s_l$ of an optimal sequence one by one, from $l=k$ to $l=1$. Until now, such expressions were derived separately, and only for the values $k\leq 3$.

math.CO↗
arXiv2016

The concept of duality for automata over a changing alphabet and generation of a free group by such automata

In the paper, we deal with the notion of an automaton over a changing alphabet, which generalizes the concept of a Mealy-type automaton. We modify the methods based on the idea of a dual automaton and its action used by B. Steinberg et al. (2011) and M. Vorobets and Ya. Vorobets (2007,2010) and adapt them to automata over a changing alphabet. We show that this modification provides some naturally defined automaton representations of a free nonabelian group by a 2-state automaton over a changing alphabet.

math.GR↗
arXiv2016

The concept of self-similar automata over a changing alphabet and lamplighter groups generated by such automata

Generalizing the idea of self-similar groups defined by Mealy automata, we itroduce the notion of a self-similar automaton and a self-similar group over a changing alphabet. We show that every finitely generated residually-finite group is self-similar over an arbitrary unbounded changing alphabet. We construct some naturally defined self-similar automaton representations over an unbounded changing alphabet for any lamplighter group $K\wr \mathbb{Z}$ with an arbitrary finitely generated (finite or infinite) abelian group $K$.

math.GR↗