Related papers: Effective results for discriminant equations over …
A classical tool in the study of real closed fields are the fields $K((G))$ of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
In this article, we study domains $\Omega \subset \mathbb{S}^2$ that support positive solutions of the overdetermined problem $$ \Delta u + f(u,|\nabla u|)=0 \quad \text{in } \Omega, $$ subject to the boundary conditions $u=0$ on…
We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…
We derive explicit formulas for the resultants and discriminants of classical quasi-orthogonal polynomials, as a full generalization of the results of Dilcher and Stolarsky (2005) and Gishe and Ismail (2008). We consider a certain system of…
Given a squarefree monomial ideal $I$ of a polynomial ring $Q$, we show that if the minimal free resolution $\mathbb{F}$ of $Q/I$ admits the structure of a differential graded (dg) algebra, then so does any ``pruning" of $\mathbb{F}$. In…
A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom(…
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…
K\"onig's lemma is a fundamental result about trees with countless applications in mathematics and computer science. In contrapositive form, it states that if a tree is finitely branching and well-founded (i.e. has no infinite paths), then…
We study the derivatives of polynomials with equally spaced zeros and find connections to the values of the Riemann zeta-function at the positive even integers.
Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…
We study metabelian groups $G$ given by full rank finite presentations $\langle A \mid R \rangle_{\mathcal{M}}$ in the variety $\mathcal{M}$ of metabelian groups. We prove that $G$ is a product of a free metabelian subgroup of rank…
We establish new uniform height inequalities for rational points on higher-dimensional varieties, extending the classical Roth-Schmidt-Subspace paradigm to the Arakelov-theoretic setting. Our main result provides sharp bounds for heights…
We prove existence and comparison results for multi-valued variational inequalities in a bounded domain $\Omega$ of the form \begin{equation*} u\in K\,:\, 0 \in Au+\partial I_K(u)+\mathcal{F}(u)+\mathcal{F}_\Gamma(u)\quad\text{in…
Let $k$ be a field and let $A$ be a finitely generated $k$-algebra. The algebra $A$ is said to be cancellative if whenever $B$ is another $k$-algebra with the property that $A[x]\cong B[x]$ then we necessarily have $A\cong B$. An important…
We show optimal existence, nonexistence and regularity results for nonnegative solutions to Dirichlet problems as $$ \begin{cases} \displaystyle -\Delta_1 u = g(u)|D u|+h(u)f & \text{in}\;\Omega,\\ u=0 & \text{on}\;\partial\Omega,…
Let $K$ be an infinite integral domain and $M_{n}(K)$ be the algebra of all $n\times n$ matrices over $K$. This paper aims for the following goals: Find a basis for the graded identities for elementary grading in $M_{n}(K)$ when the neutral…
The existence of linear differential resolvents for z^alpha for any root z of an ordinary polynomial with coefficients in a given ordinary differential field has been established, where alpha is an indeterminate constant with respect to the…
F. Luca proved for any fixed rational number $\alpha>0$ that the Diophantine equations of the form $\alpha\,m!=f(n!)$, where $f$ is either the Euler function or the divisor sum function or the function counting the number of divisors, have…
A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a…