English
Related papers

Related papers: A New Decidable Class of Tuple Generating Dependen…

200 papers

The most commonly known triangulated categories arise from chain complexes in an abelian category by passing to chain homotopy classes or inverting quasi-isomorphisms. Such examples are called `algebraic' because they originate from abelian…

Algebraic Topology · Mathematics 2025-11-05 Stefan Schwede

This paper introduces a new algebraic notion - triangulated persistence category (TPC) - that refines that of triangulated category in the same sense that a persistence module is a refinement of the notion of a vector space. The spaces of…

Symplectic Geometry · Mathematics 2024-08-13 Paul Biran , Octav Cornea , Jun Zhang

In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable…

Representation Theory · Mathematics 2015-05-07 Peter Jorgensen , Kiriko Kato

A triangulated category $\mathcal{T}$ whose suspension functor $\Sigma$ satisfies $\Sigma^m \simeq \mathrm{Id}_{\mathcal{T}}$ as additive functors is called an $m$-periodic triangulated category. Such a category does not have a tilting…

Representation Theory · Mathematics 2023-07-03 Shunya Saito

Dependency trees convey rich structural information that is proven useful for extracting relations among entities in text. However, how to effectively make use of relevant information while ignoring irrelevant information from the…

Computation and Language · Computer Science 2020-09-08 Zhijiang Guo , Yan Zhang , Wei Lu

We introduce the notion of composition series of triangulated categories, which generalizes full exceptional sequences. The lengths of composition series yield invariants for triangulated categories. We study composition series of derived…

Algebraic Geometry · Mathematics 2025-11-07 Yuki Hirano , Martin Kalck , Genki Ouchi

We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used;…

Artificial Intelligence · Computer Science 2013-07-11 David A. Cohen , Peter G. Jeavons , Evgenij Thorstensen , Stanislav Živný

Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of…

Commutative Algebra · Mathematics 2009-12-03 Sunil K. Chebolu

Based on the Decay and Fission Conjecture, we provide a classification of unitary quivers whose 3d $\mathcal{N}=4$ Coulomb branches exhibit isolated singularities. This yields the complete list of isolated conical symplectic singularities…

High Energy Physics - Theory · Physics 2025-04-09 Antoine Bourget , Quentin Lamouret , Sinan Moura Soysüren , Marcus Sperling

We study a number of different ingredients related to $\theta$ dependence, the non-dispersive contribution in topological susceptibility with the "wrong" sign, topological sectors in gauge theories, and related subjects using a simple…

High Energy Physics - Theory · Physics 2012-12-21 Evan Thomas , Ariel R. Zhitnitsky

We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…

Category Theory · Mathematics 2016-05-24 Simona Paoli

We study how to generate molecule conformations (i.e., 3D structures) from a molecular graph. Traditional methods, such as molecular dynamics, sample conformations via computationally expensive simulations. Recently, machine learning…

Machine Learning · Computer Science 2021-04-01 Minkai Xu , Shitong Luo , Yoshua Bengio , Jian Peng , Jian Tang

We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable…

Algebraic Geometry · Mathematics 2025-05-16 Isambard Goodbody , Theo Raedschelders , Greg Stevenson

We prove the existence of families of distinct isotopy classes of physical unknots through the key concept of parametrised thickness. These unknots have prescribed length, tube thickness, a uniform bound on curvature, and cannot be…

Geometric Topology · Mathematics 2025-06-06 José Ayala

In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain…

Representation Theory · Mathematics 2023-04-05 Ping He , Yu Zhou , Bin Zhu

In this paper we characterize when a recollement of compactly generated triangulated categories admits a ladder of some height going either upwards or downwards. As an application, we show that the derived category of the preprojective…

Representation Theory · Mathematics 2017-11-20 Nan Gao , Chrysostomos Psaroudakis

For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show…

Algebraic Geometry · Mathematics 2012-06-04 Yu-Han Liu , Hsian-Hua Tseng

This is the first in a series of papers constructing geometric models of twisted differential K-theory. In this paper we construct a model of even twisted differential K-theory when the underlying topological twist represents a torsion…

K-Theory and Homology · Mathematics 2020-03-18 Byungdo Park

In this work, we introduce a novel evaluation framework for generative models of graphs, emphasizing the importance of model-generated graph overlap (Chanpuriya et al., 2021) to ensure both accuracy and edge-diversity. We delineate a…

Machine Learning · Computer Science 2023-12-07 Sudhanshu Chanpuriya , Cameron Musco , Konstantinos Sotiropoulos , Charalampos Tsourakakis

We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq,…

Logic in Computer Science · Computer Science 2009-03-24 Yves Bertot , Ekaterina Komendantskaya
‹ Prev 1 8 9 10 Next ›