Related papers: Refined blowups

A simplified kinetic description of rapid granular media leads to a nonlocal Vlasov-type equation with a convolution integral operator that is of the same form as the continuity equations for aggregation-diffusion macroscopic dynamics.…

We consider a class of blow-up solutions for perturbed nonlinear heat equations involving gradient terms. We first prove the single point blow-up property for this equation and determine its final blow-up profile. We also give a sharper…

In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the…

Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development…

A symmetric characteristic singular integral equation with two fixed singularities at the endpoints in the class of functions bounded at the ends is analyzed. It reduces to a vector Hilbert problem for a half-disc and then to a vector…

We consider the conductivity problem in the presence of adjacent circular inclusions having arbitrary constant conductivity. When two inclusions get closer and their conductivities degenerate to zero or infinity, the gradient of the…

We make the interprecision transfers explicit in an algorithmic description of iterative refinement and obtain new insights into the algorithm. One example is the classic variant of iterative refinement where the matrix and the…

Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…

We discuss some "folklore" results on categorical crepant resolutions for varieties with quotient singularities.

Consider a projective variety $X \subset \mathbb{P}^n$ (over an algebraically closed field of characteristic zero), together with a (reduced) simple normal crossings divisor $E \subset \mathbb{P}^n$, where the degrees of both $X$ and $E$…

We present a classification algorithm for isolated hypersurface singularities of corank 2 and modality 1 over the real numbers. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class…

A new categorical setting is defined in order to characterize the subrecursive classes belonging to complexity hierarchies. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion…

We construct renormalised models of regularity structures by using a recursive formulation for the structure group and for the renormalisation group. This construction covers all the examples of singular SPDEs which have been treated so far…

Let $X$ be an algebraic variety with Gorenstein singularities. We define the notion of a wonderful resolution of singularities of $X$ by analogy with the theory of wonderful compactifications of semi-simple linear algebraic groups. We prove…

In this work, we consider the singular set in the thin obstacle problem with weight $|x_{n+1}|^a$ for $a\in (-1, 1)$, which arises as the local extension of the obstacle problem for the fractional Laplacian (a non-local problem). We develop…

We study development of singularities for the spherically symmetric Yang-Mills equations in $d+1$ dimensional Minkowski spacetime for $d=4$ (the critical dimension) and $d=5$ (the lowest supercritical dimension). Using combined numerical…

We prove existence of non-commutative crepant resolutions (in the sense of van den Bergh) of quotient singularities by finite and linearly reductive group schemes in positive characteristic. In dimension two, we relate these to resolutions…

We extend slow manifolds near a transcritical singularity in a fast-slow system given by the explicit Euler discretization of the corresponding continuous-time normal form. The analysis uses the blow-up method and direct trajectory-based…

Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for LF in the style of recent formulations where only canonical…

Any Lie algebroid $A$ admits a Nash-type blow-up $\mathrm{Nash}(A)$ that sits in a nice short exact sequence of Lie algebroids $0\rightarrow K\rightarrow \mathrm{Nash}(A)\rightarrow \mathcal{D}\rightarrow 0$ with $K$ a Lie algebra bundle…