Showing 1–25 of 25 results for author: Román, M

Timing via Pinwheel Double Categories

Authors: Elena Di Lavore, Mario Román

Abstract: We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories. We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 10 pages, uses formulations from 'Monoidal Context Theory' (arXiv:2404.06192) and 'String Diagrams for Physical Duoidal Categories' (arXiv:2406.19816)

MSC Class: 18M50

Partial Markov Categories

Authors: Elena Di Lavore, Mario Román, Paweł Sobociński

Abstract: We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms. We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms. △ Less

Submitted 24 January, 2025; originally announced February 2025.

Comments: Extended version of "Evidential Decision Theory via Partial Markov Categories", arXiv:2301.12989

MSC Class: 18M30

Effectful Mealy Machines: Bisimulation and Trace

Authors: Filippo Bonchi, Elena Di Lavore, Mario Román

Abstract: We introduce effectful Mealy machines - a general notion of Mealy machine with global effects - and give them semantics in terms of both bisimilarity and traces. Bisimilarity of effectful Mealy machines is characterized syntactically, via free uniform feedback. Traces of effectful Mealy machines are given a novel semantic coinductive universe in terms of effectful streams. We prove that this frame… ▽ More We introduce effectful Mealy machines - a general notion of Mealy machine with global effects - and give them semantics in terms of both bisimilarity and traces. Bisimilarity of effectful Mealy machines is characterized syntactically, via free uniform feedback. Traces of effectful Mealy machines are given a novel semantic coinductive universe in terms of effectful streams. We prove that this framework generalizes standard causal processes and captures existing flavours of Mealy machine, bisimilarity, and trace. △ Less

Submitted 27 January, 2025; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 29 pages, two-column

MSC Class: 18M35

String Diagrams for Physical Duoidal Categories

Authors: Mario Román

