Related papers: On a bi-lateral Adding Machine and its characteriz…
We introduce a new extension in symbolic dynamics on two sets of alphabets, called the zip shift space. In finite case, it represents a finite-to-1 local homeomorphism called zip shift map. Such extension, offers a conjugacy between some…
Parallel addition, i.e., addition with limited carry propagation, has been so far studied for complex bases and integer alphabets. We focus on alphabets consisting of integer combinations of powers of the base. We give necessary conditions…
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along…
In this article we consider two-way two-tape (alternating) automata accepting pairs of words and we study some closure properties of this model. Our main result is that such alternating automata are not closed under complementation for…
In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is…
The species of finite topological spaces admits two graded bimonoid structures, recently defined by F. Fauvet, L. Foissy, and the second author. In this article, we define a doubling of this species in two different ways. We build a…
We introduce an imperative, stack-based, and reversible computational model that characterizes Two-way Bijections both implicitly, concerning their computational complexity, and with zero-garbage.
This work introduces a decoding strategy for binary self-dual codes possessing an automorphism of a specific type. The proposed algorithm is a hard decision iterative decoding scheme. The enclosed experiments show that the new decoding…
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-hand sides from abstract graphs, a central concept in…
We describe an incremental algorithm to enumerate the isomorphism classes of double pseudoline arrangements. The correction of our algorithm is based on the connectedness under mutations of the spaces of one-extensions of double pseudoline…
We study additive double character sums over two subsets of a finite field. We show that if there is a suitable rational self-map of small degree of a set $D$, then this set contains a large subset $U$ for which the standard bound on the…
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.
We give a characterization of alternating link exteriors in terms of cubed complexes. To this end, we introduce the concept of a "signed BW cubed-complex", and give a characterization for a signed BW cubed-complex to have the underlying…
The paper approaches to the reader to topology with a curious example of topological classification by homeomorphisms applied to the letters of the alphabet viewed as subsets of Euclidean plane.
We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model…
In this paper, two different Gray-like maps from $Z_p^\alpha\times Z_{p^k}^\beta$, where $p$ is prime, to $Z_p^n$, $n={\alpha+\beta p^{k-1}}$, denoted by $\phi$ and $\Phi$, respectively, are presented. We have determined the connection…
We introduce a new way of encoding general topology in second order arithmetic that we call hybrid maximal filter (hybrid MF) spaces. This notion is a modification of the notion of a proper MF space introduced by Montalb\'an. We justify the…
This article tackles the problem of the classification of expansive homeomorphisms of the plane. Necessary and sufficient conditions for a homeomorphism to be conjugate to a linear hyperbolic automorphism will be presented. The techniques…
Special atom spaces have been around for quite awhile since the introduction of atoms by R. Coifman in his seminal paper who led to another proof that the dual of the Hardy space $H^1$ is in fact the space of functions of bounded means…
We construct labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with the tensor product of HDAs. We also indicate two possible…