English
Related papers

Related papers: The condition in the Trichotomy Theorem is optimal

200 papers

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…

Logic · Mathematics 2018-03-09 Vera Fischer , Daniel T. Soukup

The goal of this study is to investigate the local convergence of a three-step Newton-Traub technique for solving nonlinear equations in Banach spaces with a convergence rate of five. The first order derivative of a nonlinear operator is…

Numerical Analysis · Mathematics 2022-03-02 Akanksha Saxena , J. P. Jaiswal , K. R. Pardasani

We give natural topological conditions on the support of the target measure under which solutions to the optimal transport problem with cost function satisfying the (weak) Ma, Trudinger, and Wang condition cannot have any isolated singular…

Analysis of PDEs · Mathematics 2014-10-09 Young-Heon Kim , Jun Kitagawa

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

Logic · Mathematics 2016-09-06 Moti Gitik , William Mitchell

We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…

Logic · Mathematics 2019-05-07 Juan P. Aguilera

In this paper, we want to establish some general results in the Lorentzian optimal transport theory that have well-known Riemannian counterparts. As a first result, we will provide non-trivial assumptions on the measures to ensure strong…

Optimization and Control · Mathematics 2026-01-15 Alec Metsch

This paper is dedicated to the stability analysis of the optimal solutions of a control problem associated with a semilinear elliptic equation. The linear differential operator of the equation is neither monotone nor coercive due to the…

Optimization and Control · Mathematics 2025-11-20 Eduardo Casas , Alberto Domínguez Corella , Nicolai Jork

Thermodynamic systems that preserve information against thermal fluctuations face a tradeoff distinct from transmission (Shannon) or erasure (Landauer). We formalize the preservation problem by defining the preservation stiffness…

Statistical Mechanics · Physics 2026-04-14 Amadeus Brandes

We prove existence and uniqueness of optimal maps on $RCD^*(K,N)$ spaces under the assumption that the starting measure is absolutely continuous. We also discuss how this result naturally leads to the notion of exponentiation.

Differential Geometry · Mathematics 2013-05-22 Nicola Gigli , Tapio Rajala , Karl-Theodor Sturm

Continuing our investigation into the Hierarchical Reference Theory of fluids for thermodynamic states of infinite isothermal compressibility kappa[T] we now turn to the available numerical evidence to elucidate the character of the partial…

Statistical Mechanics · Physics 2007-05-23 Albert Reiner , Gerhard Kahl

One of the most important optimality conditions to aid to solve a vector optimization problem is the first-order necessary optimality condition that generalizes the Karush-Kuhn-Tucker condition. However, to obtain the sufficient optimality…

We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $\kappa > 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq…

Number Theory · Mathematics 2015-03-10 Lior Fishman , David Simmons

Assuming an inaccessible cardinal kappa, there is a generic extension in which MA + 2^{aleph_0} = kappa holds and the reals have a Delta^2_1 well-ordering.

Logic · Mathematics 2008-02-03 Uri Abraham , Saharon Shelah

Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{\lambda^{+n}} (namely models in K of power \lambda^{+n}) for all n. We provide conditions on K_\lambda, that imply the…

Logic · Mathematics 2010-01-17 Adi Jarden , Saharon Shelah

Let $M$ be a $2$-space form. Let $P$ be a convex polygon in $M$. For these polygons, we define (and justify) a curvature $\kappa_i$ at each vertex $A_i$ of the polygon and and prove the following Blaschke's type theorem: If $P$ is a convex…

Differential Geometry · Mathematics 2023-05-15 Alexander Borisenko , Vicente Miquel

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

Logic · Mathematics 2007-05-23 Saharon Shelah , Masahiro Shioya

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

Logic · Mathematics 2026-02-20 Derek Levinson , Nam Trang , Trevor Wilson

We consider the problem of maximizing the first eigenvalue of the $p$-laplacian (possibly with non-constant coefficients) over a fixed domain $\Omega$, with Dirichlet conditions along $\partial\Omega$ and along a supplementary set $\Sigma$,…

Analysis of PDEs · Mathematics 2018-03-30 Paolo Tilli , Davide Zucco

This paper proves the existence of optimal stopping times via elementary functional analytic arguments. The problem is first relaxed into a convex optimization problem over a closed convex subset of the unit ball of the dual of a Banach…

Optimization and Control · Mathematics 2019-04-08 Teemu Pennanen , Ari-Pekka Perkkiö

We prove that if mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced torsion free abelian group. Similarly if aleph_0< lambda < 2^{aleph_0}. We also prove that if 2^{aleph_0}< mu^+< lambda =cf(lambda)< mu^{aleph_0},…

Logic · Mathematics 2009-09-25 Saharon Shelah