Related papers: On the strength of weak compactness

We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…

We prove that if G is a discrete group that admits a metrically proper action on a finite-dimensional CAT(0) cube complex X, then G is weakly amenable. We do this by constructing uniformly bounded Hilbert space representations for which the…

In this paper we examine the reverse mathematical strength of a variation of Hindman's Theorem HT constructed by essentially combining HT with the Thin Set Theorem TS to obtain a principle which we call thin-HT. thin-HT says that every…

We study the property of being strongly weakly compactly generated (and some relatives) in projective tensor products of Banach spaces. Our main result is as follows. Let $1<p,q<\infty$ be such that $1/p+1/q\geq 1$. Let $X$ (resp., $Y$) be…

Let $A$ be a Banach algebra. For $f\in A^{\ast}$, we inspect the weak sequential properties of the well-known map $T_f:A\to A^{\ast}$, $T_f(a) = fa$, where $fa\in A^{\ast}$ is defined by $fa(x) = f(ax)$ for all $x\in A$. We provide…

We study a number of conditions on the Hilbert function of a level artinian algebra which imply the Weak Lefschetz Property (WLP). Possibly the most important open case is whether a codimension 3 SI-sequence forces the WLP for level…

We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…

The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We review several natural classes of commutative…

It is shown that the dual $\hat{A}$ of a separable $C^{\ast}$-algebra $A$ is discrete if and only if its Banach space dual has the weak$^{\ast}$-fixed point property. We prove further that these properties are equivalent to the uniform…

We prove that the class of Banach function lattices in which all relatively weakly compact sets are equi-integrable sets (i.e. spaces satisfying the Dunford-Pettis criterion) coincides with the class of 1-disjointly homogeneous Banach…

We present a Jastrow-factor-inspired variant of coupled cluster theory that accurately describes both weak and strong electron correlation. Compatibility with quantum Monte Carlo allows for variational energy evaluations and an…

We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…

Let D be a self-adjoint differential operator of Dirac type acting on sections in a vector bundle over a closed Riemannian manifold M. Let H be a closed D-invariant subspace of the Hilbert space of square integrable sections. Suppose D…

This paper continues the investigation begun in arXiv:1906.05602 of extending the T1 theorem of David and Journ\'e, and optimal cancellation conditions, to more general weight pairs. The main additional tool developed here is a two weight…

Analytic continuation problems are notoriously ill-posed without additional regularizing constraints, even though every analytic function has a rigidity property of unique continuation from every curve inside the domain of analyticity. In…

In computable analysis, sequences of rational numbers which effectively converge to a real number x are used as the (rho-) names of x. A real number x is computable if it has a computable name, and a real function f is computable if there…

In cosmic web analysis, complementary to traditional cosmological probes, the extrema (e.g. peaks and voids) two-point correlation functions (2PCFs) are of particular interest for the study of both astrophysical phenomena and cosmological…

Let $ E $ be a space of holomorphic functions on the unit ball $ B_X $ of a Banach space $ X.$ In this work, we introduce a Banach structure associated to $ E $ on the linear space $ WE(Y) $ containing $ Y$-valued holomorphic functions on $…

We prove that if $A$ is a computable Hopfian finitely presented structure, then $A$ has a computable $d$-$\Sigma_2$ Scott sentence if and only if the weak Whitehead problem for $A$ is decidable. We use this to infer that every hyperbolic…

If $\mathcal{H}$ denotes a Hilbert space of analytic functions on a region $\Omega \subseteq \mathbb{C}^d$, then the weak product is defined by $$\mathcal{H}\odot\mathcal{H}=\left\{h=\sum_{n=1}^\infty f_n g_n : \sum_{n=1}^\infty…