Related papers: The condition in the Trichotomy Theorem is optimal

Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a (continuous) linear mapping and $b$ is a fixed vector. The standard…

The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…

We prove pointwise and maximal ergodic theorems for probability measure preserving (p.m.p.) actions of any countable group, provided it admits an essentially free, weakly mixing amenable action of stable type $III_1$. We show that this…

For a compact, irreducible, $\partial$-irreducible, an-annular bounded 3-manifold $M\ne\mathbb{B}^3$, then any triangulation $\mathcal{T}$ of $M$ can be modified to an ideal triangulation $\mathcal{T}^*$ of $\stackrel{\circ}{M}$. We use the…

We prove a version of the moving particle lemma for the exclusion process on any finite weighted graph, based on the octopus inequality of Caputo, Liggett, and Richthammer. In light of their proof of Aldous' spectral gap conjecture, we…

We show that the existence of a well-known type of ideals on a regular cardinal $\lambda$ implies a compactness property concerning the specialisability of a tree of height $\lambda$ with no cofinal branches. We also use Neeman's method of…

We consider the class of mathematical programs with orthogonality type constraints (MPOC). Orthogonality type constraints appear by reformulating the sparsity constraint via auxiliary binary variables and relaxing them afterwards. For MPOC…

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

We study the optimal lower and upper complexity bounds for finding approximate solutions to the composite problem $\min_x\ f(x)+h(Ax-b)$, where $f$ is smooth and $h$ is convex. Given access to the proximal operator of $h$, for strongly…

We consider convex optimization problems with the objective function having Lipshitz-continuous $p$-th order derivative, where $p\geq 1$. We propose a new tensor method, which closes the gap between the lower…

In this paper, by applying a linear trace Li-Yau-Hamilton inequality for a positive (1,1)-form solution of the CR Hodge-Laplace heat equation and monotonicity of the heat equation deformation, we obtain an optimal gap theorem for a complete…

Generalizing some earlier techniques due to the second author, we show that Menas' theorem which states that the least cardinal kappa which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not…

We prove the consistency of the following statement: for some kappa<2^{aleph_0}, there is a kappa-complete ideal on kappa such that the Boolean algebra P(kappa)/I is sigma-centered and there are Q-sets of reals.

We focus on optimal control problems governed by elliptic, quasilinear PDEs. Though there are various examples of such problems in the literature, we make an attempt at describing some general principles by dealing with three basic…

We construct maximal $\Lambda(p)$-subsets on a large class of curved manifolds, in an optimal range of Lebesgue exponents $p$. Our arguments combine restriction estimates and decoupling with old and new probabilistic estimates.

In this paper, we consider a classical Hamiltonian normal form with degeneracy in normal direction. In previous results, one needs to assume that the perturbation satisfies certain non-degenerate conditions in order to remove the degeneracy…

In this paper we prove: Theorem 1. Let $\mathcal{K}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\lambda>\mu\geq LS(\mathcal{K})$ and $\theta$ is a limit ordinal $<\lambda^+$. If…

For $2\leq p<\infty$, $\alpha'>2/p$, and $\delta>0$, we construct Cantor-type measures on $\mathbb{R}$ supported on sets of Hausdorff dimension $\alpha<\alpha'$ for which the associated maximal operator is bounded from $L^p_\delta…

We combine two approaches to the study of classification theory of AECs: 1. that of Shelah: studying non-forking frames without assuming the amalgamation property but assuming the existence of uniqueness triples and 2. that of Grossberg and…

We optimize the running time of the primal-dual algorithms by optimizing their stopping criteria for solving convex optimization problems under affine equality constraints, which means terminating the algorithm earlier with fewer…