Related papers: Forcing for hL and hd

In this paper, we address one of the most basic and fundamental problems in the theory of foliations and ODEs, the topological invariance of the algebraic multiplicity of a holomorphic foliation. For instance, we prove an adapted version of…

The hypergraph transversal problem has been intensively studied, from both a theoretical and a practical point of view. In particular , its incremental complexity is known to be quasi-polynomial in general and polynomial for bounded…

We obtain new upper bounds on the minimal density of lattice coverings of Euclidean space by dilates of a convex body K. We also obtain bounds on the probability (with respect to the natural Haar-Siegel measure on the space of lattices)…

The aim of the paper is to develop a general theory of solvability of linear inhomogeneous boundary-value problems for systems of ordinary differential equations of arbitrary order in Sobolev spaces. Boundary conditions are allowed to be…

We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…

Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…

In spite of the Lebesgue density theorem, there is a positive $\delta$ such that, for every non-trivial measurable set $S$ of real numbers, there is a point at which both the lower densities of $S$ and of the complement of $S$ are at least…

Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…

We provide sharp bounds for the supremum of countably many stochastic convolutions taking values in a 2-smooth Banach space. As a consequence, we obtain sharp bounds on the modulus of continuity of a family of stochastic integrals indexed…

Deep connections between invariant theory and entanglement have been known for some time and been the object of intense study. This includes the study of local unitary equivalence of density operators as well as entanglement that can be…

We present a bound for the weak Lindel\"of number of the $G_\delta$-modification of a Hausdorff space which implies various known cardinal inequalities, including the following two fundamental results in the theory of cardinal invariants in…

We study the densest subgraph problem and its NP-hard densest at-most-$k$ subgraph variant through the lens of learning-augmented algorithms. We show that, given a reasonably accurate predictor that estimates whether a node belongs to the…

Let (A,\alpha) be a C*-dynamical system. We introduce the notion of pressure P_\alpha(H) of the automorphism \alpha at a self-adjoint operator H\in A. Then we consider the class of AF-systems satisfying the following condition: there exists…

We study here the well-known propagation rules for Boolean constraints. First we propose a simple notion of completeness for sets of such rules and establish a completeness result. Then we show an equivalence in an appropriate sense between…

In [Sh:89] we, answering a question of Monk, have explicated the notion of ``a Boolean algebra with no endomorphisms except the ones induced by ultrafilters on it'' (see section 2 here) and proved the existence of one with character density…

Given l<s<m an upper bound on the s norm is given using l norm and m norm. The result is applied in bounding odd values of zeta function, binomial sums and gamma and beta functions.

In this paper we investigate the connection between supervised learning and linear inverse problems. We first show that a linear inverse problem can be view as a function approximation problem in a reproducing kernel Hilbert space (RKHS)…

We study the partial differential equation max{Lu - f, H(Du)}=0 where u is the unknown function, L is a second-order elliptic operator, f is a given smooth function and H is a convex function. This is a model equation for…

We show that if $\lambda_1,\ldots,\lambda_k$ are algebraic numbers, then $$|A+\lambda_1\cdot A+\dots+\lambda_k\cdot A|\geq H(\lambda_1,\ldots,\lambda_k)|A|-o(|A|)$$ for all finite subsets $A$ of $\mathbb{C}$, where…

We introduce a new invariant describing the structure of sets of lengths in atomic monoids and domains. For an atomic monoid $H$, let $\Delta_{\rho} (H)$ be the set of all positive integers $d$ which occur as differences of arbitrarily long…