Related papers: A criterion for membership in archimedean semiring…
A new class of univariate stationary interpolatory subdivision schemes of dual type is presented. As opposed to classical primal interpolatory schemes, these new schemes have masks with an even number of elements and are not step-wise…
In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated…
We interpret the Artin-Rees lemma and the Izumi theorem in term of Artin function and we obtain a stable version of the Artin-Rees lemma. We present different applications of these interpretations. First we show that the Artin function of…
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited…
In the present work, we investigate real numbers whose sequence of partial quotients enjoys some combinatorial properties involving the notion of palindrome. We provide three new transendence criteria, that apply to a broad class of…
We consider quantum Schubert cells in the quantum grassmannian and give a cell decomposition of the prime spectrum via the Schubert cells. As a consequence, we show that all primes are completely prime in the generic case where the…
Preordered semialgebras and semirings are two kinds of algebraic structures occurring in real algebraic geometry frequently and usually play important roles therein. They have many interesting and promising applications in the fields of…
The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…
Let $R$ be an associative ring with a nonzero ideal $I$ and a semiprime ideal $T$ such that $T\subsetneq I.$ Let $K$ be a nonempty subset of $R$ and $d:R\to R$ be a derivation of $R$, if $[d(x),x]\in T$ for all $x\in K,$ then $d$ is said to…
Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…
Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…
Esik and Maletti introduced the notion of a proper semiring and proved that some important (classes of) semirings -- Noetherian semirings, natural numbers -- are proper. Properness matters as the equivalence problem for weighted automata…
In this paper, we derive formal general formulas for noncommutative exponentiation and the exponential function, while also revisiting an unrecognized, and yet powerful theorem. These tools are subsequently applied to derive counterparts…
For any semisimple real Lie algebra $\mathfrak{g}_\mathbb{R}$, we classify the representations of $\mathfrak{g}_\mathbb{R}$ that have at least one nonzero vector on which the centralizer of a Cartan subspace, also known as the centralizer…
Nonlinear pseudo-fermions of degree n (n-pseudo-fermions) are introduced as (pseudo) particles with creation and annihilation operators $a$ and $b$, $b \neq a^\dagger$, obeying the simple nonlinear anticommutation relation $ab + b^n a^n =…
We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring…
We consider the set of the power non-negative polynomials of several variables and its subset that consists of polynomials which can be represented as a sum of squares. It is shown in the classic work by D.Hilbert that it is a proper…
We discuss the possibility of representing elements in polynomial ideals in $\C^N$ with optimal degree bounds. Classical theorems due to Macaulay and Max Noether say that such a representation is possible under certain conditions on the…
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
Let $(\mathcal{H}_k, \mathcal{H}_{\ell})$ be a pair of Hilbert function spaces with kernels $k, \ell$. In a 2005 paper, Shimorin showed that a certain factorization condition on $(k, \ell)$ yields a commutant lifting theorem for multipliers…