Related papers: On the non-analyticity locus of an arc-analytic fu…
We proved recently math.CA/0510403 that the anti-analytic part of a trigonometric series, converging to zero almost everywhere, may be square integrable on the circle. Here we prove that it can even be infinitely differentiable, and we…
A graph is said to be {\em half-arc-transitive} if its automorphism group acts transitively on the set of its vertices and edges but not on the set of its arcs. With each half-arc-transitive graph of valency 4 a collection of the so called…
Let $M$ be a connected real-analytic hypersurface in $\C^N$ and $\S$ the unit real sphere in $\C^{N'}$, $N'> N\geq 2$. Assume that $M$ does not contain any complex-analytic hypersurface of $\C^N$ and that there exists at least one strongly…
This is a research announcement on what is best termed `nonlocal' methods in mathematics. (This is not to be confused with global analysis.) The nonlocal formulation of physics in \cite{principia} points to a fresh viewpoint in mathematics:…
We consider three classes of functions defined using the class $\mathcal{P}$ of all analytic functions $p(z)=1+cz+\dotsb$ on the open unit disk having positive real part and study several radius problems for these classes. The first class…
A normalized univalent function is uniformly convex if it maps every circular arc contained in the open unit disk with center in it into a convex curve. This article surveys recent results on the class of uniformly convex functions and on…
In the present article, we investigate the univalence property of polyanalytic functions and $\log$-$\alpha$-analytic functions. First, by using a new idea, we prove an improved lemma and the coefficient estimates for bounded polyanalytic…
Let R be a perfect F_p-algebra, equipped with the trivial norm. Let W(R) be the ring of p-typical Witt vectors over R, equipped with the p-adic norm. At the level of nonarchimedean analytic spaces (in the sense of Berkovich), we demonstrate…
In this paper we study the analyticity of the group action of the automorphism group $G$ of a formal module $\bar{F}$ of height 2 (defined over $\overline{\mathbb{F}}_q$) on the Lubin-Tate deformation space $X$ of $\bar{F}$. It is shown…
In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…
It is shown that if $A$ is a uniform algebra generated by real-analytic functions on a suitable compact subset $K$ of a real-analytic variety such that the maximal ideal space of $A$ is $K$, and every continuous function on $K$ is locally a…
For an analytic differential system in $\mathbb R^n$ with a periodic orbit, we will prove that if the system is analytically integrable around the periodic orbit, i.e. it has $n-1$ functionally independent analytic first integrals defined…
In this article we describe the construction of logarithmic models in both real and complex cases. A logarithmic model is a germ of closed meromorphic 1-form with simple poles - and the analytic foliation defined by it - produced upon some…
Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs,…
In this article, we present a formalization of spherically complete spaces, which is a fundamental notion in non-archimedean functional analysis. This work includes the equivalent definitions of spherically complete spaces, their basic…
In 1970 G. R. MacLane asked if it is possible for a locally univalent function in the class $\mathcal{A}$ to have an arc tract. This question remains open, but several results about it have been given. We significantly strengthen these…
The question how to certify non-negativity of a polynomial function lies at the heart of Real Algebra and also has important applications to Optimization. In this article we investigate the question of non-negativity in the context of…
Toward the understanding of bifurcation phenomena of dynamics on the Berkovich projective line $\mathbb{P}^{1,an}$ over non-archimedean fields, we study the stability (or passivity) of critical points of families of polynomials parametrized…
We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of…
The notion of arc consistency plays a central role in constraint satisfaction. It is known that the notion of local consistency can be extended to constraint optimisation problems defined by soft constraint frameworks based on an idempotent…