Related papers: Solving infinitary Rubik's cubes

The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary…

Various forms of sorting problems have been studied over the years. Recently, two kinds of sorting puzzle apps are popularized. In these puzzles, we are given a set of bins filled with colored units, balls or water, and some empty bins.…

Assume that $(X, g^+)$ is an asymptotically hyperbolic manifold, $(M, [\bar{h}])$ is its conformal infinity, $\rho$ is the geodesic boundary defining function associated to $\bar{h}$ and $\bar{g} = \rho^2 g^+$. For any $\gamma \in (0,1)$,…

An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…

We study the link between stably finiteness and stably projectionless-ness for $C^*$-algebras of solvable Lie groups. We show that these two properties are equivalent if the dimension of the group is not divisible by $4$; otherwise, they…

In the present paper, we consider the family of all compact Alexandrov spaces with curvature bound below having a definite upper diameter bound of a fixed dimension. We introduce the notion of essential coverings by contractible metric…

We consider a continuous analogue of Babai et al.'s and Cai et al.'s problem of solving multiplicative matrix equations. Given $k+1$ square matrices $A_{1}, \ldots, A_{k}, C$, all of the same dimension, whose entries are real algebraic, we…

In this paper we prove the existence of infinitely many nontrivial solutions for the class of $(p,\, q)$ fractional elliptic equations involving concave-critical nonlinearities in bounded domains in $\mathbb{R}^N$. Further, when the…

We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure,…

We show that a wide range of overdetermined boundary problems for semilinear equations with position-dependent nonlinearities admits nontrivial solutions. The result holds true both on the Euclidean space and on compact Riemannian…

Let $X$ be a closed invariant subset of the half--open annulus $\mathbb{A}$ such that $\mathbb{A} \setminus X$ is homeomorphic to $\mathbb{A}$. We prove that either the rotation number of all forward semi--orbits of accessible points of $X$…

Strategy improvement is a widely-used and well-studied class of algorithms for solving graph-based infinite games. These algorithms are parameterized by a switching rule, and one of the most natural rules is "all switches" which switches as…

Quantum ergodicity of classically chaotic systems has been studied extensively both theoretically and experimentally, in mathematics, and in physics. Despite this long tradition we are able to present a new rigorous result using only…

In this paper we further develop the theory of one sided shift spaces over infinite alphabets, characterizing one-step shifts as edge shifts of ultragraphs and partially answering a conjecture regarding shifts of finite type (we show that…

We show that any semi-algebraic sweeping process admits piecewise absolutely continuous solutions, and any such bounded trajectory must have finite length. Analogous results hold more generally for sweeping processes definable in o-minimal…

For any $n\in \mathbb{N}$, $n\geq 2$, we construct a real analytic, one-parameter family of compact embedded CMC annuli with free boundary in the unit ball $\mathbb{B}^3$ of $\mathbb{R}^3$ with a prismatic symmetry group of order $4n$.…

In this paper, we prove that there exist at least $n$ geometrically distinct brake orbits on every $C^2$ compact convex symmetric hypersurface $\Sg$ in $\R^{2n}$ satisfying the reversible condition $N\Sg=\Sg$ with $N=\diag (-I_n,I_n)$. As a…

We prove that any uniformly rotating solution of the 2D incompressible Euler equation with compactly supported vorticity $\omega$ must be radially symmetric whenever its angular velocity satisfies $\Omega \in (-\infty,\inf \omega / 2] \cup…

The paper is devoted to inverse Stackelberg games with many players. We consider both static and differential games. The main assumption of the paper is the compactness of the strategy sets. We obtain the characterization of inverse…

Numerical solutions to the Einstein constraint equations are constructed on a selection of compact orientable three-dimensional manifolds with non-trivial topologies. A simple constant mean curvature solution and a somewhat more complicated…