Related papers: An affirmative answer to a problem of Cater

We consider Gomory and Johnson's infinite group model with a single row. Valid inequalities for this model are expressed by valid functions and it has been recently shown that any valid function is dominated by some nonnegative valid…

It is solved a problem of construction of separately continuous functions on the product of compacts with a given discontinuity points set. We obtaine the following results. 1. For arbitrary \v{C}ech complete spaces $X$, $Y$ and a separable…

We give two variations on a result of Wilkie's on unary functions defianble in $\mathbb{R}_{an,\exp}$ that take integer values at positive integers. Provided that the functions grows slower than the function $2^x$, Wilkie showed that is…

Fix an integer $h \geq 2$, and let $b_1, \ldots, b_h$ be (not necessarily distinct) positive integers with $\gcd(b_1, \ldots, b_h) = 1$. For any subset $A \subseteq \mathbb{N}$, let $r_A(n)$ denote the number of solutions $(k_1, \ldots,…

By the sometimes so-called 'Main Theorem' of Recursive Analysis, every computable real function is necessarily continuous. We wonder whether and which kinds of HYPERcomputation allow for the effective evaluation of also discontinuous…

Each $x\in (0,1]$ can be uniquely expanded as a power-2-decaying Gauss-like expansion, in the form of \begin{equation*} x=\sum_{i=1}^{\infty}2^{-(d_1(x)+d_2(x)+\cdots+d_i(x))},\qquad d_i(x)\in \mathbb{N}. \end{equation*} Let…

If two random variables X and A are functionally related via f(X)=A for some strictly monotone continuously differentiable function f:R->R, the distribution of X may easily be computed from the distribution of A.

We give necessary and sufficient conditions on a function $f:[0,1]\to {0,1,2,...,\omega,\continuum}$ under which there exists a continuous function $F:[0,1]\to [0,1]$ such that for every $y\in[0,1]$ we have $|F^{-1}(y)|=f(y)$.

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we are investigating a proper subset of the left-computable numbers. We say that a real number…

We continue the search, begun by Kato, for all pairs of real, bounded, measurable functions $\{f,g\}$ that result in a positive commutator $[if(P),g(Q)]$. We prove a number of partial results including a connection with Loewner's celebrated…

We prove that if $f(x) = \sum_{k=0}^\infty a_k x^k,$ $a_k >0, $ is an entire function such that the sequence $Q := \left( \frac{a_k^2}{a_{k-1}a_{k+1}} \right)_{k=1}^\infty$ is non-decreasing and $\frac{a_1^2}{a_{0}a_{2}} \geq 2\sqrt[3]{2},$…

Higher order set theory has been a topic of interest for some time, with recent efforts focused on the strength of second order set theories [KW16]. In this paper we strive to present one 'theory of collections' that allows for a formal…

We show that the existence of a universal countably chromatic graph of size $\aleph_1$ together with the failure of continuum hypothesis is consistent. The proof is a forcing iteration of strongly proper ccc posets. The construction works…

For any real sequence {c(n)} tending to infinity as n tends to infinity, this constructs a function f which is continuous and integrable, and such that for every nonzero x, limsup c(n) f(n x) is infinite.

The aim of this paper is to study the algebra $AC_{p}$ of absolutely continuous functions $f$ on [0,1] satisfying $f(0) = 0, f'\in L^{p} [0, 1]$ and the multipliers of $AC_{p}$.

The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It…

I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a nonnegative linear combination of Gegenbauer polynomials. This fact play a crucial role in Delsarte's method for finding…

Let $\mathcal{F}$ be a countable collection of functions $f$ defined on the integers with integer values, such that for every $f\in \mathcal{F}$, $f(n)\to +\infty$ as $n\to +\infty$. This paper primarily investigates the Hausdorff dimension…

From Sturmian and Christoffel words we derive a strictly increasing function $\Delta:[0,\infty)\to\mathbb{R}$. This function is continuous at every irrational point, while at rational points, left-continuous but not right-continuous.…

We prove that any proper, geodesic metric space whose Dehn function grows asymptotically like the Euclidean one has asymptotic cones which are non-positively curved in the sense of Alexandrov, thus are ${\rm CAT}(0)$. This is new already in…