Showing 1–8 of 8 results for author: Ocal, P S

Locally recoverable algebro-geometric codes with multiple recovery sets from projective bundles

Authors: Konrad Aguilar, Angelynn Álvarez, René Ardila, Pablo S. Ocal, Cristian Rodriguez Avila, Anthony Várilly-Alvarado

Abstract: A code is locally recoverable when each symbol in one of its code words can be reconstructed as a function of $r$ other symbols. We use bundles of projective spaces over a line to construct locally recoverable codes with availability; that is, evaluation codes where each code word symbol can be reconstructed from several disjoint sets of other symbols. The simplest case, where the code's underlyin… ▽ More A code is locally recoverable when each symbol in one of its code words can be reconstructed as a function of $r$ other symbols. We use bundles of projective spaces over a line to construct locally recoverable codes with availability; that is, evaluation codes where each code word symbol can be reconstructed from several disjoint sets of other symbols. The simplest case, where the code's underlying variety is a plane, exhibits noteworthy properties: When $r = 1$, $2$, $3$, they are optimal; when $r \geq 4$, they are optimal with probability approaching $1$ as the alphabet size grows. Additionally, their information rate is close to the theoretical limit. In higher dimensions, our codes form a family of asymptotically good codes. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Comments: 25 pages, 3 figures

MSC Class: 94B27; 14G50; 11G25

Universal support for triangulated categories

Authors: Paul Balmer, Pablo S. Ocal

Abstract: We revisit a result of Gratz and Stevenson on the universal space that carries supports for objects of a triangulated category, in the absence of a tensor product. We revisit a result of Gratz and Stevenson on the universal space that carries supports for objects of a triangulated category, in the absence of a tensor product. △ Less

Submitted 15 October, 2023; v1 submitted 21 August, 2023; originally announced August 2023.

Comments: 2 pages, added referee corrections, to appear in C. R. Math. Acad. Sci. Paris

MSC Class: 18F99; 18G80

Journal ref: Comptes Rendus. Mathématique, Volume 362 (2024), pp. 635-637

Symmetric monoidal equivalences of topological quantum field theories in dimension two and Frobenius algebras

Authors: Pablo S. Ocal

Abstract: We show that the canonical equivalences of categories between 2-dimensional (unoriented) topological quantum field theories valued in a symmetric monoidal category and (extended) commutative Frobenius algebras in that symmetric monoidal category are symmetric monoidal equivalences. As an application, we recover that the invariant of 2-dimensional manifolds given by the product of (extended) commut… ▽ More We show that the canonical equivalences of categories between 2-dimensional (unoriented) topological quantum field theories valued in a symmetric monoidal category and (extended) commutative Frobenius algebras in that symmetric monoidal category are symmetric monoidal equivalences. As an application, we recover that the invariant of 2-dimensional manifolds given by the product of (extended) commutative Frobenius algebras in a symmetric tensor category is the multiplication of the invariants given by each of the algebras. △ Less

Submitted 1 November, 2023; v1 submitted 11 July, 2023; originally announced July 2023.

Comments: 4 pages, added acknowledgments, added referee corrections, to appear in Proc. Amer. Math. Soc

MSC Class: 57R56; 18M05; 57K16; 18M15; 16L60

A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks

Authors: Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson, Brandon T. Shapiro

Abstract: Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regula… ▽ More Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regulatory networks and other mathematical models in biochemistry. We construct a functor from reaction networks, modeled as Petri nets with signed links, to regulatory networks, enabling us to precisely define when a reaction network could be a physical mechanism underlying a regulatory network. Turning to quantitative models, we associate a regulatory network with a Lotka-Volterra system of differential equations, defining a functor from the category of signed graphs to a category of parameterized dynamical systems. We extend this result from closed to open systems, demonstrating that Lotka-Volterra dynamics respects not only inclusions and collapsings of regulatory networks, but also the process of building up complex regulatory networks by gluing together simpler pieces. Formally, we use the theory of structured cospans to produce a lax double functor from the double category of open signed graphs to that of open parameterized dynamical systems. Throughout the paper, we ground the categorical formalism in examples inspired by systems biology. △ Less

Submitted 5 May, 2024; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: Final version published in Compositionality

Journal ref: Compositionality, Volume 6 (2024) (May 13, 2024) compositionality:13637

A Primer on Twists in the Noncommutative Realm Focusing on Algebra, Representation Theory, and Geometry

Authors: Pablo S. Ocal, Kenta Ueyama, Padmini Veerapen

Abstract: We review several techniques that twist an algebra's multiplicative structure. We first consider twists by an automorphism, also known as Zhang twists, and we relate them to 2-cocycle twists of certain bialgebras. We then outline the classification and properties of twisted tensor products, and we examine twisted Segre products. Our exposition emphasizes clarity over generality, providing a wealth… ▽ More We review several techniques that twist an algebra's multiplicative structure. We first consider twists by an automorphism, also known as Zhang twists, and we relate them to 2-cocycle twists of certain bialgebras. We then outline the classification and properties of twisted tensor products, and we examine twisted Segre products. Our exposition emphasizes clarity over generality, providing a wealth of interconnecting examples. △ Less

Submitted 5 September, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 16 pages, expanded acknowledgements, added referee corrections

Report number: HIM-Spectral-2022 MSC Class: 16S80 (Primary) 16S38; 16T99; 14A22 (Secondary)

A dichotomy between twisted tensor products of bialgebras and Frobenius algebras

Authors: Pablo S. Ocal, Amrei Oswald

Abstract: We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the twisted tensor product of bialgebras is a bialgebra, and when the twisted tensor product of Frobenius algebras is a Frobenius algebra. Our methods are purely diag… ▽ More We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the twisted tensor product of bialgebras is a bialgebra, and when the twisted tensor product of Frobenius algebras is a Frobenius algebra. Our methods are purely diagrammatic, so these results hold for (braided) monoidal categories. As an application, we recover that some quantum complete intersections are Frobenius algebras, and we construct families of noncommutative symmetric Frobenius algebras. Along the way, we also characterize when twisted tensor products of separable algebras are separable, and we prove that twisted tensor products of special Frobenius algebras are special Frobenius. △ Less

Submitted 31 January, 2024; v1 submitted 27 November, 2022; originally announced November 2022.

Comments: 26 pages, expanded acknowledgements, minor corrections, additional referee corrections, to appear in J. Algebra

Report number: HIM-Spectral-2022 MSC Class: 16S10 (Primary) 16S35; 16S80; 16L60; 18M05; 17B37 (Secondary)

Homotopy liftings and Hochschild cohomology of some twisted tensor products

Authors: Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodu… ▽ More The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes. △ Less

Submitted 27 January, 2021; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 14 pages, minor reference corrections, added Section 4 with examples

Gerstenhaber brackets on Hochschild cohomology of general twisted tensor products

Authors: Tekin Karadag, Dustin McPhate, Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. △ Less

Submitted 26 July, 2024; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 14 pages, small changes in the presentation, minor corrections, additional referee corrections, to appear in J. Pure Appl. Algebra. Corrections to three maps in Section 4