Related papers: Sharp Elements and Apartness in Domains
We study the computational and structural aspects of countable two-dimensional SFTs and other subshifts. Our main focus is on the topological derivatives and subpattern posets of these objects, and our main results are constructions of…
In this paper, we mainly investigate the conditions under which the Scott topology on the product of two posets is equal to the product of the individual Scott topologies and under which the Scott topology on a dcpo is sober. Some such…
We establish a new a priori bound for $ L^2 $-bounded sequences of solutions to the mKdV equations on the torus. This first enable us to construct weak solutions in $ L^2$ for this equation and to check that the "solutions" constructed by…
Semidefinite programming (SDP) provides a powerful relaxation for the maximum cut problem. For a graph with rational weights, the decision problem of whether the SDP relaxation for the maximum cut problem is exact is known to be $NP$-hard;…
The paper shows an inf-sup stability property for several well-known 2D and 3D Stokes elements on triangulations which are not fitted to a given smooth or polygonal domain. The property implies stability and optimal error estimates for a…
A universal topological marker has been proposed recently to map the topological invariants of Dirac models in any dimension and symmetry class to lattice sites. Using this topological marker, we examine the conditions under which the…
This work provides a systematic study of the variational properties of decomposable functions which are compositions of an outer support function and an inner smooth mapping under certain constraint qualifications. A particular focus is put…
This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we consider the numerical discretization of…
One of the central problems in High T_{c} superconductivity is to reconcile the abundant evidence for stripe-like physics at `short' distances with the equally convincing evidence for BCS like physics at large distance scales (the `nodal…
If $N \subset \R$ is a separable II$_1$-factor, the space $\Hom(N,\R)$ of unitary equivalence classes of unital *-homomorphisms $N \to \R$ is shown to have a surprisingly rich structure. If $N$ is not hyperfinite, $\Hom(N,\R)$ is an…
We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…
For a complexity class $C$ and language $L$, a constructive separation of $L \notin C$ gives an efficient algorithm (also called a refuter) to find counterexamples (bad inputs) for every $C$-algorithm attempting to decide $L$. We study the…
We construct several smooth finite element spaces defined on three--dimensional Worsey--Farin splits. In particular, we construct $C^1$, $H^1(\curl)$, and $H^1$-conforming finite element spaces and show the discrete spaces satisfy local…
We introduce a higher-derivative action for dark matter whose energy-momentum tensor describes an imperfect fluid with nonzero pressure, energy flux, and anisotropic stress. In the limit where the higher-derivative couplings are switched…
The monotonicity of discrete Laplacian, i.e., inverse positivity of stiffness matrix, implies discrete maximum principle, which is in general not true for high order accurate schemes on unstructured meshes. On the other hand, it is possible…
The Stokes equations play an important role in the incompressible flow simulation. In this paper, a novel divergence-free parametric mixed finite element method is proposed for solving three-dimensional Stokes equations on domains with…
We develop a theory of partially defined complete positivity preservers, extending Schoenberg's classical characterization to functions defined only on discrete subsets or constrained domains. We frame the extension problem through the…
We seek progress in the study of subtoposes of the effective topos. First we treat Van Oosten's result that local operators on the effective topos are internally NNO-indexed joins of what we shall call 'basic' local operators. Our main…
In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency…
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling by…