Related papers: Stokes' Theorem for Smooth Singular Cubes in Lean …
We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…
We study resolvent estimate and maximal regularity of the Stokes operator in $L^q$-spaces with exponential weights in the axial directions of unbounded cylinders of ${\mathbb R}^n,n\geq 3$. For straights cylinders we obtain these results in…
Motivated by applications to soft supersymmetry breaking, we revisit the expansion of the Seiberg-Witten solution around the multi-monopole point on the Coulomb branch of pure $SU(N)$ $\mathcal{N}=2$ gauge theory in four dimensions. At this…
We consider a perturbed Stokes system with critical divergence-free drift in a bounded Lipschitz domain in $R^2$, with sufficiently small Lipschitz constant L. It extends our previous work in $\Bbb R^n, n\ge 3$, to two-dimensional case. For…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
The existence of periodic waves propagating downstream on the surface of a two-dimensional infinitely deep water under gravity is established for a general class of vorticities. When reformulated as an elliptic boundary value problem in a…
A few years ago, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes, both straight and shifted. The formula involves a sum over objects called \emph{excited diagrams}, and the term corresponding to each…
We derive a compatible discretization method that relies heavily on the underlying geometric structure, and obeys the topological sequences and commuting properties that are constructed. As a sample problem we consider the…
In this paper, we propose a new stabilizer free and pressure robust WG method for the Stokes equations with super-convergence on polytopal mesh in the primary velocity-pressure formulation. Convergence rates with one order higher than the…
We present the static, spherically symmetric solutions of the low energy $d = 4$ string. They form a simple generalisation of the Schwarzschild solution and describe the gravitational field of a spherical star in perturbative string theory.…
We present a symplectic linear-algebraic proof of the Quantum Singleton Bound for stabiliser quantum error-correcting codes together with a Lean4 formalisation of the linear-algebraic argument. The proof is formulated in the language of…
Two-dimensional potential flow of the ideal incompressible fluid with free surface and infinite depth can be described by a conformal map of the fluid domain into the complex lower half-plane. Stokes wave is the fully nonlinear gravity wave…
We prove a version of the Stokes formula for differential forms on locally convex spaces. The main tool used for proving this formula is the surface layer theorem proved in another paper by the author. Moreover, for differential forms of a…
We use exponential asymptotic analysis to identify the relevance of Stokes' phenomenon to integrability in discrete systems. We study Stokes' phenomenon in two discrete problems with the same (leading-order) continuous limit, a…
Using geometric engineering in the context of type II strings, we obtain exact solutions for the moduli space of the Coulomb branch of all N=2 gauge theories in four dimensions involving products of SU gauge groups with arbitrary number of…
A fourth-order finite volume embedded boundary (EB) method is presented for the unsteady Stokes equations. The algorithm represents complex geometries on a Cartesian grid using EB, employing a technique to mitigate the "small cut-cell"…
The 1D Schr\"odinger equation closed with the transparent boundary conditions(TBCs) is known as a successful model for describing quantum effects, and is usually considered with a self-consistent Poisson equation in simulating quantum…
We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…
We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…
We present FastLSQ, a framework for PDE solving and inverse problems built on trigonometric random Fourier features with exact analytical derivatives. Trigonometric features admit closed-form derivatives of any order in $\mathcal{O}(1)$,…