Related papers: Blowing up Stringy Canonical Forms: An Algorithm t…
This study presents a new mass-lumping finite element method for computing the radially symmetric solution of a semilinear heat equation in an $N$ dimensional ball ($N\ge 2$). We provide two schemes, (ML-1) and (ML-2), and derive their…
In this paper, we establish a priori estimates for the positive solutions to a higher-order fractional Laplace equation on a bounded domain by a blowing-up and rescaling argument. To overcome the technical difficulty due to the high-order…
We study the problem of resolving singularities via the blow-up of the module of derivations. Our main results are a positive answer for the case of curves and log-canonical surface singularities, i.e., a finite sequence of blow-ups along…
The canonical partition function approach was designed to avoid the overlap problem that affects the lattice simulations of nuclear matter at high density. The method employs the projections of the quark determinant on a fix quark number…
Deterministic two-way transducers define the robust class of regular functions which is, among other good properties, closed under composition. However, the best known algorithms for composing two-way transducers cause a double exponential…
We model collapsible and ordered pushdown systems with term rewriting, by encoding higher-order stacks and multiple stacks into trees. We show a uniform inverse preservation of recognizability result for the resulting class of term…
G\"{o}ttsche-Nakajima-Yoshioka K-theoretic blowup equations characterize the Nekrasov partition function of five dimensional $\mathcal{N}=1$ supersymmetric gauge theories compactified on a circle, which via geometric engineering correspond…
This paper introduces an algebraic combinatorial approach to simplicial cone decompositions, a key step in solving inhomogeneous linear Diophantine systems and counting lattice points in polytopes. We use constant term manipulation on the…
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…
This article presents a novel approach to enhance the accuracy of classical quadrature rules by incorporating correction terms. The proposed method is particularly effective when the position of an isolated discontinuity in the function and…
For proper morphisms, we give a functorial flatification algorithm by blow-ups in the spirit of Hironaka's flatification algorithm. In characteristic zero, this gives functorial flatification by blow-ups in smooth centers. We also give a…
The paper deals with blow--up for the solutions of wave equation with nonlinear source and nonlinear boudary damping terms, posed in a bounded and regular domain. The initial data are posed in the energy space. The aim of the paper is to…
In this paper we consider splitting methods for nonlinear ordinary differential equations in which one of the (partial) flows that results from the splitting procedure can not be computed exactly. Instead, we insert a well-chosen state…
Following our recent development of a compositional model checking algorithm for Markov decision processes, we present a compositional framework for solving mean payoff games (MPGs). The framework is derived from category theory,…
Stochastic games are a classical model in game theory in which two opponents interact and the environment changes in response to the players' behavior. The central solution concepts for these games are the discounted values and the value,…
We use recent results on algorithms for Markov decision problems to show that a canonical form for a generalized P-matrix can be computed, in some important cases, by a strongly polynomial algorithm.
We prove that the critical Wave Maps equation with target $S^2$ and origin $\mathbb{R}^{2+1}$ admits energy class blow up solutions of the form $$u(t,r)=Q(\lambda(t)r)+\epsilon(t,r)$$where $Q: \mathbb{R}^2 \to S^2$ is the ground state…
Round robin tournaments are omnipresent in sport competitions and beyond. We propose two new integer programming formulations for scheduling a round robin tournament, one of which we call the matching formulation. We analytically compare…
We study the instanton counting in four dimensional $\mathcal{N}=2$ supersymmetric gauge theories on the blow-up of $\mathbb{C}^2$: we start by formulating the instanton moduli space as a quiver variety, which we regularise by introducing…
Blowup equations and holomorphic anomaly equations are two universal yet completely different approaches to solve refined topological string theory on local Calabi-Yau threefolds corresponding to A- and B-model respectively. The former…