Related papers: A Comment on Budach's Mouse-in-an-Octant Problem
The theory of weak solutions for nonlinear conservation laws is now well developed in the case of scalar equations [3] and for one-dimensional hyperbolic systems [1, 2]. For systems in several space dimensions, however, even the global…
The constrained Dirichlet boundary value problem $\ddot x=f(t,x)$, $x(0)=x(T)$, is studied in billiard spaces, where impacts occur in boundary points. Therefore we develop the research on impulsive Dirichlet problems with state-dependent…
In the paper we consider one point and two point multiarmed bamdit problems. In other words we consider the online stochastic convex optimization problems with oracle that return the value (realization) of the function at one point or at…
Metastability is a spurious mode of operation in digital signals, where an electrical signal fails to settle into a stable state within a specified time, leading to uncertainty and potentially failing downstream hardware. A system that…
For each positive integer $m$ and each real finite dimensional Banach space $X$, we set $\beta(X,m)$ to be the infimum of $\delta\in (0,1]$ such that each set $A\subset X$ having diameter $1$ can be represented as the union of $m$ subsets…
Fixed point iterations are known to generate chaos, for some values in their parameter range. It is an established fact that Turing Machines are fixed point iterations. However, as these Machines operate in integer space, the standard…
This is a sequel to the paper "Large time asymptotics for a cubic nonlinear Schr\"odinger system in one space dimension" by the same authors. We continue to study the Cauchy problem for the two-component system of cubic nonlinear…
We compare two approaches for modelling imperfect information in infinite games by using finite-state automata. The first, more standard approach views information as the result of an observation process driven by a sequential Mealy…
The distinction between conditional, unconditional, and absolute convergence in infinite-dimensional spaces has fundamental implications for computational algorithms. While these concepts coincide in finite dimensions, the Dvoretzky-Rogers…
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiability problem for existential second-order logic with two…
We introduce and study the following modified version of the Invariant Subspace Problem: whether every operator T on a Banach space has an almost invariant half-space, that is, a subspace Y of infinite dimension and infinite codimension…
Deterministic one-way time-bounded multi-counter automata are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the…
We give an historical account, including recent progress, on some problems of Erd\H os in number theory.
We propose and analyze several inexact regularized Newton-type methods for finding a global saddle point of convex-concave unconstrained min-max optimization problems. Compared to first-order methods, our understanding of second-order…
In his volume [5] on "Symmetry Breaking for Compact Lie Groups" Mike Field quotes a private communication by Jorge Ize claiming that any bifurcation problem with absolutely irreducible group action would lead to bifurcation of steady…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
A non-local abstract Cauchy problem with a singular integral is studied, which is a closed system of two evolution equations for a real-valued function and a function-valued function. By proposing an appropriate Banach space, the…
We answer two questions posed by Castro and Cucker, giving the exact complexities of two decision problems about cardinalities of omega-languages of Turing machines. Firstly, it is $D_2(\Sigma_1^1)$-complete to determine whether the…
We study a heavy piston of mass $M$ that separates finitely many ideal, unit mass gas particles moving in two or three dimensions. Neishtadt and Sinai previously determined a method for finding this system's averaged equation and showed…
A closed 3-manifold $M$ may be described up to some indeterminacy by a Heegaard diagram $\mathcal{D}$. The question "Does $M$ smoothly embed in $\mathbb{R}^4$?'' is equivalent to a property of $\mathcal{D}$ which we call $\textit{doubly…