arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.34746

Some applications of binary numeration systems with nonzero redundancy to the theory of locally complex functions

Svitlana Vaskevych·Yuliia Vovk·Oleksandr Pratsiovytyi
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we study a numeration system with a non--integer base $a>1$ over the binary alphabet $A=\{0,1\}$: $$\left[0;\frac{r}{a-1}\right]\ni x=\sum\limits_{n=1}^{\infty}\frac{α_n}{a^n} \equiv Δ^{r_a}_{α_1α_2\ldotsα_n\ldots}, \quad α_n\in A.$$ We investigate the geometry of $r_a$--representation of numbers, including the geometric interpretation of digits, the structure of cylinder overlaps, and the associated metric properties. The main object of our study is a nowhere monotone function of unbounded variation defined by $$f\left(x=\sum\limits_{n=1}^{\infty}\frac{α_n}{2^n}\right) =\sum\limits_{n=1}^{\infty}\frac{α_n}{a^n},$$ where the classical binary representation of the argument is assumed not to end with the infinite period $(1)$. We derive a system of two functional equations satisfied by $f$. We prove that the function has fractal level sets and a self--affine graph. We also evaluate the integral of $f$ over the interval $[0,1]$.

Explore related subjects

math.FAmath.DSmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Svitlana Vaskevych, Yuliia Vovk, Oleksandr Pratsiovytyi. 2026-09-28. Some applications of binary numeration systems with nonzero redundancy to the theory of locally complex functions. https://arxiv.org/abs/2609.34746

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Homogeneous analytic Hilbert modules -- the case of non-transitive action

This work investigates analytic Hilbert modules $\mathcal{H}$, over the polynomial ring, consisting of holomorphic functions on a $G$-space $Ω\subset \mathbb{C}^m$ that are homogeneous under the natural action of the group $G$. In a departure from the past studies of such questions, here we don't assume transitivity of the group action. The primary finding reveals that unitary invariants such as curvature and the reproducing kernel of a homogeneous analytic Hilbert module can be deduced from their values on a fundamental set $Λ$ of the group action. Next, utilizing these techniques, we examine the analytic Hilbert modules associated with the symmetrized bidisc $\mathbb{G}_2$ and its homogeneity under the automorphism group of $\mathbb{G}_2$. It follows from one of our main theorems that none of the weighted Bergman metrics on the symmetrized bidisc is Kähler-Einstein.

math.FA↗
arXiv2026

$k$-Homogeneous Equiangular Tight Frames

We consider geometric and combinatorial characterizations of equiangular tight frames (ETFs), with the former concerning homogeneity of the vector and line symmetry groups and the latter the matroid structure. We introduce the concept of the bender of a frame, which is the collection of short circuits, which in turn are the dependent subsets of frame vectors of minimum size. We also show that ETFs with $k$-homogeneous line symmetry groups have benders which are $k$-designs. Paley ETFs are a known class of ETFs constructed using number theory. We determine the line and vector symmetry groups of all Paley ETFs and show that they are $2$-homogeneous. We additionally characterize all $k$-homogeneous ETFs for $k\geq 3$. Finally, we revisit David Larson's AMS Memoirs \emph{Frames, Bases, and Group Representations} coauthored with Deguang Han and \emph{Wandering Vectors for Unitary Systems and Orthogonal Wavelets} coauthored with Xingde Dai with a modern eye and focus on finite-dimensional Hilbert spaces.

math.FA↗
arXiv2026

Matricial ranges, dilations, and unital contractive maps

Let $J_n$ be the Jordan block of size $n$ with all eigen values zero. Arveson introduced the notion of the matricial range of an operator in his remarkable article called Subalgebras of $C^*$-algebras II (Acta Math, 128, 1972) and established that every unital positive map on the operator system generated by $J_2$ is completely positive. This describes the matricial range of $J_2$ as the set of all matrices with numerical radius at most $\frac{1}{2}$. Later, Choi and Li generalize this result of Arveson and prove that every unital positive map on the operator system generated by any $2\times 2$ matrix or any $3\times3$ matrix with a reducing subspace is completely positive. After fifty years of the above result of Arveson, the matricial range of $J_n$ for $n\geq 3$ has not been characterized. This article aims to investigate this long-standing open problem for $n=3$. We begin by establishing a structure theorem for a dilation of an operator $B$ satisfying $BB^*+B^*B=I$ and then investigate whether every $B\in\mathbb{M}_n$ satisfying $BB^*+B^*B\leq I_n$ admits a dilation $\widetilde{B}$ for which $\widetilde{B}\widetilde{B}^*+\widetilde{B}^*\widetilde{B}=I$. This study plays the central role to the development of this paper. We use this to prove that every unital contractive map on the operator system generated by $J_3$ is $2$-positive and obtain some partial results towards characterizing the matricial range of $J_3$. Next, we study unital contractive maps on operator systems generated by $4\times 4$ normal matrices, and show that this is equivalent to studying a unital contractive map on the operator system generated by $T=\text{diag}(λ,-1,i,-i)$, where $\Re{(λ)}\geq 0$. We prove that every unital contractive map on the operator system generated by $T=\text{diag}(1,-1,i,-i)$ is completely positive.

math.FA↗