We symmetrise neural networks for groups using Markov categories.
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
In this paper, we model dependence between operational risks by allowing risk profiles to evolve stochastically in time and to be dependent. This allows for a flexible correlation structure where the dependence between frequencies of different risk categories and between severities of different risk categories as well …
In this paper we prove a Markov Theorem for virtual braids and for some analogs of this structure. The virtual braid group is the natural companion in the category of virtual knots, just as the Artin braid group is the natural companion to classical knots and links. In this paper we follow the L--move methods to prove …
Enhances machine learning interpretability using category theory.
In the present paper we give a new method for converting virtual knots and links to virtual braids. Indeed the braiding method given in this paper is quite general, and applies to all the categories in which braiding can be accomplished. We give a unifying topological interpretation of virtuals and flats (virtual strin…
Study analyzes order transitions in high, medium, and low market cap stocks using Markov chains.
Controller-Augmented Hidden Markov Models (CHMMs) are a framework for constrained sequential inference.
Automata learning techniques automatically generate system models from test observations. These techniques usually fall into two categories: passive and active. Passive learning uses a predetermined data set, e.g., system logs. In contrast, active learning actively queries the system under learning, which is considered…
Study of bonded knots and braids with new algebraic models.
Bayesian model for discrete data with conditional transformations.
Studies amenable category's monotonicity and its relation to topological complexity.
To each oriented surface S, we associate a differential graded category Ko(S). The homotopy category Ho(Ko(S)) is a triangulated category which satisfies properties akin to those of the contact categories studied by K. Honda. These categories are also related to the algebraic contact categories of Y. Tian and to the bo…
We consider learning parameters of Binomial Hidden Markov Models, which may be used to model DNA methylation data. The standard algorithm for the problem is EM, which is computationally expensive for sequences of the scale of the mammalian genome. Recently developed spectral algorithms can learn parameters of latent va…
Formulates a new connection between topological and geometric categories.
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free c…
We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.
The paper defines new TQFTs from non-semisimple categories and proves spherical categories are chromatic.
Spider category comparison proves equivalence to Sikora's quotient category.
We generalize the notion of monetary value measures developed with category theory in [Adachi, 2014] by extending their base category from the category \c{hi} to the category of probability spaces Prob introduced in [Adachi and Ryu, 2016].
ETQFTs created from non-semisimple modular categories.
Studies modules over a category of Jacobi diagrams in handlebodies.
We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram…
We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category , there is a self enriched multi-fusion category giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the e…
We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.
This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a com…
New 4-manifold invariant defined from trisection diagrams.
We study the transverse Lusternik-Schnirelmann category of a Riemannian foliation on a compact manifold. We obtain a necessary and sufficient condition when the transverse LS category is finite. We also introduce a variation on the concept of transverse LS category, the essential transverse category, and show that this…
It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of mark…
TXtract extracts structured knowledge from thousands of product categories.
Paper proposes CNE-net to tackle incremental learning in (T)ACSA tasks.
We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…
Generative model for morphisms in free categories learns from wiring diagrams.
3D HQFTs constructed using graded monoidal categories.
We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism ca…
New categories help understand knot algebra.
This paper extends link invariants using functors on nanophrases.
Theory for algebraic data on categories via concentration structures.
New skein categories for non-semisimple settings, extending existing theory.
Using methods inspired from algebraic -theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach…
We generalize Cohen & Jones & Segal's flow category whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doing Morse theory on Morse moduli spaces for which we have to const…
We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…
This paper introduces a new distance metric for filtered A-infinity categories, focusing on Lagrangian submanifolds.
We propose a generalization of quantization as a categorical way. For a fixed Poisson algebra quantization categories are defined as subcategories of R-module category with the structure of classical limits. We construct the generalized quantization categories including matrix regularization, strict deformation quantiz…
We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.
We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over rings of algebra integers. We show how to obtain TQFTs defined over algebra integers from these categories.
We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over omega-graphs, c.f. [MZ]. In particular, they allow us to give an explicit combinato…
New categories from TQFTs interpret skein relations.
Markov chain Monte Carlo methods are often deemed too computationally intensive to be of any practical use for big data applications, and in particular for inference on datasets containing a large number of individual data points, also known as tall datasets. In scenarios where data are assumed independent, various…