Related papers: Computability of topological pressure on compact s…
In this article, we pursue our investigation of the connections between the theory of computation and hydrodynamics. We prove the existence of stationary solutions of the Euler equations in Euclidean space, of Beltrami type, that can…
Recent studies have examined the computational complexity of computing Shapley additive explanations (also known as SHAP) across various models and distributions, revealing their tractability or intractability in different settings.…
Consider a H\"older continuous potential $\phi$ defined on the full shift $A^\nn$, where $A$ is a finite alphabet. Let $X\subset A^\nn$ be a specified sofic subshift. It is well-known that there is a unique Gibbs measure $\mu_\phi$ on $X$…
We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta, to identify new complexity classes. We use the language of…
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…
In this paper, we study the properties of the scaled packing topological pressures for topological dynamical system $(X,G)$, where $G$ is a countable discrete infinite amenable group. We show that the scaled packing topological pressures…
Using tools from computable analysis we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural…
A topological space $X$ is $strongly$ $rigid$ if each non-constant continuous map $f:X\to X$ is the identity map of $X$. A Hausdorff topological space $X$ is called $Brown$ if for any nonempty open sets $U,V\subseteq X$ the intersection…
For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…
The global topology of the Universe can affect long-range gravitational forces via boundary conditions. Detailed studies of non-trivial topologies require simulations that natively adopt such geometries. Cosmological $N$-body simulations…
We study the topological entropy of hom tree-shifts and show that, although the topological entropy is not a conjugacy invariant for tree-shifts in general, it remains invariant for hom tree higher block shifts. In…
Let $\phi(x) = |1 - \frac 1x|$ for all $x > 0$. Then we extend $\phi(x)$ in the usual way to become a continuous map from the compact topological (but not metric) space $[0, \infty]$ onto itself which also maps the set of irrational points…
Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a…
For a metrizable space $X$ of density $\kappa$, let $PM(X)$ be the space of continuous bounded pseudometrics on $X$ endowed with the uniform convergence topology. In this paper, its topology shall be classified as follows: (i) If $X$ is…
We prove three formulas for computing topological pressure of $C^1$-generic conservative diffeomorphism and show the continuity of topological pressure with respect to these diffeomorphisms. We prove for these generic diffeomorphisms that…
Let $\mathbb{K}$ be a discrete field and $(V, \phi)$ a flow over the category of locally linearly compact $\mathbb{K}$-spaces. Here we give the formulas to compute the topological entropy of $(V,\phi)$ subject to the extension or the…
Let $G=\left\langle S|R_{A}\right\rangle $ be a semigroup with generating set $ S$ and equivalences $R_{A}$ among $S$ determined by a matrix $A$. This paper investigates the complexity of $G$-shift spaces by yielding the topological…
The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial map from a subdivision of the simplicial complex…
Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…
We consider a natural Hamiltonian system with two degrees of freedom and Hamiltonian $H=\|p\|^2/2+V(q)$. The configuration space $M$ is a closed surface (for noncompact $M$ certain conditions at infinity are required). It is well known that…