Related papers: On symmetric higher-dimensional automata and bisim…
We establish a strong-weak coupling duality between two types of free matrix models. In the large-N limit, the real-symmetric matrix model is dual to the quaternionic-real matrix model. Using the large-N conformal invariant collective field…
Recently A.Galajinsky has suggested the N=1 supersymmetric extension of Euler top and made a few interesting observations on its properties [arXiv:2111.06083 [hep-th]]. In this paper we use the formulation of the Euler top as a system on…
A synchronizing word for an automaton is a word that brings that automaton into one and the same state, regardless of the starting position. Cerny conjectured in 1964 that if a n-state deterministic automaton has a synchronizing word, then…
We provide a categorical notion called uncertain bisimilarity, which allows to reason about bisimilarity in combination with a lack of knowledge about the involved systems. Such uncertainty arises naturally in automata learning algorithms,…
The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reactive Turing Machine that does not have these shortcomings.…
In this paper we prove that giving a right actegory with hom-objects is equivalent to giving a right-enriched category with copowers. While this result is known in the closed symmetric setting, our contribution extends the equivalence to…
The synchronization of two stochastically coupled one-dimensional cellular automata (CA) is analyzed. It is shown that the transition to synchronization is characterized by a dramatic increase of the statistical complexity of the patterns…
Methods developed in a previous paper are employed to define an exact correspondence between the states of a deterministic cellular automaton in 1+1 dimensions and those of a bosonic quantum field theory. The result may be used to argue…
We study the bisimilarity problem for probabilistic pushdown automata (pPDA) and subclasses thereof. Our definition of pPDA allows both probabilistic and non-deterministic branching, generalising the classical notion of pushdown automata…
A class of three-dimensional models which satisfy supersymmetric intertwining relations with the simplest - oscillator-like - variant of shape invariance is constructed. It is proved that the models are not amenable to conventional…
Persistent homology theory is a relatively new but powerful method in data analysis. Using simplicial complexes, classical persistent homology is able to reveal high dimensional geometric structures of datasets, and represent them as…
We recently introduced the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. There is a type of idempotent system, said to be symmetric. In the present paper we classify up…
An important example of a multi-dimensional integrable system is the anti-self-dual Einstein equations. By studying the symmetries of these equations, a recursion operator is found and the associated hierarchy constructed. Owing to the…
Analytic continuation of the classical dynamics generated by a standard Hamiltonian, H = p^2/2m + v(x), into the complex plane yields a particular complex classical dynamical system. For an analytic potential v, we show that the resulting…
High-dimensional distributed semantic spaces have proven useful and effective for aggregating and processing visual, auditory, and lexical information for many tasks related to human-generated data. Human language makes use of a large and…
The question if a deterministic finite automaton admits a software reset in the form of a so-called synchronizing word can be answered in polynomial time. In this paper, we extend this algorithmic question to deterministic automata beyond…
Let $A \ \times \ B$ be the direct product of a strongly connected permutation automaton $A$ and a strongly connected synchronizing (reset) automaton $B$, then $A \ \times \ B$ is strongly connected and $$\boldsymbol{A \cong (A \times…
A set of Hamiltonians that are not self-adjoint but have the spectrum of the harmonic oscillator is studied. The eigenvectors of these operators and those of their Hermitian conjugates form a bi-orthogonal system that provides a…
New non Hermitian Hamiltonians are generated, as isospectral partners of the generalized Swanson model, viz., $ H_- = {\cal{A}}^{\dagger} {\cal{A}} + \alpha {\cal{A}} ^2 + \beta {\cal{A}}^{\dagger 2} $, where $ \alpha \beta $ are real…
The multiphoton algebras for one-dimensional Hamiltonians with infinite discrete spectrum, and for their associated kth-order SUSY partners are studied. In both cases, such an algebra is generated by the multiphoton annihilation and…