Related papers: On Zariski Decomposition with and without support
The Trotter-Suzuki decomposition is an important tool for the simulation and control of physical systems. We provide evidence for the stability of the Trotter-Suzuki decomposition. We model the error in the decomposition and determine…
Product formula methods, particularly the second-order Suzuki decomposition, are an important tool for simulating quantum dynamics on quantum computers due to their simplicity and unitarity preservation. While higher-order schemes have been…
We review the work of the authors and their collaborators on the decomposition of the zeta-determinant of the Dirac operator into the contribution coming from different parts of a manifold.
In a recent work [B. Koc et al., arXiv:2010.03750, SIAM J. Numer. Anal., to appear], the authors showed that including difference quotients (DQs) is necessary in order to prove optimal pointwise in time error bounds for proper orthogonal…
We provide an alternative proof to those by Shkarin and by Bayart and Matheron that the operator $D$ of complex differentiation supports a hypercyclic algebra on the space of entire functions. In particular we obtain hypercyclic algebras…
We extend the author's and CPTVV's correspondence between shifted symplectic and Poisson structures to establish a correspondence between exact shifted symplectic structures and non-degenerate shifted Poisson structures with formal…
If a function $f:\mathbb{R}\to\mathbb{R}$ can be represented as the sum of $n$ periodic functions as $f=f_1+\dots+f_n$ with $f(x+\alpha_j)=f(x)$ ($j=1,\dots,n$), then it also satisfies a corresponding $n$-order difference equation…
Two main algorithmic approaches are known for making Hironaka's proof of resolution of singularities in characteristic zero constructive. Their main difference is the use of different notions of transforms during the resolution process and…
Parabolic differential equations with discrete state-dependent delay are studied. The approach, based on an additional condition on the delay function introduced in [A.V. Rezounenko, Differential equations with discrete state-dependent…
Deformed and undeformed KZ equations are considered for $k=0$. It is shown that they allow the same number of solutions, one being the asymptotics of others. Essential difference in analitical properties of the solutions is explained.
In this short and elementary note we derive a q-generalization of Euler's decomposition formula for the qMZVs recently introduced by Y. Ohno, J. Okuda, and W. Zudilin. This answers a question posed by these authors in [10].
Let $X$ be a smooth projective variety. The Iitaka dimension of a divisor $D$ is an important invariant, but it does not only depend on the numerical class of $D$. However, there are several definitions of ``numerical Iitaka dimension'',…
Let $\mathfrak{g}$ be a basic simple Lie superalgebra over an algebraically closed field of characteristic zero, and $\theta$ an involution of $\mathfrak{g}$ preserving a nondegenerate invariant form. We prove that either $\theta$ or…
We consider the problem of developing interpretable and computationally efficient matrix decomposition methods for matrices whose entries have bounded support. Such matrices are found in large-scale DNA methylation studies and many other…
We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and equational reasoning are mediated by the use of contextual…
The solution of many physical evolution equations can be expressed as an exponential of two or more operators acting on initial data. Accurate solutions can be systematically derived by decomposing the exponential in a product form. For…
Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used by many authors to solve a wide collection of decision problems for free groups and their subgroups. In the present…
We consider $d$-dimensional configurations, that is, colorings of the $d$-dimensional integer grid $\mathbb{Z}^d$ with finitely many colors. Moreover, we interpret the colors as integers so that configurations are functions $\mathbb{Z}^d…
We prove descent theorems for semiorthogonal decompositions using techniques from derived algebraic geometry. Our methods allow us to capture more general filtrations of derived categories and even marked filtrations, where one descends not…
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…