Related papers: Hilbert's tenth problem for finitely generated rin…
In his 1990 Inventiones paper, P. Jones characterized subsets of rectifiable curves in the plane, using a multiscale sum of what is now known as Jones $\beta$-numbers, numbers measuring flatness in a given scale and location. This work was…
It is well known that a center of a given circle cannot be constructed using only a straightedge and that this was proven by David Hilbert. Still it is not so clear what kind of object is proven to be non-existing. We analyze different…
Let ${\mathbb M}$ be an arbitrary o-minimal structure. Let $G$ be a definably compact definably connected abelian definable group of dimension $n$. Here we compute the new the intrinsic o-minimal fundamental group of $G;$ for each $k>0$,…
Consider the semisimple mod p reduction of the Galois representation associated to a Hilbert newform f by Carayol and Taylor. This paper discusses how, under certain conditions on f, the universal ring for deformations of this residual…
We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p…
We interpret a counterexample to Hilbert's 14th problem by S. Kuroda geometrically in two ways: As ring of regular functions on a smooth rational quasiprojective variety over any field K of characteristic 0, and, in the special case where K…
In his 2003 paper "Towards an algebraic theory of Boolean circuits", Lafont notes that the class of reversible circuits over a set of k truth values is finitely generated when k is odd. He cites a private communication for the proof. The…
Several problems in algebraic geometry and coding theory over finite rings are modeled by systems of algebraic equations. Among these problems, we have the rank decoding problem, which is used in the construction of public-key cryptography.…
We give a simple algorithm that determines whether a given post-critically finite topological polynomial is Thurston equivalent to a polynomial. If it is, the algorithm produces the Hubbard tree; otherwise, the algorithm produces the…
The inverse spectral transform for the Zakharov-Shabat equation on the semi-line is reconsidered as a Hilbert problem. The boundary data induce an essential singularity at large k to one of the basic solutions. Then solving the inverse…
We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…
We expose in full detail a constructive procedure to invert the so--called "finite Markov moment problem". The proofs rely on the general theory of Toeplitz matrices together with the classical Newton's relations.
This monograph is centred at the intersection of three mathematical topics, that are theoretical in nature, yet with motivations and relevance deep rooted in applications: the linear inverse problems on abstract, in general…
In the recent paper arXiv:1807.02721, B. Lawrence and A. Venkatesh develop a method of proving finiteness theorems in arithmetic geometry by studying the geometry of families over a base variety. Their results include a new proof of both…
We construct rotating extremal black hole and attractor solutions in gravity theories by solving a Riemann-Hilbert problem associated with the Breitenlohner-Maison linear system. By employing a vectorial Riemann-Hilbert factorization method…
We consider the generating function (prepotential) for Gromov-Witten invariants of rational elliptic surface. We apply the local mirror principle to calculate the prepotential and prove a certain recursion relation, holomorphic anomaly…
The paper contains a survey of the results obtained during the last ten years in the theory of elliptic boundary problems in H\"ormander function spaces, developed by the authors, and other related results of modern analysis. The basics of…
We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. A…
By the Mordell-Weil theorem the group of Q(z)-rational points of an elliptic curve is finitely generated. It is not known whether the rank of this group can get arbitrary large as the curve varies. Mestre and Nagao have constructed examples…
We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices $L$. For single finite $L$, these problems are shown tobe $\mc{NP}$-complete; for $L$ of height at…