Related papers: Admissibly Represented Spaces and Qcb-Spaces
We study the possibility of realizing scale-separated type IIB Anti-de Sitter and de Sitter compactifications within a controlled effective field theory regime defined by low-energy and large (but scale-separated) compactification volume.…
Starting from any proper action of any locally compact quantum group on any discrete quantum space, we show that its equivariant representation theory yields a concrete unitary 2-category of finite type Hilbert bimodules over the discrete…
We consider the structure of algebra of operators, acting in $n-$fold tensor product space, which are partially transposed on the last term. Using purely algebraical methods we show that this algebra is semi-simple and then, considering its…
This survey paper examines the effective model theory obtained with the BSS model of real number computation. It treats the following topics: computable ordinals, satisfaction of computable infinitary formulas, forcing as a construction…
Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex…
Valentine's face-space suggests that faces are represented in a psychological multidimensional space according to their perceived properties. However, the proposed framework was initially designed as an account of invariant facial features…
The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…
In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…
We first unify all notions of partial injectivity appearing in the literature ---(universal) separable injectivity, (universal) $\aleph$-injectivity --- in the notion of $(\alpha, \beta)$-injectivity ($(\alpha, \beta)_\lambda$-injectivity…
We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is…
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…
A different approach towards quantum theory is proposed in this paper. The basis is taken to be conceptual variables, physical variables that may be accessible or inaccessible, i.e., it may be possible or impossible to assign numerical…
Explicit expressions for the Temperley-Lieb-Martin algebras, i.e., the quotients of the Hecke algebra that admit only representations corresponding to Young diagrams with a given maximum number of columns (or rows), are obtained, making…
Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially)…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
An analytic Bethe ansatz is carried out related to tensor-like representations of the type II Lie superalgebras B(r|s)=osp(2r+1|2s) (r > -1, s >0) and D(r|s)=osp(2r|2s) (r >1, s >0). We present eigenvalue formulae of transfer matrices in…
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the…
We revisit Dieter Spreen's notion of a representation associated to a numbered basis equipped with a strong inclusion relation. We show that by relaxing his requirements, we obtain different classically considered representations as…
Given an algebraically closed field $K$ of characteristic zero, we study the incidence relation between points and irreducible projective curves, or more precisely the poset of irreducible proper subvarieties of $\mathbb P^2(K)$. Answering…
Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB). A promising approach for KBC is to embed knowledge into latent spaces and make predictions from…