Related papers: Hilbert's Tenth Problem for function fields of var…

In this paper a new variational approach concerning functions (continuous) over Hilbert spaces is presented.

The decidability of the reachability problem for finitary PCF has been used as a theoretical basis for fully automated verification tools for functional programs. The reachability problem, however, often becomes undecidable for a slight…

The (complex) two-qubit systems comprise a 15-dimensional convex set and the real two-qubit systems, a 9-dimensional convex set. While formulas for the Hilbert-Schmidt volumes of these two sets are known -- owing to recent important work of…

Let K be a complete discretely valued field and F the function field of a curve over K. If the characteristic of the residue field k of K is p > 0, then we give a bound for the Brauer p-simension of F in terms of the p-rank of k. If k is a…

The second part of the Hilbert's sixteenth problem consists in determining the upper bound $\mathcal{H}(n)$ for the number of limit cycles that planar polynomial vector fields of degree $n$ can have. For $n\geq2$, it is still unknown…

Answering a question of Browkin, we provide a new unconditional proof that the Dedekind zeta function of a number field $L$ has infinitely many nontrivial zeros of multiplicity at least 2 if $L$ has a subfield $K$ for which $L/K$ is a…

The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

We formalise the undecidability of solvability of Diophantine equations, i.e. polynomial equations over natural numbers, in Coq's constructive type theory. To do so, we give the first full mechanisation of the…

We obtain upper bounds on the cardinality of Hilbert cubes in finite fields, which avoid large product sets and reciprocals of sum sets. In particular, our results replace recent estimates of N. Hegyv\'ari and P. P. Pach (2020), which…

This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras…

We study Hilbert's fourteenth problem from a geometric point of view. Nagata's celebrated counterexample demonstrates that for an arbitrary group action on a variety the ring of invariant functions need not be isomorphic to the ring of…

E(2) is studied as the automorphism group of the Heisenberg algebra H. The basis in the Hilbert space K of functions on H on which the unitary irreducible representations of the group are realized is explicitely constructed. The addition…

Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also…

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable and locally finite CW complex L the following conditions are equivalent: (i) L is quasi-finite. (ii) There exists a [L]-invertible…

This paper focuses on the undecidability of translational tiling of $n$-dimensional space $\mathbb{Z}^n$ with a set of $k$ tiles. It is known that tiling $\mathbb{Z}^2$ with translated copies with a set of $8$ tiles is undecidable.…

It is proved that the dimension of the space of solutions of the Dirichlet problem for the harmonic functions in the unit disk with nontangential boundary limits 0 a.e. is infinite.

Certain relations between the Fourier transform of a function of bounded variation and the Hilbert transform of its derivative are revealed. The widest subspaces of the space of functions of bounded variation are indicated in which the…

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an enumeration operator, mapping each set $W$ of prime numbers to $HTP(\mathbb…

Let $R={\sf k}[x,y,z]$, the polynomial ring over a field $\sf k$. Several of the authors previously classified nets of ternary conics and their specializations over an algebraically closed field. We here show that when $\sf k$ is…