Related papers: A Comment on Budach's Mouse-in-an-Octant Problem
Using a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to…
We describe a history-deterministic B\"uchi automaton that has strictly less states than every language-equivalent deterministic B\"uchi automaton. This solves a problem that had been open since the introduction of history-determinism and…
Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2009, Franck Cassez showed that the timed opacity problem,…
We consider warped compactifications of ${\cal M}$-theory to three-dimensional Minkowski space on compact eight-manifolds. Taking all the leading quantum gravity corrections of eleven-dimensional supergravity into account we obtain the…
In this paper we consider the isentropic compressible Euler equations in two space dimensions together with particular initial data. The latter consists only of two constant states, where one state lies on the lower and the other state on…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
This paper investigates the decidability of opacity in timed automata (TA), a property that has been proven to be undecidable in general. First, we address a theoretical gap in recent work by J. An et al. (FM 2024) by providing necessary…
This paper analyzes the inverse problem of deautoconvolution in the multi-dimensional case with respect to solution uniqueness and ill-posedness. Deautoconvolution means here the reconstruction of a real-valued $L^2$-function with support…
Accurate visual state estimation has been a central topic in robotics with a wide range of applications in robot navigation, autonomous driving, and autonomous flight. Recent advances in robot perception have led to significant improvements…
We address facts and open questions concerning the degree of ill-posedness of the composite Hausdorff moment problem aimed at the recovery of a function $x \in L^2(0,1)$ from elements of the infinite dimensional sequence space $\ell^2$ that…
Altenbernd, Thomas and W\"ohrle have considered in [ATW02] acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with the usual acceptance conditions, such as the B\"uchi and Muller ones,…
The show that the upper-left-corner problem and upper-right-corner problem for matrix groups with rational entries are undecidable. To reach this aim, we answer a question of Dixon from 1985 by proving the undecidability of the stabilizer…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
We consider a stochastic version of a system of coupled two equations formulated by Burgers with the aim to describe the laminar and turbulent motions of a fluid in a channel. The existence and uniqueness of the solution as well as the…
In a variety of studies of dynamical systems, the edge of order and chaos has been singled out as a region of complexity. It was suggested by Wolfram, on the basis of qualitative behaviour of cellular automata, that the computational basis…
It has long been known that quantum particles moving in a periodic lattice and subject to a constant force field undergo an oscillatory motion that is referred to as Bloch Oscillations (BOs). However, it is also known that, under quite…
In this paper we are concerned with the problem of completeness in the Bergman space of the worm domain $\mathcal{W}_\mu$ and its truncated version $\mathcal{W}'_\mu$. We determine some orthogonal systems and show that they are not…
Outer billiards is a simple dynamical system based on a convex planar shape. The Moser-Neumann question, first posed by B.H. Neumann around 1960, asks if there exists a planar shape for which outer billiards has an unbounded orbit. The…
The famous Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space, has remained unsolved for 85 years, though it has been answered in the affirmative for…
This article addresses the question of involutiveness and discusses the initial value problem for a class of overdetermined systems of partial differential equations which arise in the theory of integrable systems and are defined by…