Related papers: On Zariski Decomposition with and without support
In this note, we study the volume of arithmetic linear series with base conditions. As an application, we consider the problem of Zariski decompositions on arithmetic varieties.
In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must…
The general decomposition theory of exponential operators is briefly reviewed. A general scheme to construct independent determining equations for the relevant decomposition parameters is proposed using Lyndon words. Explicit formulas of…
Motivated by a question of Stover, we discuss an example of a Zariski-dense finitely generated subgroup of $\mathrm{SL}_5(\mathbb{Z})$ that is not finitely presented.
We provide novel linear combination of unitaries decompositions for a class of discrete elliptic differential operators. Specifically, Poisson problems augmented with periodic, Dirichlet, Neumann, Robin, and mixed boundary conditions are…
Exponential operator decompositions are an important tool in many fields of physics, for example, in quantum control, quantum computation, or condensed matter physics. In this work, we present a method for obtaining such decompositions,…
This work continues a line of works on developing partially explicit methods for multiscale problems. In our previous works, we have considered linear multiscale problems, where the spatial heterogeneities are at subgrid level and are not…
We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality…
We say that a set $S$ is additively decomposed into two sets $A$ and $B$, if $S = \{a+b : a\in A, \ b \in B\}$. Here we study additively decompositions of multiplicative subgroups of finite fields. In particular, we give some improvements…
We shall characterize the structure of invertible substitutions on three-letter alphabet. We show that any invertible substitution, after some cyclic operation, can be written as a finite product of permutations and Fibonacci's…
The purpose of this note is to give a simple proof of the following theorem: Let $X$ be a normal projective variety over an algebraically closed field $k$, $\op{char} k = 0$ and let $D \subset X$ be a proper closed subvariety of $X$. Then…
For a finite $\mathbb{Z}$-algebra $R$, i.e., for a ring which is not necessarily associative or unitary, but whose additive group is finitely generated, we construct a decomposition of $R/{\rm Ann}(R)$ into directly indecomposable factors…
We characterize some variations of pseudoskeleton (also called CUR) decompositions for matrices and tensors over arbitrary fields. These characterizations extend previous results to arbitrary fields and to decompositions which use…
This paper presents a new generalized Mackey-Glass model with a non-linear harvesting term and mixed delays. The main purpose of this work is to study the existence and the exponential stability of the pseudo almost periodic solution for…
This is mainly a small exposition on extensions of valuation rings as a filtered union of smooth algebras.
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be…
We are interested in the problem of translating between two representations of closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, the problem is open. Motivated by this problem, we introduce…
We propose a type of non-anticommutative superspace, with the interesting property of relating to Lee-Wick type of higher derivatives theories, which are known for their interesting properties, and have lead to proposals of…
We define two types of pseudo-differential perturbations of the Dirac operator within the framework of the noncommutative geometry. And we obtain the noncommutative residue of the inverse square of these perturbations on 4-dimensional…
We present a bisequent calculus (BSC) for the minimal theory of definite descriptions (DD) in the setting of neutral free logic, where formulae with non-denoting terms have no truth value. The treatment of quantifiers, atomic formulae and…