Related papers: On a bi-lateral Adding Machine and its characteriz…
It is shown that the diffeomorphism type of the complement to a real space line arrangement in any dimensional affine ambient space is determined only by the number of lines and the data on multiple points.
Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and…
In this paper, we introduce the concept of S-expansiveness for local homeomorphisms and demonstrate that a class of extended symbolic dynamics, known as zip shift maps, are S-expansive and possess the shadowing property. Furthermore, we…
We prove that the two-sided limit shadowing property is among the strongest known notions of pseudo-orbit tracing. It implies shadowing, average shadowing, asymptotic average shadowing and specification properties. We also introduce a…
The formal multiple zeta space we consider with a computer is an $\mathbb{F}_2$-vector space generated by $2^{k-2}$ formal symbols for a given weight $k$, where the symbols satisfy binary extended double shuffle relations. Up to weight…
A homeomorphism on a compact metric space is said hyper-expansive if every pair of different compact sets are separated by the homeomorphism in the Hausdorff metric. We characterize such dynamics as those with a finite number of orbits and…
We present a disambiguation algorithm for weighted automata. The algorithm admits two main stages: a pre-disambiguation stage followed by a transition removal stage. We give a detailed description of the algorithm and the proof of its…
We characterize complete deterministic finite automata with two input letters in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word. The characterization leads to a…
A necessary and sufficient condition for an operator space to support a multiplication making it completely isometric and isomorphic to a unital operator algebra is proved. The condition involves only the holomorphic structure of the Banach…
We use some of the largest order statistics of the random projections of a reference signal to construct a binary embedding that is adapted to signals correlated with such signal. The embedding is characterized from the analytical…
Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probablistic bigraphs, and then again to action bigraphs, which…
We prove a characterization of the dual mixed volume in terms of functional properties of the polynomial associated to it. To do this, we use tools from the theory of multilinear operators on spaces of continuos functions. Along the way we…
We present a characterisation of a blender based on the topological alignment of certain sets in phase space in combination with cone conditions. Importantly, the required conditions can be verified by checking properties of a single…
A method is presented for automatically augmenting the bilingual lexicon of an existing Machine Translation system, by extracting bilingual entries from aligned bilingual text. The proposed method only relies on the resources already…
We construct two Hilbert spaces over the set of all metrics of arbitrary but fixed signature, defined on a manifold. Every state in one of the Hilbert spaces is built of an uncountable number of wave functions representing some elementary…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We prove several combinatorial properties of suffix arrays, including a characterization of suffix arrays through a bijection with a certain well-defined class of permutations. Our approach is based on the characterization of…
We consider a two-parameter family of random substitutions and show certain combinatorial and topological properties they satisfy. We establish that they admit recognisable words at every level. As a consequence, we get that the subshifts…
In this article, we introduce the notion of a double Fock space of type B. We will show that this new construction is compatible with combinatorics of counting positive and negative inversions on a hyperoctahedral group.
We study parallel algorithms for addition of numbers having finite representation in a positional numeration system defined by a base $\beta$ in $\mathbb{C}$ and a finite digit set $\mathcal{A}$ of contiguous integers containing $0$. For a…