Related papers: Super Unique Tarski is in UEOPL
We introduce a new method for the analysis of singularities in the unstable problem $$\Delta u = -\chi_{\{u>0\}},$$ which arises in solid combustion as well as in the composite membrane problem. Our study is confined to points of…
We prove a unique continuation result for an ill-posed characteristic problem. A model problem of this type occurs in A.D.~Ionescu \& S.~Klainerman article (Theorem 1.1 in \cite{MR2470908}) and we extend their model-result using only…
Tarski's theorem states that every monotone function from a complete lattice to itself has a fixed point. We specifically consider the two-dimensional lattice $\mathcal{L}^2_n$ on points $\{1, \ldots, n\}^2$ and where $(x_1, y_1) \leq (x_2,…
Uniformly distributed point sets on the unit sphere with and without symmetry constraints have been found useful in many scientific and engineering applications. Here, a novel variant of the Thomson problem is proposed and formulated as an…
We introduce boundary special generic maps, a class of submersions from manifolds with boundary to Euclidean spaces whose restriction to the boundary has only boundary definite fold points as its singular points. We derive the…
We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…
We study the problem of enumerating Tarski fixed points on finite lattices. We derive query complexity lower bounds for finding three or more Tarski fixed points of isotone maps and the subclasses of increasing and decreasing isotone maps.…
In this paper we will investigate the singular points of the following unstable free boundary problem: {equation}\label{Eq} \Delta u= -\chi_{\{u>0\}} \quad\quad\textrm{in} B_1(0) {equation} where $\chi_{\{u>0\}}$ is the characteristic…
In this paper, we establish space like strong unique continuation property (sucp) for uniformly parabolic sublinear equations under appropriate structural assumptions. Our main result Theorem 1.1 constitutes the parabolic counterpart of the…
We study nonlinear parabolic PDEs with Orlicz-type growth conditions. The main result gives the existence of a unique solution to the obstacle problem related to these equations. To achieve this we show the boundedness of weak solutions and…
We study the problem of topologically order-embedding a given topological poset X in the space of all closed subsets of X which is topologized by the Fell topology and ordered by set inclusion. We show that this can be achieved whenever X…
A sufficient condition is established for the existence of a solution to the equation $\mathcal{T}(u,\mathcal{C}(u))=u$, by considering a class of Kannan type equicontraction mappings $\mathcal{T}:\mathcal{A}\times…
We construct and study the properties of the precise boundary trace of positive solutions of $-\Delta u+u^q=0$ in a smooth bounded domain of $\mathbb R^N$, in the supercritical case $q\geq q_c=(N+1)/(N-1)$
We view a conic optimization problem that has a unique solution as a map from its data to its solution. If sufficient regularity conditions hold at a solution point, namely that the implicit function theorem applies to the normalized…
We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…
We study the Sobolev trace constant for functions defined in a bounded domain $\O$ that vanish in the subset $A.$ We find a formula for the first variation of the Sobolev trace with respect to hole. As a consequence of this formula, we…
A topological space has the fixed point property if every continuous self-map of that space has at least one fixed point. We demonstrate that there are serious restraints imposed by the requirement that there be a choice of fixed points…
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…
We introduce the problem EndOfPotentialLine and the corresponding complexity class EOPL of all problems that can be reduced to it in polynomial time. This class captures problems that admit a single combinatorial proof of their joint…
In this paper we show that every homeomorphism of the plane with the topological shadowing property has a fixed point. Also, we show that a linear isomorphism of an Euclidean space has the topological shadowing property if and only if the…