Related papers: The primitive element theorem for differential fie…
We prove the following propositions. Theorem 1: Let $M$ be a subfield of a fixed algebraic closure $\tilde \Q$ of $\Q$ whose existential elementary theory is decidable (resp. primitively decidable). Then, M is conjugate to a recursive…
We develop a general framework for construction and analysis of discrete extension operators with application to unfitted finite element approximation of partial differential equations. In unfitted methods so called cut elements intersected…
Let $q$ be a positive integral power of some prime $p$ and $\mathbb{F}_{q^m}$ be a finite field with $q^m$ elements for some $m \in \mathbb{N}$. Here we establish a sufficient condition for the existence of a non-zero element $\epsilon \in…
For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $\beta_{\mathrm{field}}$ is the minimum $d$ such that the invariant polynomials of degree $\leq d$ generate…
According to the commonly accepted interpretation of Quantum Mechanics, it is only possible to talk about the existence of elementary particles when they are detected by an experiment or by a classical measurement device. This has led to…
A uniqueness theorem is established for autonomous systems of ODEs, $\dot{x}=f(x)$, where $f$ is a Sobolev vector field with additional geometric structure, such as delta-monoticity or reduced quasiconformality. Specifically, through every…
Given an integral domain $D$ with fraction field $F$, its *reciprocal complement* is the subring of $F$ generated by all $1/d$ for nonzero $d$ in $D$. This paper serves doubly as a survey of the current state of the field and an update with…
We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants $K$ of characteristic $0$. Let $\vec{x}$ be a set of $n$ differential variables,…
Let F(z) be a rational function in Q(z) of degree at least 2 with F(0) = 0 and such that F does not vanish to order d at 0. Let b be a rational number having infinite orbit under iteration of F, and write F^n(b) = A_n/B_n as a fraction in…
We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…
Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in…
By definition primitive and $2$-primitive elements of a finite field extension $\mathbb{F}_{q^n}$ have order $q^n-1$ and $(q^n-1)/2$, respectively. We have already shown that, with minor reservations, there exists a primitive element and a…
We consider a system of ODE in a Fr\'echet space with unconditional Schauder basis. The right side of the ODE is a discontinuous function. Under certain monotonicity conditions we prove an existence theorem for the corresponding initial…
This paper focuses on effectivity aspects of the L\"uroth's theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions…
Primordial magnetic fields seem to be a generic relic of phase transitions in the early universe. We consider a primordial electromagnetic field formed as a result of a second-order phase transition, and show that it is stable to thermal…
We show that the nonlinear Born-Infeld field equations supplemented by the "dynamical condition" (certain boundary condition for the field along the particle's trajectory) define perfectly deterministic theory, i.e. particle's trajectory is…
We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…
Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let \Gamma < G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of \Gamma (whose…
We consider a large atom with nuclear charge $Z$ described by non-relativistic quantum mechanics with classical or quantized electromagnetic field. We prove that the absolute ground state energy, allowing for minimizing over all possible…
The induced electric field $\vec{E}(\vec{x})$ during magnetic flux entry in superconductors with arbitrary cross section $\Omega$ and general critical current law, has been evaluated by integration along the vortex penetration paths.…