Abstract: We introduce string diagrams for physical duoidal categories (normal $\otimes$-symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free partial order and order-preserving nodes whose inputs and outputs form intervals. We introduce string diagrams for physical duoidal categories (normal $\otimes$-symmetric duoidal categories): they consist of string diagrams with wires forming a zigzag-free partial order and order-preserving nodes whose inputs and outputs form intervals. △ Less

Submitted 20 July, 2024; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: 26 pages, 11 figures. The author thanks Nayan Rajesh for pointing out a mistake on a previous version of Definition 8.4

MSC Class: 18M50

Context-Free Languages of String Diagrams

Authors: Matt Earnshaw, Mario Román

Abstract: We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of string diagrams include classical context-free languages of words, trees, and hypergraphs, when instantiated over appropriate monoidal categories. Using a contour-splicing adjunction, we… ▽ More We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of string diagrams include classical context-free languages of words, trees, and hypergraphs, when instantiated over appropriate monoidal categories. Using a contour-splicing adjunction, we prove a representation theorem for context-free languages of string diagrams: every such language arises as the image under a monoidal functor of a regular language of string diagrams. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Monoidal Context Theory

Authors: Mario Román

Abstract: We universally characterize the produoidal category of monoidal lenses over a monoidal category. In the same way that each category induces a cofree promonoidal category of spliced arrows, each monoidal category induces a cofree produoidal category of monoidal spliced arrows; monoidal lenses are the free normalization of the cofree produoidal category of monoidal spliced arrows. We apply the chara… ▽ More We universally characterize the produoidal category of monoidal lenses over a monoidal category. In the same way that each category induces a cofree promonoidal category of spliced arrows, each monoidal category induces a cofree produoidal category of monoidal spliced arrows; monoidal lenses are the free normalization of the cofree produoidal category of monoidal spliced arrows. We apply the characterization of symmetric monoidal lenses to the analysis of multi-party message-passing protocols. We introduce a minimalistic axiomatization of message passing -- message theories -- and we construct combinatorially the free message theory over a set. Symmetric monoidal lenses are the derivations of the free message theory over a symmetric monoidal category. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: PhD Thesis. Supervisor: Pawel Sobocinski. Tallinn University of Technology. Figures numerated within chapters

MSC Class: 18M99

String Diagrams for Premonoidal Categories

Authors: Mario Román, Paweł Sobociński

Abstract: Premonoidal categories are monoidal categories without the interchange law while effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging morphisms. In the same sense that string diagrams, pioneered by Joyal and Street, are an internal language for monoidal categories, we show that string diagrams with an added "runtime object", pioneered by Alan Jeffrey,… ▽ More Premonoidal categories are monoidal categories without the interchange law while effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging morphisms. In the same sense that string diagrams, pioneered by Joyal and Street, are an internal language for monoidal categories, we show that string diagrams with an added "runtime object", pioneered by Alan Jeffrey, are an internal language for effectful categories and can be used as string diagrams for effectful, premonoidal, and Freyd categories. △ Less

Submitted 28 April, 2025; v1 submitted 10 May, 2023; originally announced May 2023.

MSC Class: 18M30

Journal ref: Logical Methods in Computer Science, Volume 21, Issue 2 (April 29, 2025) lmcs:13384

Optics for Premonoidal Categories

Authors: James Hefford, Mario Román

Abstract: We further the theory of optics or "circuits-with-holes" to encompass premonoidal categories: monoidal categories without the interchange law. Every premonoidal category gives rise to an effectful category (i.e. a generalised Freyd-category) given by the embedding of the monoidal subcategory of central morphisms. We introduce "pro-effectful" categories and show that optics for premonoidal categori… ▽ More We further the theory of optics or "circuits-with-holes" to encompass premonoidal categories: monoidal categories without the interchange law. Every premonoidal category gives rise to an effectful category (i.e. a generalised Freyd-category) given by the embedding of the monoidal subcategory of central morphisms. We introduce "pro-effectful" categories and show that optics for premonoidal categories exhibit this structure. Pro-effectful categories are the non-representable versions of effectful categories, akin to the generalisation of monoidal to promonoidal categories. We extend a classical result of Day to this setting, showing an equivalence between pro-effectful structures on a category and effectful structures on its free tight cocompletion. We also demonstrate that pro-effectful categories are equivalent to prostrong promonads. △ Less

Submitted 14 December, 2023; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal ref: EPTCS 397, 2023, pp. 152-171

Collages of String Diagrams

Authors: Dylan Braithwaite, Mario Román

Abstract: We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple monoidal categories. Collages of string diagrams are interpreted as pointed bimodular profunctors. As the main examples of this technique, we introduce string diagrams for bimodular categories, string diagrams for functor boxes, and string diagrams for internal diagrams. We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple monoidal categories. Collages of string diagrams are interpreted as pointed bimodular profunctors. As the main examples of this technique, we introduce string diagrams for bimodular categories, string diagrams for functor boxes, and string diagrams for internal diagrams. △ Less

Submitted 14 December, 2023; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: In Proceedings ACT 2023, arXiv:2312.08138. 15 pages, 10 figures, shorter version for ACT2023

Journal ref: EPTCS 397, 2023, pp. 39-53

Morse functions with four critical points on immersed 2-spheres

Authors: Svitlana Bilun, Bohdana Hladysh, Alexandr Prishlyak, Mariia Roman

Abstract: We investigate topological properties of simple Morse functions with 4 critical points on immersed 2-spheres. To classify such functions, dual graph of immersion and Reeb graphs is used. We have found all possible structures of the functions:6 structures with 4 critical points on one 1-strata component, 7 structures with two points on the 1-strata and two points on the 2-strata, 7 structures with… ▽ More We investigate topological properties of simple Morse functions with 4 critical points on immersed 2-spheres. To classify such functions, dual graph of immersion and Reeb graphs is used. We have found all possible structures of the functions:6 structures with 4 critical points on one 1-strata component, 7 structures with two points on the 1-strata and two points on the 2-strata, 7 structures with two 1-stratas and a three-connected 2-strata, three structures with two 1-stratas and without a three-connected 2-strata. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 9 pages, 4 figures

MSC Class: 57R45; 57R70; 58C27 ACM Class: G.1.7

Evidential Decision Theory via Partial Markov Categories

Authors: Elena Di Lavore, Mario Román

Abstract: We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints, observations and updates. In particular, we prove a synthetic Bayes theorem and we apply it to define a syntactic partial theory of observations on any Markov category, whose normalisations can be computed in the origina… ▽ More We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints, observations and updates. In particular, we prove a synthetic Bayes theorem and we apply it to define a syntactic partial theory of observations on any Markov category, whose normalisations can be computed in the original Markov category. Finally, we formalise Evidential Decision Theory in terms of partial Markov categories, and provide implemented examples. △ Less

Submitted 17 April, 2025; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 22 pages. Presented at LiCS'23. This version repairs a problem with Proposition 5.2 without major changes; we thank Mark Szeles for pointing it out. This version substitutes 'probability of success' for 'probability of failure' in multiple places; we thank Paolo Perrone for noticing this typo

The Produoidal Algebra of Process Decomposition

Authors: Matt Earnshaw, James Hefford, Mario Román

Abstract: We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a decomposition, possibly containing missing parts. We characterize monoidal contexts in terms of universal properties. In particular, symmetric monoidal contexts coinci… ▽ More We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a decomposition, possibly containing missing parts. We characterize monoidal contexts in terms of universal properties. In particular, symmetric monoidal contexts coincide with monoidal lenses, endowing them with a novel universal property. We apply this algebraic structure to the analysis of multi-party interaction protocols in arbitrary theories of processes. △ Less

Submitted 27 January, 2023; originally announced January 2023.

Comments: 56 pages, 41 figures

MSC Class: 18M99

Coinductive Streams in Monoidal Categories

Authors: Elena Di Lavore, Giovanni de Felice, Mario Román

Abstract: We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric… ▽ More We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. Monoidal streams also form a feedback monoidal category. In the same way that we can use a coinductive stream calculus to reason about signal flow graphs, we can use coinductive string diagrams to reason about feedback monoidal categories. As an example, we study syntax for a stochastic dataflow language, with semantics in stochastic monoidal streams. △ Less

Submitted 18 April, 2025; v1 submitted 29 December, 2022; originally announced December 2022.

Comments: Expanded version of Monoidal Streams for Dataflow Programming, arXiv:2202.02061. We thank the reviewers at LMCS for multiple suggestions that have improved this version. 55 pages, 35 figures

Promonads and String Diagrams for Effectful Categories

Authors: Mario Román

Abstract: Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product. Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object. We show that effectful categories are pseudomonoids in a monoidal bicategory of promonads with a suitable tensor product. △ Less

Submitted 1 May, 2024; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: Adds appendix to the Proceedings version ACT 2022, arXiv:2307.15519

Journal ref: EPTCS 380, 2023, pp. 344-361

Cornering Optics

Authors: Guillaume Boisseau, Chad Nester, Mario Román

Abstract: We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams over that category. The free cornering admits an intuitive graphical calculus, which in light of our work may be used to reason about optics and comb diagrams. We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams over that category. The free cornering admits an intuitive graphical calculus, which in light of our work may be used to reason about optics and comb diagrams. △ Less

Submitted 31 July, 2023; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal ref: EPTCS 380, 2023, pp. 97-110

Monoidal Streams for Dataflow Programming

Authors: Elena Di Lavore, Giovanni de Felice, Mario Román

Abstract: We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. At the same time, monoidal streams form a feedback monoidal category, which c… ▽ More We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. At the same time, monoidal streams form a feedback monoidal category, which can be used to interpret signal flow graphs. As an example, we study a stochastic dataflow language. △ Less

Submitted 4 February, 2022; originally announced February 2022.

Comments: Draft, 36 pages

MSC Class: 18M05

Span(Graph): a Canonical Feedback Algebra of Open Transition Systems

Authors: Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński

Abstract: We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of the canonicity of this model of concurrency. However, the universal property is itself of interest, being a formal demonstration of the relationship between feedback and state. Indeed, feedback categories, also originally… ▽ More We show that Span(Graph)*, an algebra for open transition systems introduced by Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of the canonicity of this model of concurrency. However, the universal property is itself of interest, being a formal demonstration of the relationship between feedback and state. Indeed, feedback categories, also originally proposed by Katis, Sabadini and Walters, are a weakening of traced monoidal categories, with various applications in computer science. A state bootstrapping technique, which has appeared in several different contexts, yields free such categories. We show that Span(Graph)* arises in this way, being the free feedback category over Span(Set). Given that the latter can be seen as an algebra of predicates, the algebra of open transition systems thus arises - roughly speaking - as the result of bootstrapping state to that algebra. Finally, we generalize feedback categories endowing state spaces with extra structure: this extends the framework from mere transition systems to automata with initial and final states. △ Less

Submitted 24 November, 2022; v1 submitted 20 October, 2020; originally announced October 2020.

Comments: 49 pages, 33 figures. Expanded discussion and conclusions. Discussion on Structured Feedback Categories. Other minor revisions for the journal version

MSC Class: 18M10

Open Diagrams via Coend Calculus

Authors: Mario Román

Abstract: Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent in terms of the monoidal category and, more importantly, how should they be composed. Examples of this situation include lenses or learners. We propose a description of these non-square b… ▽ More Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent in terms of the monoidal category and, more importantly, how should they be composed. Examples of this situation include lenses or learners. We propose a description of these non-square boxes, which we call open diagrams, using the monoidal bicategory of profunctors. A graphical coend calculus can then be used to reason about open diagrams and their compositions. △ Less

Submitted 21 February, 2022; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: Formatting revision after Proceedings ACT 2020, minor changes

Journal ref: EPTCS 333, 2021, pp. 65-78

Profunctor optics and traversals

Authors: Mario Román

Abstract: Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic structure called Tambara module. There exists a general definition of optic in terms of coends that, after some elementary application of the Yoneda lemma, parti… ▽ More Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic structure called Tambara module. There exists a general definition of optic in terms of coends that, after some elementary application of the Yoneda lemma, particularizes in each one of the basic optics. Traversals used to be the exception; we show an elementary derivation of traversals and discuss some other new derivations for optics. We relate our characterization of traversals to the previous ones showing that the coalgebras of a comonad that represents and split into shape and contents are traversable functors. The representation of optics in terms of profunctors has many different proofs in the literature; we discuss two ways of proving it, generalizing both to the case of mixed optics for an arbitrary action. Categories of optics can be seen as Eilenberg-Moore categories for a monad described by Pastro and Street. This gives us two different approaches to composition between profunctor optics of different families: using distributive laws between the monads defining them, and using coproducts of monads. The second one is the one implicitly used in Haskell programming; but we show that a refinement of the notion of optic is required in order to model it faithfully. We provide experimental implementations of a library of optics in Haskell and partial Agda formalizations of the profunctor representation theorem. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: Submitted as a thesis for MSc Mathematics and Foundations of Computer Science, University of Oxford 2019. The work on the article "Profunctor optics, a categorical update" started in this MSc dissertation. 82 pages

MSC Class: 18A99

Profunctor Optics, a Categorical Update

Authors: Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román

Abstract: Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have previously been studied only in an unenriched and non-mixed sett… ▽ More Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have previously been studied only in an unenriched and non-mixed setting, in which both directions of access are modelled in the same category. However, functional programming languages are arguably better described by enriched categories; and we have found that some structures in the literature are actually mixed optics, with access directions modelled in different categories. Our work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure. We provide some original families of optics and derivations, including an elementary one for traversals. Finally, we discuss a Haskell implementation. △ Less

Submitted 20 February, 2024; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: 38 pages. Final version with Compositionality metadata, does not change theorem numbering

MSC Class: 18C50 ACM Class: D.3.1

Journal ref: Compositionality, Volume 6 (2024) (February 23, 2024) compositionality:13530

Insights into the relation between noise and biological complexity

Authors: Fabrizio Pucci, Marianne Rooman

Abstract: Understanding under which conditions the increase of systems complexity is evolutionary advantageous, and how this trend is related to the modulation of the intrinsic noise, are fascinating issues of utmost importance for synthetic and systems biology. To get insights into these matters, we analyzed chemical reaction networks with different topologies and degrees of complexity, interacting or not… ▽ More Understanding under which conditions the increase of systems complexity is evolutionary advantageous, and how this trend is related to the modulation of the intrinsic noise, are fascinating issues of utmost importance for synthetic and systems biology. To get insights into these matters, we analyzed chemical reaction networks with different topologies and degrees of complexity, interacting or not with the environment. We showed that the global level of fluctuations at the steady state, as measured by the sum of the Fano factors of the number of molecules of all species, is directly related to the topology of the network. For systems with zero deficiency, this sum is constant and equal to the rank of the network. For higher deficiencies, we observed an increase or decrease of the fluctuation levels according to the values of the reaction fluxes that link internal species, multiplied by the associated stoichiometry. We showed that the noise is reduced when the fluxes all flow towards the species of higher complexity, whereas it is amplified when the fluxes are directed towards lower complexity species. △ Less

Submitted 4 September, 2017; originally announced September 2017.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. E 98, 012137 (2018)

Noncommutative Locally Anti-de Sitter Black Holes

Authors: Pierre Bieliavsky, Stephane Detournay, Marianne Rooman, Philippe Spindel

Abstract: We give a review of our joint work on strict deformation of BHTZ 2+1 black holes \cite{BRS02,BDHRS03}. However some results presented here are not published elsewhere, and an effort is made for enlightening the instrinsical aspect of the constructions. This shows in particular that the three dimensional case treated here could be generalized to an anti-de Sitter space of arbitrary dimension prov… ▽ More We give a review of our joint work on strict deformation of BHTZ 2+1 black holes \cite{BRS02,BDHRS03}. However some results presented here are not published elsewhere, and an effort is made for enlightening the instrinsical aspect of the constructions. This shows in particular that the three dimensional case treated here could be generalized to an anti-de Sitter space of arbitrary dimension provided one disposes of a universal deformation formula for the actions of a parabolic subgroup of its isometry group. △ Less

Submitted 7 July, 2005; originally announced July 2005.

Comments: 10 pages, based on a talk given by P.B., to appear in the proceedings of the workshop `Noncommutative Geometry and Physics 2004' (Feb. 2004, Keio University, Japan) (World Scientific)

Effective computation of $Tor_k (M,N)$

Authors: Socorro García Román, Manuel García Román

Abstract: An effective method to compute a presentation of $Tor_k (M,N)$ for modules on a not necessarily commutative algebra is proposed, more precisely when $R$ is a PBW algebra, $M$ is a centralizing $R$-bimodule and $N$ is a finitely generated left $R$-module. An effective method to compute a presentation of $Tor_k (M,N)$ for modules on a not necessarily commutative algebra is proposed, more precisely when $R$ is a PBW algebra, $M$ is a centralizing $R$-bimodule and $N$ is a finitely generated left $R$-module. △ Less

Submitted 16 December, 2004; originally announced December 2004.

MSC Class: 16E30; 16Z05; 68W30

Gröbner bases and syzygies on bimodules

Authors: M. García Román, S. García Román

Abstract: We propose a new more efficient method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra. Arising from the ideas this method involves, we introduce the notion of two-sided syzygy, which reveals to be useful in the computation of the intersection of bimodules. Further applications are left for a sequel. We propose a new more efficient method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra. Arising from the ideas this method involves, we introduce the notion of two-sided syzygy, which reveals to be useful in the computation of the intersection of bimodules. Further applications are left for a sequel. △ Less

Submitted 28 May, 2004; originally announced May 2004.

Comments: 14 pages, 4 algorithms, submitted to J. Symb. Comput

MSC Class: 16Z05; 33F10

Regular Poisson structures on massive non-rotating BTZ black holes

Authors: P. Bieliavsky, M. Rooman, Ph. Spindel

Abstract: We revisit the non-rotating massive BTZ black hole within a pseudo-Riemannian symmetric space context. Using classical symmetric space techniques we find that every such space intrinsically carries a regular Poisson structure whose symplectic leaves are para-hermitian symmetric surfaces. We also obtain a global expression of the metric yielding a dynamical description of the black hole from its… ▽ More We revisit the non-rotating massive BTZ black hole within a pseudo-Riemannian symmetric space context. Using classical symmetric space techniques we find that every such space intrinsically carries a regular Poisson structure whose symplectic leaves are para-hermitian symmetric surfaces. We also obtain a global expression of the metric yielding a dynamical description of the black hole from its initial to its final singularity. △ Less

Submitted 8 October, 2002; v1 submitted 20 June, 2002; originally announced June 2002.

Comments: LaTex, 18 pages, 3 figures, version published in Nucl. Phys. B

Journal ref: Nucl.Phys. B645 (2002) 349-364