Related papers: On Shehtman's Two Problems
Following the work of Mazzeo-Swoboda-Weiss-Witt and Mochizuki, there is a map $\overline{\Xi}$ between the algebraic compactification of the Dolbeault moduli space of $\mathsf{SL}(2,\mathbb{C})$ Higgs bundles on a smooth projective curve…
We consider nonlinear optimization problems with cardinality constraints. Based on a continuous reformulation we introduce second order necessary and sufficient optimality conditions. Under such a second order condition, we can guarantee…
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…
In the present paper, we prove time decay estimates of solutions in weighted Sobolev spaces to the second order evolution equation with fractional Laplacian and damping for data in Besov spaces. Our estimates generalize the estimates…
This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened…
In this work we analyze regularized optimal transport problems in the so-called Kantorovich form, i.e. given two Radon measures on two compact sets, the aim is to find a transport plan, which is another Radon measure on the product of the…
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…
We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…
We study stability of a generalized sine-Gordon model with two coupled scalar fields in two dimensions. Topological soliton solutions are found from the first-order equations that solve the equations of motion. The perturbation equations…
We are mainly interested in extending the known results on ob-servability inequalities and stabilization for the Schr{\"o}dinger equation to the magnetic Schr{\"o}dinger equation. That is in presence of a magnetic potential. We establish…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
Let $\Omega \subset \mathbb{R}^n$, for $n \geq 2$, be a bounded $C^2$ domain. Let $q \in L^1_{loc} (\Omega)$ with $q \geq 0$. We give necessary conditions and matching sufficient conditions, which differ only in the constants involved, for…
In this note, we find an equivalent boundary integral equation to the classical $\bar{\partial}$-Neumann problem. The new equation contains an equivalent regularity to the global regularity of the $\bar{\partial}$-Neumann problem. We also…
We describe compactifications of the moduli spaces of SU(2) monopoles on R3 as manifolds with corners, with respect to which the hyperKaehler metrics admit asymptotic expansions up to each boundary face. The boundary faces encode monopoles…
We introduce weakenings of two of the more prominent open problems in the classification of $\mathrm{C}^*$-algebras, namely the quasidiagonality problem and the UCT problem. We show that the a positive solution of the conjunction of the two…
We analyze existence and properties of solutions of two-dimensional general relativistic initial data sets with a negative cosmological constant, both on spacelike and characteristic surfaces. A new family of such vacuum, spacelike data…
We provide an exact algorithm to solve the log-linear continuous (fractional) knapsack problem. The algorithm is based on two lemmas that follow from the application of weak duality theorem and complementary slackness theorem to the linear…
We consider the standard quantum logic ${\mathcal L}(H)$ associated to a complex Hilbert space $H$, i.e. the lattice of closed subspaces of $H$ together with the orthogonal complementation. The orthogonality and compatibility relations are…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
This work proves certain general orbifold compactness results for spaces of Riemannian metrics, generalizing earlier results along these lines for Einstein metrics or metrics with bounded Ricci curvature. This is then applied to prove such…