相关论文: The theorem of the complement for nested subpfaffi…

In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of…

We introduce the notion of a nested open book, a submanifold equipped with an open book structure compatible with an ambient open book, and describe in detail the special case of a push-off of the binding of an open book. This enables us to…

We reduce phrase-representation parsing to dependency parsing. Our reduction is grounded on a new intermediate representation, "head-ordered dependency trees", shown to be isomorphic to constituent trees. By encoding order information in…

A singular riemannian foliation F on a complete riemannian manifold M is said to admit sections if each regular point of M is contained in a complete totally geodesic immersed submanifold (a section) that meets every leaf of F orthogonally…

The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…

Let $U$ be an open relatively compact subanalytic subset of a real analytic manifold. We show that there exists a finite linear covering (in the sense of Guillermou and Schapira) of $U$ by subanalytic open subsets of $U$ homeomorphic to a…

The $N=2$ minimal superconformal model can be twisted yielding an example of topological conformal field theory. In this article we investigate a Lie theoretic extension of this process.

We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…

A family of regularization functionals is said to admit a linear representer theorem if every member of the family admits minimizers that lie in a fixed finite dimensional subspace. A recent characterization states that a general class of…

Arakelian's classical approximation theorem \cite{Ar} gives necessary and sufficient conditions such that functions can be uniformly approximated in (unbounded) closed sets $F\subset \mathbb{C}$ by entire functions. The conditions are…

Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part map. For X \subseteq R^n define st(X):=st(X \cap O^n). We…

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function…

In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

This thesis presents a broad-coverage probabilistic top-down parser, and its application to the problem of language modeling for speech recognition. The parser builds fully connected derivations incrementally, in a single pass from…

Phylogenetic networks are used to represent the evolutionary history of species. Recently, the new class of orchard networks was introduced, which were later shown to be interpretable as trees with additional horizontal arcs. This makes the…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

Let K \subset L be a field extension. Given K-subspaces A,B of L, we study the subspace spanned by the product set AB = {ab | a \in A, b \in B}. We obtain some lower bounds on the dimension of this subspace and on dim B^n in terms of dim A,…

Given a finite word $w$ over a finite alphabet $V$, consider the graph with vertex set $V$ and with an edge between two elements of $V$ if and only if the two elements alternate in the word $w$. Such a graph is said to be word-representable…

We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give…