Related papers: On the Continuity Set of an omega Rational Functio…

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…

It is consistent that for every function f:R x R-> R there is an uncountable set A subseteq R and two continuous functions f_0,f_1:D(A)-> R such that f(alpha, beta) in {f_0(alpha, beta),f_1(alpha, beta)} for every (alpha, beta) in A^2,…

We prove that for an arbitrary upper semi-continuous function $\phi\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} \pi F = \phi(\pi)$ for all $\pi \in G(1,2)$, where $\pi F$ is the…

If the denominator of a rational function of several variables is sum of even powers and the numerator is a monomial, then we give a numerical criterion, using the exponents involved in the expression of the rational function, to decide if…

The possibilities for limit functions on a Fatou component for the iteration of a single polynomial or rational function are well understood and quite restricted. In non-autonomous iteration, where one considers compositions of arbitrary…

For each odd prime power q, we construct an infinite sequence of rational functions f(X) in F_q(X), each of which is exceptional, which means that for infinitely many n the map c-->f(c) induces a bijection of P^1(F_{q^n}). Moreover, each of…

Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise…

We study the computational complexity of a robust version of the problem of testing two univariate C-finite functions for eventual inequality at large times. Specifically, working in the bit-model of real computation, we consider the…

Let f be a G-function (in the sense of Siegel), and x be an algebraic number; assume that the value f(x) is a real number. As a special case of a more general result, we show that f(x) can be written as g(1), where g is a G-function with…

We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing…

We introduce a simple functional language foetus (lambda calculus with tuples, constructors and pattern matching) supplied with a termination checker. This checker tries to find a well-founded structural order on the parameters on the given…

Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…

We study the continuity properties of trajectories for some random series of functions $\sum a\_kf(\alpha X\_k(\omega))$ where $a\_k$ is a complex sequence, $X\_k$ a sequence of real independent random variables, $f$ is a real valued…

We prove that any finite set $F\subset {\mathbb{Z}^2}$ that tiles ${\mathbb{Z}^2}$ by translations also admits a periodic tiling. As a consequence, the problem whether a given finite set $F$ tiles ${\mathbb{Z}^2}$ is decidable.

For an arbitrary function f:\Omega \rightarrow C (where \Omega is a subset of the field C) and a positive integer k let f act on all diagonalizable complex matrices whose all eigenvalues lie in Omega in the following way: f[P…

In this paper, we introduce and investigate the concepts of down continuity and down compactness. A real valued function $f$ on a subset $E$ of $\R$, the set of real numbers is down continuous if it preserves downward half Cauchy sequences,…

A subset $A$ of a topological space $X$ is called relatively functionally countable (RFC) in $X$, if for each continuous function $f : X \to \mathbb{R}$ the set $f[A]$ is countable. We prove that all RFC subsets of a product…

We systematically derive general properties of continuous and holomorphic functions with values in closed operators, allowing in particular for operators with empty resolvent set. We provide criteria for a given operator-valued function to…

Given a finite alphabet $\mathbb{A}$ and a primitive substitution $\theta:\mathbb{A}\to\mathbb{A}^\lambda$ (of constant length $\lambda$), let $(X_\theta,S)$ denote the corresponding dynamical system, where $X_{\theta}$ is the closure of…

We prove Veech's conjecture on the equivalence of Sarnak's conjecture on M\"obius orthogonality with a Kolmogorov type property of Furstenberg systems of the M\''obius function. This yields a combinatorial condition on the M\"obius function…