Related papers: An inductive Julia-Caratheodory theorem for Pick f…

We present a criterion for $2$-final $(2,1)$-functors, analoguous to the classical one for final $1$-functor: a $(2,1)$-functor $F \colon A \to B$ is $2$-final if and only if, for any object $b$ of $B$, the slice $(2,1)$-category $b / F$ is…

Let K be a complete discretely valued field with residue field k. If char(K) = 0, char(k) = 2 and the 2-rank of k is d, we prove that there exists an integer N depending on d such that the u-invariant of any function field in one variable…

We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This `modular' involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It…

We study properties of functions with bounded variation in Carnot-Ca\-ra\-th\'eo\-do\-ry spaces. We prove their almost everywhere approximate differentiability and we examine their approximate discontinuity set and the decomposition of…

In recent years, there has been significant progress in the understanding of the dynamics of transcendental entire functions with bounded postsingular set. In particular, for certain classes of such functions, a complete description of…

We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for…

The two-functional conjecture says that if a function f analytic and univalent in the unit disk maximizes Re{L} and Re{M} for two continuous linear functionals L and M, L is not equal to cM for any c>0, then f is a rotation of the Koebe…

We show that F_a(x)=\frac{\ln \Gamma (x+1)}{x\ln(ax)} is a Pick function for a\ge 1 and find its integral representation. We also consider the function f(x)=(\frac{\pi^{x/2}}{\Gamma(1+x/2)})^{1/(x\ln x)} and show that \ln f(x+1) is a…

Let $f$ be an entire function and denote by $f^\#$ be the spherical derivative of $f$ and by $f^n$ the $n$-th iterate of $f$. For an open set $U$ intersecting the Julia set $J(f)$, we consider how fast $\sup_{z\in U} (f^n)^\#(z)$ and…

We study the asymptotic expansion of smooth one-dimensional maps. We give an example of an interval map for which the optimal shrinking of components exponential rate is not attained for any neighborhood of a certain fixed point in the…

An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…

The direct or algorithmic approach for the Jacobian problem, consisting of the direct construction of the inverse polynomials is proposed. The so called principle and derived Jacobi conditions are proposed and discussed. The algorithmic…

Relying on the known two-term quasiclassical asymptotic formula for the trace of the function $f(A)$ of a Wiener-Hopf type operator $A$ in dimension one, in 1982 H. Widom conjectured a multi-dimensional generalization of that formula for a…

The present paper is devoted to investigating the two-dimensional real Jacobian conjecture. This conjecture claims that if $F=\left(f,g\right):\mathbb{R}^2\rightarrow \mathbb{R}^2$ is a polynomial map with $\det DF\left(x,y\right)\ne0$ for…

For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids"…

One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…

Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear…

We analyze matrix convex functions of a fixed order defined on a real interval by differential methods as opposed to the characterization in terms of divided differences given by Kraus. We obtain for each order conditions for matrix…

In this paper, we contribute toward a classification of two-variable polynomials by classifying (up to an automorphism of $C^2$) polynomials whose Newton polygon is either a triangle or a line segment. Our classification has several…

A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…