Related papers: Super Unique Tarski is in UEOPL
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does…
When a solution to the Cauchy problem for nonlinear dispersive equations is obtained by a fixed point argument using auxiliary function spaces, it is non-trivial to ensure uniqueness of solutions in a natural space such as the class of…
In this paper, we apply various methods to establish the uniqueness of solutions to some classes of anisotropic and isotropic curvature problems. Firstly, by employing integral formulas derived by S. S. Chern \cite{Ch59}, we obtain the…
In this paper, we prove several generalizations and applications of a fixed point theorem. This theorem is used to prove the existence and uniqueness of solutions of the linear sparse matrix problem considered.
The classic Ham-Sandwich theorem states that for any $d$ measurable sets in $\mathbb{R}^d$, there is a hyperplane that bisects them simultaneously. An extension by B\'ar\'any, Hubard, and Jer\'onimo [DCG 2008] states that if the sets are…
We consider the cubic and quintic nonlinear Schr\"{o}dinger equations (NLS) under the $\mathbb{R}^{d}$ and $\mathbb{T}^{d}$ energy-supercritical setting. Via a newly developed unified scheme, we prove the unconditional uniqueness for…
Unique-sink orientations (USOs) are an abstract class of orientations of the n-cube graph. We consider some classes of USOs that are of interest in connection with the linear complementarity problem. We summarise old and show new lower and…
In this paper we study the uniqueness property of solutions to the steady incompressible Euler equations with perturbations in $\Bbb R^N$. Our perturbations include as special cases the Euler equations with a `single signed' nonlinear term,…
For a given partially ordered set (poset) and a given family of mappings of the poset into itself, we study the problem of the description of joint fixed points of this family. Well-known Tarski's theorem gives the structure of the set of…
A problem $\mathcal{P}$ is considered downward self-reducible, if there exists an efficient algorithm for $\mathcal{P}$ that is allowed to make queries to only strictly smaller instances of $\mathcal{P}$. Downward self-reducibility has been…
We study a nonlinear decomposition of a positive definite matrix into two components: the inverse of another positive definite matrix and a symmetric matrix constrained to lie in a prescribed linear subspace. Equivalently, the inverse…
The uniqueness of the $L_p$-Minkowski problem has been a long standing problem in convex geometry. In the groundbreaking paper by Brendle-Choi-Daskalopoulos (Acta Math, {\bf219}, 2017), a full uniqueness result was shown for the subcritical…
The aim of this paper is to give strict fixed point principles for multivalued operators $T:X\rightarrow P(X)$ satisfying some contraction conditions of \'Ciri\' c and of \'Ciri\' c-Reich-Rus type. We are interested, under which conditions,…
Modern financial networks are highly connected and result in complex interdependencies of the involved institutions. In the prominent Eisenberg-Noe model, a fundamental aspect is clearing -- to determine the amount of assets available to…
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…
We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical…
The purpose of this paper is to introduce a Zariski-like topology on the spectrum of all proper ideals of a ring. We show that the space is T_0, quasi-compact, and every irreducible closed subset has a unique generic point. Furthermore,…
We derive a system of fixed-point equations for the equilibrium transfers in a class of one-to-one matching models with linear transferable utility. We then show that, when the degree of substitution between alternatives is bounded from…
We prove a fixed point theorem that combines the contraction mapping principle and some Knaster-Tarski-like theorem. As a consequence we obtain an existence theorem to initial value problem for ordinary differential equation with…