Related papers: Analytic one-dimensional maps and two-dimensional …
We classify real families of minimal degree rational curves that cover an embedded rational surface. A corollary is that if the projective closure of a smooth surface is not biregular isomorphic to the projective closure of the unit-sphere,…
The Neural Turing Machine (NTM) is more expressive than all previously considered models because of its external memory. It can be viewed as a broader effort to use abstract external Interfaces and to learn a parametric model that interacts…
Given a pair of filling curves $\alpha, \beta$ on a surface of genus $g$ with $n$ punctures, we explicitly compute the mapping classes realizing the minimal dilatation over all the pseudo-Anosov maps given by the Thurston construction on…
A suitable measure for the similarity of shapes represented by parameterized curves or surfaces is the Fr\'echet distance. Whereas efficient algorithms are known for computing the Fr\'echet distance of polygonal curves, the same problem for…
Is there any hope for quantum computing to challenge the Turing barrier, i.e. to solve an undecidable problem, to compute an uncomputable function? According to Feynman's '82 argument, the answer is {\it negative}. This paper re-opens the…
We construct a two-dimensional Turing machine that is physically universal in both the moving tape and moving head model. In particular, it is mixing of all finite orders in both models. We also provide a variant that is physically…
Let $f:\mathbb{CP}^2\dashrightarrow\mathbb{CP^2}$ be a rational map with algebraic and topological degrees both equal to $d\geq 2$. Little is known in general about the ergodic properties of such maps. We show here, however, that for an…
By considering a discrete tape where each cell corresponds to an integer, thus to a possible sum, a pseudo-polynomial solution can be given to subset sum problem, which is an NP-complete problem and a cornerstone application for this study,…
Consider a Dirac operator on an oriented compact surface endowed with a Riemannian metric and spin structure. Provided the area and the conformal class are fixed, how small can the $k$-th positive Dirac eigenvalue be? This problem mirrors…
Quantum computing has the potential to significantly speed up complex computational tasks, and arguably the most promising application area for near-term quantum computers is the simulation of quantum mechanics. To make the most of our…
We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several further tapes on which head reversals remain unrestricted, but…
The notions of weak and strong minimizability of a matrix intertwining operator are introduced. Criterion of strong minimizability of a matrix intertwining operator is revealed. Criterion and sufficient condition of existence of a constant…
We consider a tippe top modeled as an eccentric sphere, spinning on a horizontal table and subject to a sliding friction. Ignoring translational effects, we show that the system is reducible using a Routhian reduction technique. The reduced…
We survey some work concerned with small universal Turing machines, cellular automata, tag systems, and other simple models of computation. For example it has been an open question for some time as to whether the smallest known universal…
In this paper, the space complexity of nonuniform quantum computations is investigated. The model chosen for this are quantum branching programs, which provide a graphic description of sequential quantum algorithms. In the first part of the…
We exploit mappings between quantum and classical systems in order to obtain a class of two-dimensional classical systems with critical properties equivalent to those of the class of one-dimensional quantum systems discussed in a companion…
The dynamics of symbolic systems, such as multidimensional subshifts of finite type or cellular automata, are known to be closely related to computability theory. In particular, the appropriate tools to describe and classify topological…
We start by taking the analytical approach to discuss how the minimizer of Yamabe functional provides constant scalar curvature and its relationship with the Sobolev Space $W^{1,2}.$ Then, after demonstrating the importance of the sphere…
We propose a scalable analog quantum simulator for quantum electrodynamics (QED) in two spatial dimensions. The setup for the U(1) lattice gauge field theory employs inter-species spin-changing collisions in an ultra-cold atomic mixture…
Thurston's circle packing approximation of the Riemann Mapping (proven to give the Riemann Mapping in the limit by Rodin-Sullivan) is largely based on the theorem that any topological disk with a circle packing metric can be deformed into a…