Related papers: What makes a multi-complex exact?

The odd-red bipartite perfect matching problem asks to find a perfect matching containing an odd number of red edges in a given red-blue edge-colored bipartite graph. While this problem lies in $\mathsf{P}$, its polyhedral structure remains…

We provide a constructive algorithm to find the best separable approximation to an arbitrary density matrix of a composite quantum system of finite dimensions. The method leads to a condition of separability and to a measure of…

We investigate purities determined by classes of finitely presented modules including the correspondence between purities for left and right modules. We show some cases where purities determined by matrices of given sizes are different.…

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient conditions using the theory of matrix Positivstellensatz…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

Every projective module is flat. Conversely, every flat module is a direct limit of finitely generated free modules; this was proved independently by Govorov and Lazard in the 1960s. In this paper we prove an analogous result for complexes…

We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and…

We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…

In this work, we consider tilings of the Hamming cube and look for metrics which turn the tilings into a perfect code. We consider the family of metrics which are determined by a weight and are compatible with the support of vectors…

In his work on the Novikov conjecture, Yu introduced Property $A$ as a readily verified criterion implying coarse embeddability. Studied subsequently as a property in its own right, Property $A$ for a discrete group is known to be…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Sieg and Wegner showed that the stable exact sequences define a maximal exact structure (in the sense of Quillen) in any pre-abelian category. We generalize this result for weakly idempotent complete additive categories.

The most fundamental complexes of free modules over a commutative ring are the Koszul complex, which is constructed from a vector (i.e., a 1-tensor), and the Eagon-Northcott and the Buchsbaum-Rim complexes, which are constructed from a…

We note that some form of the condition "$p_1, p_2$ have a $\leq_{\mathbb{Q}}$-lub in $\mathbb{Q}$" is necessary in some forcing axiom for $\lambda$-complete $\mu^+$-c.c. forcing notions. We also show some versions are really stronger than…

We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that…

In this paper, an unextendible product basis and exact-entanglement bases of three qubit is given, and the properties of entanglement for exact-entanglement bases are also discussed. In addition, the bound entangled mixed state is obtained…

We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our…