Related papers: Continuum Without Non-Block Points
We prove that if $E \subseteq \mathbb{R}^d$ ($d\geq 2$) is a Lebesgue-measurable set with density larger than $\frac{n-2}{n-1}$, then $E$ contains similar copies of every $n$-point set $P$ at all sufficiently large scales. Moreover,…
The Quantum Focusing Conjecture (QFC) lies at the foundation of holography and semiclassical gravity. The QFC implies the Bousso bound and the Quantum Null Energy Condition (QNEC). The QFC also ensures the consistency of the quantum…
A unified construction of $H(\textrm{div})$-conforming finite element tensors, including vector element, symmetric matrix element, traceless matrix element, and, in general, tensors with linear constraints, is developed in this work. It is…
In this paper, we study the stability and convergence of a decoupled and linearized mixed finite element method (FEM) for incompressible miscible displacement in a porous media whose permeability and porosity are discontinuous across some…
A semigroup A is an abelian semigroup with identity 0. A set of positives in A is an ordered down-directed set P containing with every r an element r/2 with r/2 + r/2 = r. A continuity space is an abstract set X equipped with a map d : XxX…
Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in…
We prove that the semiflow map associated to the evolution problem for the porous medium equation (PME) is real-analytic as a function of the initial data in $H^s(\mathbb{S})$, $s>7/2,$ at any fixed positive time, but it is not uniformly…
We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff measure in Euclidean space. These results can be viewed as variants, for thin sets, of theorems for sets of positive…
Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are…
This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…
We define several notions of a limit point on sequences with domain a barrier in $[\omega]^{<\omega}$ focusing on the two dimensional case $[\omega]^2$. By exploring some natural candidates, we show that countable compactness has a number…
We prove that for some manifolds $M$ the set of robustly transitive partially hyperbolic diffeomorphisms of $M$ with one-dimensional nonhyperbolic centre direction contains a $C^1$-open and dense subset of diffeomorphisms with nonhyperbolic…
Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$-embedded into $E$ if and only if it can be affinely embedded into $E$; furthermore if $F$ can not be affinely embedded into $E$, then the…
Two nonconforming finite element Stokes complexes starting from the conforming Lagrange element and ending with the nonconforming $P_1$-$P_0$ element for the Stokes equation in three dimensions are constructed. And commutative diagrams are…
We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a < b(L)> of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For…
We show that for a $\mathbb{Z}^{l}$-action (or $(\N\cup\{0\})^l$-action) on a non-empty compact metrizable space $\Omega$, the existence of a affine space dense in the set of continuous functions on $\Omega$ constituted by elements…
We prove that every bounded, positive, irreducible, stochastically continuous semigroup on the space of bounded, measurable functions which is strong Feller, consists of kernel operators and possesses an invariant measure converges…
We construct a nonrecursive set \(A\le_T\emptyset'\) and a uniformly computable family of sets \(C_0,C_1,\dots\), all bounded finite-one equivalent to \(A\), such that the corresponding \(1\)-degrees form a copy of the dense linear order…
Extending a result of Mashreghi and Ransford, we prove that every complex separable infinite dimensional Fr\'echet space with a continuous norm is isomorphic to a space continuously included in a space of holomorphic functions on the unit…
We consider the question whether there exists a Banach space $X$ of density continuum such that every Banach space of density not bigger than continuum isomorphically embeds into $X$ (called a universal Banach space of density $\cc$). It is…