相关论文: Systems formed by translates of one element in $L_…

If n points B_1,---,B_n$ in the standard simplex \Delta_n are affinely independent, then they can span an (n-1)-simplex denoted by \Lambda=Con(B_1,---,B_n). Here \Lambda corresponds to an n*n matrix [\Lambda] whose columns are B_1,---,B_n.…

Fix an integral semisimple element $\lambda$ in the Lie algebra $\mathfrak{g}$ of a complex reductive algebraic group $G$. Let $L$ denote the centralizer of $\lambda$ in $G$ and let $\mathfrak{g}(-1)$ denote the $-1$ eigenspace of…

Let $m,n\in\mathbb{N}$ and $p\in(0,\infty)$. For a finite dimensional quasi-normed space $X=(\mathbb{R}^m, \|\cdot\|_X)$, let $$B_p^n(X) = \Big\{ (x_1,\ldots,x_n)\in\big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \|x_i\|_X^p \leq 1\Big\}.$$ We…

It is shown that if a $T_2$ topological space $X$ contains a closed uncountable discrete subspace, then the spaces $(\omega_1 + 1)^{\omega}$ and $(\omega_1 + 1)^{\omega_1}$ embed into $(CL(X),\tau_F)$, the hyperspace of nonempty closed…

The weak operator topology closed operator algebra on $L^2(R)$ generated by the one-parameter semigroups for translation, dilation and multiplication by $exp(i\lambda x), \lambda \geq 0$, is shown to be a reflexive operator algebra, in the…

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…

Let $A$ be a unital AF-algebra whose Murray-von Neumann order of projections is a lattice. For any two equivalence classes $[p]$ and $[q]$ of projections we write $[p]\sqsubseteq [q]$ iff for every primitive ideal $\mathfrak p$ of $A$…

We design and conduct a simple experiment to study whether neural networks can perform several steps of approximate reasoning in a fixed dimensional latent space. The set of rewrites (i.e. transformations) that can be successfully performed…

Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal G}_{\infty}(H)$ be the set of all closed subspaces of $H$ whose dimension and codimension both are infinite. We investigate (not necessarily surjective)…

Let $G$ be a simply connected, connected completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}.$ Next, let $\pi$ be an infinite-dimensional unitary irreducible representation of $G$ obtained by inducing a…

Word embedding models offer continuous vector representations that can capture rich contextual semantics based on their word co-occurrence patterns. While these word vectors can provide very effective features used in many NLP tasks such as…

We prove the equivalence between a relative bottleneck property and being quasi-isometric to a tree-graded space. As a consequence, we deduce that the quasi-trees of spaces defined axiomatically by Bestvina-Bromberg-Fujiwara are…

For a continuous map $f$ from the real line (half-open interval $[0,1)$) into itself let ent(f) denote the supremum of topological entropies of $f|_K$, where $K$ runs over all compact $f$-invariant subsets of $\mathbb{R}$ ($[0,1)$,…

We consider low-distortion embeddings for subspaces under \emph{entrywise nonlinear transformations}. In particular we seek embeddings that preserve the norm of all vectors in a space $S = \{y: y = f(x)\text{ for }x \in Z\}$, where $Z$ is a…

We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…

A coarse embedding of a metric space X into a metric space Y is a map f: X-->Y satisfying for every x, y in X: \phi_1(d(x,y)) \leq d(f(x),f(y)) \leq \phi_2(d(x,y)) where \phi_1 and \phi_2 are nondecreasing functions on [0,\infty) with…

Let $j:V_\lambda---> V_\lambda$ be an elementary embedding, with critical point $\kappa$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(\kappa)$ and $j^{n+1}(\kappa)$.…

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…

We prove that the spaces $\mathcal L(\ell_p,\mathrm{c}_0)$, $\mathcal L(\ell_p,\ell_\infty)$ and $\mathcal L(\ell_1,\ell_q)$ of operators with $1<p,q<\infty$ have continuum many closed ideals. This extends and improves earlier works by…

We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we…