Related papers: Sometimes tame, sometimes wild: weak continuity
The article addresses some open questions about the relations between the topological weak mixing property and the transitivity of the map $f\times f^2 \times...\times f^m$, where $f\colon X\ra X$ is a topological dynamical system on a…
The notions of permutable and weak-permutable convergence of a series $\sum_{n=1}^{\infty}a_{n}$ of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann's two main theorems on the convergence of…
We discuss two variations of Edwards' duality theorem. More precisely, we prove one version of the theorem for cones not necessarily containing all constant functions. In particular, we allow the functions in the cone to have a non-empty…
Our main result is the following: {\it Let $E$ be a Banach space and $D$ be a weakly compact subset of $E$ with $0\notin D$. If $A$ is a bounded subset of $E$ such that every $x^*\in E^*$ with $x^*(D) >0$ attains its supremum on $A$, then…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…
Let $\mathcal{S} = \{ \tau_n \}_{n=1}^\infty \subset (0,T)$ be an arbitrary countable (dense) set. We show that for any given initial density and momentum, the compressible Euler system admits (infinitely many) admissible weak solutions…
Weak turbulence is a phenomenon by which a system generically transfers energy from low to high wave numbers, while persisting for all finite time. It has been conjectured by Bourgain that the 2D defocusing nonlinear Schr\"odinger equation…
We show that if a numerical method is posed as a sequence of operators acting on data and depending on a parameter, typically a measure of the size of discretization, then consistency, convergence and stability can be related by a…
This article deals with the lower compactness property of a sequence of integrands and the use of this key notion in various domains: convergence theory, optimal control, non-smooth analysis. First about the interchange of the weak…
In classical analysis, the relationship between continuity and Riemann integrability is an intimate one: a continuous function on a closed and bounded interval is always Riemann integrable whereas a Riemann integrable function is continuous…
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
We refute the widely held belief that the quantum weak value necessarily pertains to weak measurements. To accomplish this, we use the transverse position of a beam as the detector for the conditioned von Neumann measurement of a system…
Weak similarities form a special class of mappings between semimetric spaces. Two semimetric spaces $X$ and $Y$ are weakly similar if there exists a weak similarity $\Phi\colon X\to Y$. We find a structural characteristic of finite…
In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must…
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal.…
We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…
Uncertainty relations are old, yet potentially rewarding to explore. By introducing a quantity called the uncertainty matrix, we provide a link between purity and observable incompatibility, and derive several stronger uncertainty relations…
The paper extends the widely used in optimisation theory decoupling techniques to infinite collections of functions. Extended concepts of uniform lower semicontinuity and firm uniform lower semicontinuity are discussed. The main theorems…