Related papers: Topological conjugations are not constructable

This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…

A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…

A practical implementation of the non-Abelian Stokes theorem for topologically nontrivial loops (knots) with possible intersections is proposed.

We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying…

We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of…

Let $\lambda B_{p}$, where $\lambda$ is a nonzero complex number, denote a constant-weighted backward shift operators on $l^{p}$ for $1\leq p<\infty$. In this article, we investigate, in topologically conjugacy, the complete classification…

In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically…

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…

We generalize a terminating summation formula to a unilateral nonterminating, and further, a bilateral summation formula by a property of analytic functions. The unilateral one is proved to be a $q$-analogue of a $_4F_3$-summation formula.…

This paper is an overview of results that show the Brouwer fixed-point theorem (BFPT) to be essentially non-constructive and non-computable. The main results, the counter-examples of Orevkov and Baigger, imply that there is no procedure for…

The P versus NP problem is addressed in a context of provability and limitations on the possibility of finding sound axioms for formal theories. It is shown that if the term "constructible theory" is defined in a way which satisfies certain…

Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix…

We study the topology of complements of caustics of function singularities of low codimensions, in particular 1) complete the enumeration of connected components of the complements of caustics of {\em simple} (in the sense of V.Arnold)…

We establish the conjugacy of Cartan subalgebras for generic Lie tori "of type A". This is the only conjugacy problem of Lie tori related to Extended Affine Lie Algebras that remained open.

Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N. We show that the…

We prove that Schneider's continued fraction map is topologically conjugate to a shift map defined on $\mathbb{Q}_p$, and the topological conjugation $f\colon\mathbb{Q}_p \rightarrow \mathbb{Q}_p$ is an isometry such that…

In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for GI, the complexity class of graph isomorphism, and that the existence problems of block maps, factor…

We prove that generically and modulo a topological conjugacy there is only one dynamical system.

This paper is devoted to study the topological invariance of several non-uniform hyperbolicity conditions of one-dimensional maps. In contrast with the case of maps with only one critical point, it is known that for maps with several…

We consider the {\em Deligne-Simpson problem}: {\em Give necessary and sufficient conditions for the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$, $j=1,..., p+1$, so that there exist irreducible…