Showing 1–50 of 83 results for author: Galindo, C

Abelian Group Quantum Error Correction in Kitaev's Model

Authors: Shawn X. Cui, César Galindo, Diego Romero

Abstract: In this paper, we present a detailed mathematical description of the error correction process for Kitaev's model for finite Abelian groups. The number of errors Kitaev's model can correct depends on the lattice and its topology. Although there is a theoretical maximum number of errors that can be corrected, we prove that correcting this number of errors, in general, is an NP-complete problem. Cons… ▽ More In this paper, we present a detailed mathematical description of the error correction process for Kitaev's model for finite Abelian groups. The number of errors Kitaev's model can correct depends on the lattice and its topology. Although there is a theoretical maximum number of errors that can be corrected, we prove that correcting this number of errors, in general, is an NP-complete problem. Consequently, we introduce a polynomial-time correction algorithm that corrects a number of errors below the theoretical maximum. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 32 pages

Integral non-group-theoretical modular categories of dimension $p^2q^2$

Authors: César Galindo, Julia Plavnik, Eric C. Rowell

Abstract: We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and their rank is $p^2 + \frac{q^2 - 1}{p}$. We construct all integral non-group-theoretical modular categories of dimension $p^2q^2$, where $p$ and $q$ are distinct prime numbers, establishing that a necessary and sufficient condition for their existence is that $p \mid q+1$, and their rank is $p^2 + \frac{q^2 - 1}{p}$. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 9 pages

Towards reliable synthesis of superconducting infinite layer nickelate thin films by topochemical reduction

Authors: Araceli Gutiérrez-Llorente, Aravind Raji, Dongxin Zhang, Laurent Divay, Alexandre Gloter, Fernando Gallego, Christophe Galindo, Manuel Bibes, Lucia Iglesias

Abstract: Infinite layer nickelates provide a new route beyond copper oxides to address outstanding questions in the field of unconventional superconductivity. However, their synthesis poses considerable challenges, largely hindering experimental research on this new class of oxide superconductors. That synthesis is achieved in a two-step process that yields the most thermodynamically stable perovskite phas… ▽ More Infinite layer nickelates provide a new route beyond copper oxides to address outstanding questions in the field of unconventional superconductivity. However, their synthesis poses considerable challenges, largely hindering experimental research on this new class of oxide superconductors. That synthesis is achieved in a two-step process that yields the most thermodynamically stable perovskite phase first, then the infinite-layer phase by topotactic reduction, the quality of the starting phase playing a crucial role. Here, we report on reliable synthesis of superconducting infinite-layer nickelate films after successive topochemical reductions of a parent perovskite phase with nearly optimal stoichiometry. Careful analysis of the transport properties of the incompletely reduced films reveals an improvement of the strange metal behaviour of their normal state resistivity over subsequent topochemical reductions, offering insight into the reduction process. △ Less

Submitted 15 March, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: 26 pages; 25 figures. Results unchanged; supplemental figures added; references added

Algebraic integrability with bounded genus

Authors: Carlos Galindo, Francisco Monserrat, Elvira Pérez-Callejo

Abstract: We provide an algorithm which decides whether a polynomial foliation $\mathcal{F}^{\mathbb{C}^2}$ on the complex plane has a polynomial first integral of genus $g\neq 1$. Except in a specific case, an extension of the algorithm also decides if $\mathcal{F}^{\mathbb{C}^2}$ has a rational first integral of that genus. We provide an algorithm which decides whether a polynomial foliation $\mathcal{F}^{\mathbb{C}^2}$ on the complex plane has a polynomial first integral of genus $g\neq 1$. Except in a specific case, an extension of the algorithm also decides if $\mathcal{F}^{\mathbb{C}^2}$ has a rational first integral of that genus. △ Less

Submitted 17 January, 2024; originally announced January 2024.

The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila

Abstract: Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_δ$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $δ\geq a$, and the Cox ring of $X$ is finitely generated whenever $δ\geq b$. The integers $a$ and… ▽ More Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_δ$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $δ\geq a$, and the Cox ring of $X$ is finitely generated whenever $δ\geq b$. The integers $a$ and $b$ depend only on a combinatorial object (a graph decorated with arrows) representing the strict transforms of the exceptional divisors, their intersections and those with the fibers and special section of $\mathbb{F}_δ$. △ Less

Submitted 14 January, 2024; originally announced January 2024.

Comments: Comments are welcome

MSC Class: 14C20; 14E15; 14C22; 13A18

Braided Zestings of Verlinde Modular Categories and Their Modular Data

Authors: César Galindo, Giovanny Mora, Eric C. Rowell

Abstract: Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data for modular categories associated with quantum groups at roots of unity. We produce closed formulas, based on the root system of the associated Lie algebra, for t… ▽ More Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data for modular categories associated with quantum groups at roots of unity. We produce closed formulas, based on the root system of the associated Lie algebra, for the modular data of these new modular categories. △ Less

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

Comments: 37 pages, 22 tables. Several typos corrected and minor changes made

Locally recoverable codes from the matrix-product construction

Authors: Carlos Galindo, Fernando Hernando, Carlos Munuera, Diego Ruano

Abstract: Matrix-product constructions giving rise to locally recoverable codes are considered, both the classical $r$ and $(r,δ)$ localities. We study the recovery advantages offered by the constituent codes and also by the defining matrices of the matrix product codes. Finally, we extend these methods to a particular variation of matrix-product codes and quasi-cyclic codes. Singleton-optimal locally recov… ▽ More Matrix-product constructions giving rise to locally recoverable codes are considered, both the classical $r$ and $(r,δ)$ localities. We study the recovery advantages offered by the constituent codes and also by the defining matrices of the matrix product codes. Finally, we extend these methods to a particular variation of matrix-product codes and quasi-cyclic codes. Singleton-optimal locally recoverable codes and almost Singleton-optimal codes, with length larger than the finite field size, are obtained, some of them with superlinear length. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Steane enlargement of Entanglement-Assisted Quantum Error-Correcting Codes

Authors: Carlos Galindo, Fernando Hernando, Ryutaroh Matsumoto

Abstract: We introduce a Steane-like enlargement procedure for entanglement-assisted quantum error-correcting codes (EAQECCs) obtained by considering Euclidean inner product. We give formulae for the parameters of these enlarged codes and apply our results to explicitly compute the parameters of enlarged EAQECCs coming from some BCH codes. We introduce a Steane-like enlargement procedure for entanglement-assisted quantum error-correcting codes (EAQECCs) obtained by considering Euclidean inner product. We give formulae for the parameters of these enlarged codes and apply our results to explicitly compute the parameters of enlarged EAQECCs coming from some BCH codes. △ Less

Submitted 6 March, 2023; originally announced March 2023.

MSC Class: 81P73 94Bxx

Journal ref: Comp. Appl. Math. 42, 275 (2023)

$G$-crossed braided zesting

Authors: Colleen Delaney, César Galindo, Julia Plavnik, Eric Rowell, Qing Zhang

Abstract: For a finite group $G$, a $G$-crossed braided fusion category is $G$-graded fusion category with additional structures, namely a $G$-action and a $G$-braiding. We develop the notion of $G$-crossed braided zesting: an explicit method for constructing new $G$-crossed braided fusion categories from a given one by means of cohomological data associated with the invertible objects in the category and g… ▽ More For a finite group $G$, a $G$-crossed braided fusion category is $G$-graded fusion category with additional structures, namely a $G$-action and a $G$-braiding. We develop the notion of $G$-crossed braided zesting: an explicit method for constructing new $G$-crossed braided fusion categories from a given one by means of cohomological data associated with the invertible objects in the category and grading group $G$. This is achieved by adapting a similar construction for (braided) fusion categories recently described by the authors. All $G$-crossed braided zestings of a given category $\mathcal{C}$ are $G$-extensions of their trivial component and can be interpreted in terms of the homotopy-based description of Etingof, Nikshych and Ostrik. In particular, we explicitly describe which $G$-extensions correspond to $G$-crossed braided zestings. △ Less

Submitted 5 March, 2023; v1 submitted 10 December, 2022; originally announced December 2022.

Detailed analysis of the variable star population in the globular cluster NGC 7006

Authors: A. Arellano Ferro, F. C. Rojas Galindo, I. H. Bustos Fierro, S. Muneer, M. A. Yepez, Sunetra Giridhar

Abstract: A five year CCD photometric \emph{VI} time-series of NGC 7006 is employed to perform a detailed analysis of the known population of variable stars. In the process we have corrected inconsistent classifications, sky coordinates and found ten new cluster member variables. An independent reddening estimate with a value $E(B-V)=0.08\pm0.05$ is made. Using Fourier decompositions of RR Lyrae light curve… ▽ More A five year CCD photometric \emph{VI} time-series of NGC 7006 is employed to perform a detailed analysis of the known population of variable stars. In the process we have corrected inconsistent classifications, sky coordinates and found ten new cluster member variables. An independent reddening estimate with a value $E(B-V)=0.08\pm0.05$ is made. Using Fourier decompositions of RR Lyrae light curves and well established calibrations, the cluster mean metallicity and distance [Fe/H]$_{\rm ZW}= -1.53\pm0.15$ and $41.2\pm1.4$ kpc are estimated based on an extended sample of cluster member RRab stars. Using the $Gaia$-DR3 data we performed an extensive membership analysis which leads to a clean Colour-Magnitude diagram, and hence to the identification of variables that are likely field stars, and to considerations on the variables distribution in the Horizontal Branch (HB). A double mode RR Lyrae and three CW star are discussed. The origin of CW stars from precursors in the blue tail of the HB with very thin ($\sim 0.06 \pm 0.01 M_{\odot}$) envelopes is argued. Our models indicate that the Main Sequence predecessor of RR Lyrae stars had a mass of 0.82-0.85 $M_{\odot}$ and lost about 25-35\% of its mass during the red giant branch events before settling in the HB some 12-13.5 Gyrs later. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: 16 pages, 5 Tables, 8 Figures. Accepted by MNRAS November 8, 2022

On the valuative Nagata conjecture

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila, Julio José Moyano-Fernández

Abstract: We provide several equivalent conditions for a plane divisorial valuation of a smooth projective surface to be minimal with respect to an ample divisor. These conditions involve a valuative Seshadri constant and other global tools of the surface defined by the divisorial valuation. As a consequence, we derive several equivalent statements for the valuative Nagata conjecture and some related result… ▽ More We provide several equivalent conditions for a plane divisorial valuation of a smooth projective surface to be minimal with respect to an ample divisor. These conditions involve a valuative Seshadri constant and other global tools of the surface defined by the divisorial valuation. As a consequence, we derive several equivalent statements for the valuative Nagata conjecture and some related results. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Comments: Comments are welcome

MSC Class: 14C20; 14E15; 14C22; 13A18

Stabilizer quantum codes defined by trace-depending polynomials

Authors: Carlos Galindo, Fernando Hernando, Helena Martín-Cruz, Diego Ruano

Abstract: Quantum error-correcting codes with good parameters can be constructed by evaluating polynomials at the roots of the polynomial trace. In this paper, we propose to evaluate polynomials at the roots of trace-depending polynomials (given by a constant plus the trace of a polynomial) and show that this procedure gives rise to stabilizer quantum error-correcting codes with a wider range of lengths tha… ▽ More Quantum error-correcting codes with good parameters can be constructed by evaluating polynomials at the roots of the polynomial trace. In this paper, we propose to evaluate polynomials at the roots of trace-depending polynomials (given by a constant plus the trace of a polynomial) and show that this procedure gives rise to stabilizer quantum error-correcting codes with a wider range of lengths than in other papers involving roots of the trace and with excellent parameters. Namely, we are able to provide new binary records and non-binary codes improving the ones available in the literature. △ Less

Submitted 21 August, 2022; v1 submitted 12 August, 2022; originally announced August 2022.

Spherical Morita contexts and relative Serre functors

Authors: Jürgen Fuchs, César Galindo, David Jaklitsch, Christoph Schweigert

Abstract: The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We express the double duals in terms of relative Serre functors, which leads to a Radford isomorphism for module categories. There is a bicategorical version of the… ▽ More The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We express the double duals in terms of relative Serre functors, which leads to a Radford isomorphism for module categories. There is a bicategorical version of the Radford $S^4$ theorem: on the bicategory of a Morita context, the relative Serre functors assemble into a pseudo-functor, and the Radford isomorphisms furnish a trivialization of the square of this pseudo-functor, i.e. of the fourth power of the duals. We also show that the Morita bicategories coming from pivotal exact module categories are pivotal as bicategories, leading to the notion of pivotal Morita equivalence. This equivalence of tensor categories amounts to the equivalence of their bicategories of pivotal module categories. Furthermore, we introduce the notion of a spherical module category; it ensures that all categories in the Morita context of a spherical module category are spherical. Our results are motivated by and have applications to topological field theory. △ Less

Submitted 18 October, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 53 pages. Version 3: Several typos are corrected. A Radford isomorphism for arbitrary bimodule categories is now included (page 29). The discussion of sphericality has been extended (subsection 5.6). In particular, the property of sphericality is shown to be invariant under pivotal Morita equivalence (Cor. 5.19)

Report number: ZMP-HH/22-13, Hamburger Beitraege zur Mathematik Nr. 927

Optimal $(r,δ)$-LRCs from monomial-Cartesian codes and their subfield-subcodes

Authors: Carlos Galindo, Fernando Hernando, Helena Martín-Cruz

Abstract: We study monomial-Cartesian codes (MCCs) which can be regarded as $(r,δ)$-locally recoverable codes (LRCs). These codes come with a natural bound for their minimum distance and we determine those giving rise to $(r,δ)$-optimal LRCs for that distance, which are in fact $(r,δ)$-optimal. A large subfamily of MCCs admits subfield-subcodes with the same parameters of certain optimal MCCs but over small… ▽ More We study monomial-Cartesian codes (MCCs) which can be regarded as $(r,δ)$-locally recoverable codes (LRCs). These codes come with a natural bound for their minimum distance and we determine those giving rise to $(r,δ)$-optimal LRCs for that distance, which are in fact $(r,δ)$-optimal. A large subfamily of MCCs admits subfield-subcodes with the same parameters of certain optimal MCCs but over smaller supporting fields. This fact allows us to determine infinitely many sets of new $(r,δ)$-optimal LRCs and their parameters. △ Less

Submitted 11 April, 2023; v1 submitted 3 May, 2022; originally announced May 2022.

Comments: This is a revised version of the manuscript "Optimal $(r,δ)$-LRCs from zero-dimensional affine variety codes and their subfield-subcodes". We have modified the title and the new one is "Optimal $(r,δ)$-LRCs from monomial-Cartesian codes and their subfield-subcodes". This new version contains rather changes, the main ones appear in Section 4

Algebraic integrability of planar polynomial vector fields by extension to Hirzebruch surfaces

Authors: Carlos Galindo, Francisco Monserrat, Elvira Pérez-Callejo

Abstract: We study algebraic integrability of complex planar polynomial vector fields $X=A (x,y)(\partial/\partial x) + B(x,y) (\partial/\partial y) $ through extensions to Hirzebruch surfaces. Using these extensions, each vector field $X$ determines two infinite families of planar vector fields that depend on a natural parameter which, when $X$ has a rational first integral, satisfy strong properties about… ▽ More We study algebraic integrability of complex planar polynomial vector fields $X=A (x,y)(\partial/\partial x) + B(x,y) (\partial/\partial y) $ through extensions to Hirzebruch surfaces. Using these extensions, each vector field $X$ determines two infinite families of planar vector fields that depend on a natural parameter which, when $X$ has a rational first integral, satisfy strong properties about the dicriticity of the points at the line $x=0$ and of the origin. As a consequence, we obtain new necessary conditions for algebraic integrability of planar vector fields and, if $X$ has a rational first integral, we provide a region in $\mathbb{R}_{\geq 0}^2$ that contains all the pairs $(i,j)$ corresponding to monomials $x^i y^j$ involved in the generic invariant curve of $X$. △ Less

Submitted 12 February, 2022; originally announced February 2022.

Journal ref: Qualitative Theory of Dynamical Systems 21, 126 (2022)

Equivariant fusion subcategories

Authors: César Galindo, Corey Jones

Abstract: We provide a parameterization of all fusion subcategories of the equivariantization by a group action on a fusion category. As applications, we classify the Hopf subalgebras of a family of semisimple Hopf algebras of Kac-Paljutkin type and recover Naidu-Nikshych-Witherspoon classification of the fusion subcategories of the representation category of a twisted quantum double of a finite group. We provide a parameterization of all fusion subcategories of the equivariantization by a group action on a fusion category. As applications, we classify the Hopf subalgebras of a family of semisimple Hopf algebras of Kac-Paljutkin type and recover Naidu-Nikshych-Witherspoon classification of the fusion subcategories of the representation category of a twisted quantum double of a finite group. △ Less

Submitted 12 January, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 15 pages

On the convergence of the orthogonal spectral sequence

Authors: Cesar Galindo, Pablo Pelaez

Abstract: We show that the orthogonal spectral sequence introduced by the second author is strongly convergent in Voevodsky's triangulated category of motives DM over a field k. In the context of the Morel-Voevodsky motivic stable homotopy category we provide concrete examples where the spectral sequence is not strongly convergent, and give a criterion under which the strong convergence still holds. This cr… ▽ More We show that the orthogonal spectral sequence introduced by the second author is strongly convergent in Voevodsky's triangulated category of motives DM over a field k. In the context of the Morel-Voevodsky motivic stable homotopy category we provide concrete examples where the spectral sequence is not strongly convergent, and give a criterion under which the strong convergence still holds. This criterion holds for Voevodsky's slices, and as a consequence we obtain a spectral sequence which converges strongly to the E1-term of Voevodsky's slice spectral sequence. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1605.00717

MSC Class: 14C25; 14C35; 14F42; 19E15 (Primary) 18G55; 55P42 (Secondary)

Equivariant Morita theory for graded tensor categories

Authors: César Galindo, David Jaklitsch, Christoph Schweigert

Abstract: We extend categorical Morita equivalence to finite tensor categories graded by a finite group $G$. We show that two such categories are graded Morita equivalent if and only if their equivariant Drinfeld centers are equivalent as braided $G$-crossed tensor categories. We extend categorical Morita equivalence to finite tensor categories graded by a finite group $G$. We show that two such categories are graded Morita equivalent if and only if their equivariant Drinfeld centers are equivalent as braided $G$-crossed tensor categories. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: 24 pages

Report number: [ZMP-HH/21-14], Hamburger Beitraege zur Mathematik Nr. 902

On the degree of curves with prescribed multiplicities and bounded negativity

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila, Elvira Pérez-Callejo

Abstract: We provide a lower bound on the degree of curves of the projective plane $\mathbb{P}^2$ passing through the centers of a divisorial valuation $ν$ of $\mathbb{P}^2$ with prescribed multiplicities, and an upper bound for the Seshadri-type constant of $ν$, $\hatμ(ν)$, constant that is crucial in the Nagata-type valuative conjecture. We also give some results related to the bounded negativity conjectu… ▽ More We provide a lower bound on the degree of curves of the projective plane $\mathbb{P}^2$ passing through the centers of a divisorial valuation $ν$ of $\mathbb{P}^2$ with prescribed multiplicities, and an upper bound for the Seshadri-type constant of $ν$, $\hatμ(ν)$, constant that is crucial in the Nagata-type valuative conjecture. We also give some results related to the bounded negativity conjecture concerning those rational surfaces having the projective plane as a relatively minimal model. △ Less

Submitted 28 February, 2022; v1 submitted 4 May, 2021; originally announced May 2021.

MSC Class: 14C20; 14E15; 13A18

Journal ref: International Mathematics Research Notices. Volume 2023, Issue 16, pages 13757-13779 (2023)

On the generalization of the construction of quantum codes from Hermitian self-orthogonal codes

Authors: Carlos Galindo, Fernando Hernando

Abstract: Many $q$-ary stabilizer quantum codes can be constructed from Hermitian self-orthogonal $q^2$-ary linear codes. This result can be generalized to $q^{2 m}$-ary linear codes, $m > 1$. We give a result for easily obtaining quantum codes from that generalization. As a consequence we provide several new binary stabilizer quantum codes which are records according to \cite{codet} and new $q$-ary ones, w… ▽ More Many $q$-ary stabilizer quantum codes can be constructed from Hermitian self-orthogonal $q^2$-ary linear codes. This result can be generalized to $q^{2 m}$-ary linear codes, $m > 1$. We give a result for easily obtaining quantum codes from that generalization. As a consequence we provide several new binary stabilizer quantum codes which are records according to \cite{codet} and new $q$-ary ones, with $q \neq 2$, improving others in the literature. △ Less

Submitted 21 July, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

MSC Class: 81P73; 94B05; 94A15

Journal ref: Designs, Codes and Cryptography, volume 90, 2022

Trivializing group actions on braided crossed tensor categories and graded braided tensor categories

Authors: César Galindo

Abstract: For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action $T$ on a monoidal category $\mathcal{C}$ is given by an element… ▽ More For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action $T$ on a monoidal category $\mathcal{C}$ is given by an element $O(T)\in H^2(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$. In the case that $O(T)=0$, the set of obstructions form a torsor over $\operatorname{Hom}(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$, where $\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}})$ is the abelian group of tensor natural automorphisms of the identity. The cohomological interpretation of trivializations, together with the homotopical classification of (faithfully graded) braided $A$-crossed tensor categories developed in arXiv:0909.3140, allows us to provide a method for the construction of faithfully $A$-graded braided tensor categories. We work out two examples. First, we compute the obstruction to the existence of trivializations for the braided crossed category associated with a pointed semisimple tensor category. In the second example, we compute explicit formulas for the braided $\mathbb{Z}/2$-crossed structures over Tambara-Yamagami fusion categories and, consequently, a conceptual interpretation of the results in arXiv:math/0011037 about the classification of braidings over Tambara-Yamagami categories. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 17 pages

Foliations with isolated singularities on Hirzebruch surfaces

Authors: Carlos Galindo, Francisco Monserrat, Jorge Olivares

Abstract: We study foliations $\mathcal{F}$ on Hirzebruch surfaces $S_δ$ and prove that, similarly to those on the projective plane, any $\mathcal{F}$ can be represented by a bi-homogeneous polynomial affine $1$-form. In case $\mathcal{F}$ has isolated singularities, we show that, for $ δ=1 $, the singular scheme of $\mathcal{F}$ does determine the foliation, with some exceptions that we describe, as is the… ▽ More We study foliations $\mathcal{F}$ on Hirzebruch surfaces $S_δ$ and prove that, similarly to those on the projective plane, any $\mathcal{F}$ can be represented by a bi-homogeneous polynomial affine $1$-form. In case $\mathcal{F}$ has isolated singularities, we show that, for $ δ=1 $, the singular scheme of $\mathcal{F}$ does determine the foliation, with some exceptions that we describe, as is the case of foliations in the projective plane. For $δ\neq 1$, we prove that the singular scheme of $\mathcal{F}$ does not determine the foliation. However we prove that, in most cases, two foliations $\mathcal{F}$ and $\mathcal{F}'$ given by sections $s$ and $s'$ have the same singular scheme if and only if $s'=Φ(s)$, for some global endomorphism $Φ$ of the tangent bundle of $S_δ$. △ Less

Submitted 20 July, 2020; originally announced July 2020.

MSC Class: 32M25; 14J26

Entanglement-Assisted Quantum Error Correcting Codes From RS Codes and BCH Codes with Extension Degree 2

Authors: Carlos Galindo, Fernando Hernando, Diego Ruano

Abstract: Entanglement-assisted quantum error correcting codes (EAQECCs) constructed from Reed-Solomon codes and BCH codes are considered in this work. It is provided a complete and explicit formula for the parameters of EAQECCs coming from any Reed-Solomon code, for the Hermitian metric, and from any BCH code with extension degree $2$ and consecutive cyclotomic cosets, for both the Euclidean and the Hermit… ▽ More Entanglement-assisted quantum error correcting codes (EAQECCs) constructed from Reed-Solomon codes and BCH codes are considered in this work. It is provided a complete and explicit formula for the parameters of EAQECCs coming from any Reed-Solomon code, for the Hermitian metric, and from any BCH code with extension degree $2$ and consecutive cyclotomic cosets, for both the Euclidean and the Hermitian metric. The main task in this work is the computation of a completely general formula for $c$, the minimum number of required maximally entangled quantum states. △ Less

Submitted 10 April, 2021; v1 submitted 2 July, 2020; originally announced July 2020.

MSC Class: 81P70 (Primary) 94B05 (Secondary)

Journal ref: Quantum Information Processing 20, 158 (2021)

Braided zesting and its applications

Authors: Colleen Delaney, César Galindo, Julia Plavnik, Eric C. Rowell, Qing Zhang

Abstract: We give a rigorous development of the construction of new braided fusion categories from a given category known as zesting. This method has been used in the past to provide categorifications of new fusion rule algebras, modular data, and minimal modular extensions of super-modular categories. Here we provide a complete obstruction theory and parameterization approach to the construction and illust… ▽ More We give a rigorous development of the construction of new braided fusion categories from a given category known as zesting. This method has been used in the past to provide categorifications of new fusion rule algebras, modular data, and minimal modular extensions of super-modular categories. Here we provide a complete obstruction theory and parameterization approach to the construction and illustrate its utility with several examples. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Comments: 54 pages

Asymmetric entanglement-assisted quantum error-correcting codes and BCH codes

Authors: Carlos Galindo, Fernando Hernando, Ryutaroh Matsumoto, Diego Ruano

Abstract: The concept of asymmetric entanglement-assisted quantum error-correcting code (asymmetric EAQECC) is introduced in this article. Codes of this type take advantage of the asymmetry in quantum errors since phase-shift errors are more probable than qudit-flip errors. Moreover, they use pre-shared entanglement between encoder and decoder to simplify the theory of quantum error correction and increase… ▽ More The concept of asymmetric entanglement-assisted quantum error-correcting code (asymmetric EAQECC) is introduced in this article. Codes of this type take advantage of the asymmetry in quantum errors since phase-shift errors are more probable than qudit-flip errors. Moreover, they use pre-shared entanglement between encoder and decoder to simplify the theory of quantum error correction and increase the communication capacity. Thus, asymmetric EAQECCs can be constructed from any pair of classical linear codes over an arbitrary field. Their parameters are described and a Gilbert-Varshamov bound is presented. Explicit parameters of asymmetric EAQECCs from BCH codes are computed and examples exceeding the introduced Gilbert-Varshamov bound are shown. △ Less

Submitted 14 January, 2020; v1 submitted 22 November, 2019; originally announced November 2019.

MSC Class: 81P70 (Primary); 94B65; 94B05 (Secondary)

Journal ref: IEEE Access, vol.8, pp.18571-18579, January 2020

Locally recoverable $J$-affine variety codes

Authors: Carlos Galindo, Fernando Hernando, Carlos Munuera

Abstract: A locally recoverable (LRC) code is a code over a finite field $\mathbb{F}_q$ such that any erased coordinate of a codeword can be recovered from a small number of other coordinates in that codeword. We construct LRC codes correcting more than one erasure, which are subfield-subcodes of some $J$-affine variety codes. For these LRC codes, we compute localities $(r, δ)$ that determine the minimum si… ▽ More A locally recoverable (LRC) code is a code over a finite field $\mathbb{F}_q$ such that any erased coordinate of a codeword can be recovered from a small number of other coordinates in that codeword. We construct LRC codes correcting more than one erasure, which are subfield-subcodes of some $J$-affine variety codes. For these LRC codes, we compute localities $(r, δ)$ that determine the minimum size of a set $\bar{R}$ of positions so that any $δ- 1$ erasures in $\bar{R}$ can be recovered from the remaining $r$ coordinates in this set. We also show that some of these LRC codes with lengths $n\gg q$ are $(δ-1)$-optimal. △ Less

Submitted 11 March, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

MSC Class: 94B05 94B20 11T71

Journal ref: Finite Fields and Their Applications 64 (2020)

Discrete equivalence of non-positive at infinity plane valuations

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila

Abstract: Non-positive at infinity valuations are a class of real plane valuations which have a nice geometrical behavior. They are divided in three types. We study the dual graphs of non-positive at infinity valuations and give an algorithm for obtaining them. Moreover we compare these graphs attending the type of their corresponding valuation. Non-positive at infinity valuations are a class of real plane valuations which have a nice geometrical behavior. They are divided in three types. We study the dual graphs of non-positive at infinity valuations and give an algorithm for obtaining them. Moreover we compare these graphs attending the type of their corresponding valuation. △ Less

Submitted 15 November, 2019; originally announced November 2019.

MSC Class: 14C20; 14E15; 13A18

Journal ref: Results in Mathematics. Volume 76, article number 76 (2021)

Seshadri-type constants and Newton-Okounkov bodies for non-positive at infinity valuations of Hirzebruch surfaces

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila

Abstract: We consider flags $E_\bullet=\{X\supset E\supset \{q\}\}$, where $E$ is an exceptional divisor defining a non-positive at infinity divisorial valuation $ν_E$ of a Hirzebruch surface $\mathbb{F}_δ$ and $X$ the surface given by $ν_E,$ and determine an analogue of the Seshadri constant for pairs $(ν_E,D)$, $D$ being a big divisor on $\mathbb{F}_δ$. The main result is an explicit computation of the ve… ▽ More We consider flags $E_\bullet=\{X\supset E\supset \{q\}\}$, where $E$ is an exceptional divisor defining a non-positive at infinity divisorial valuation $ν_E$ of a Hirzebruch surface $\mathbb{F}_δ$ and $X$ the surface given by $ν_E,$ and determine an analogue of the Seshadri constant for pairs $(ν_E,D)$, $D$ being a big divisor on $\mathbb{F}_δ$. The main result is an explicit computation of the vertices of the Newton-Okounkov bodies of pairs $(E_\bullet,D)$ as above, showing that they are quadrilaterals or triangles and distinguishing one case from another. △ Less

Submitted 15 January, 2021; v1 submitted 9 May, 2019; originally announced May 2019.

MSC Class: 14C20; 14E15; 13A18

Journal ref: Quaestiones Mathematicae. Volume 46, Issue 11, pages 2367-2401 (2023)

Entanglement-assisted quantum error-correcting codes over arbitrary finite fields

Authors: Carlos Galindo, Fernando Hernando, Ryutaroh Matsumoto, Diego Ruano

Abstract: We prove that the known formulae for computing the optimal number of maximally entangled pairs required for entanglement-assisted quantum error-correcting codes (EAQECCs) over the binary field hold for codes over arbitrary finite fields as well. We also give a Gilbert-Varshamov bound for EAQECCs and constructions of EAQECCs coming from punctured self-orthogonal linear codes which are valid for any… ▽ More We prove that the known formulae for computing the optimal number of maximally entangled pairs required for entanglement-assisted quantum error-correcting codes (EAQECCs) over the binary field hold for codes over arbitrary finite fields as well. We also give a Gilbert-Varshamov bound for EAQECCs and constructions of EAQECCs coming from punctured self-orthogonal linear codes which are valid for any finite field. △ Less

Submitted 27 January, 2021; v1 submitted 13 December, 2018; originally announced December 2018.

MSC Class: 81P70; 94B65; 94B05

Journal ref: Quantum Information Processing, vol.18, article ID 116, April 2019

Non-positive and negative at infinity divisorial valuations of Hirzebruch surfaces

Authors: Carlos Galindo, Francisco Monserrat, Carlos-Jesús Moreno-Ávila

Abstract: We consider rational surfaces $Z$ defined by divisorial valuations $ν$ of Hirzebruch surfaces. We introduce the concepts of non-positivity and negativity at infinity for these valuations and prove that these concepts admit nice local and global equivalent conditions. In particular we prove that, when $ν$ is non-positive at infinity, the extremal rays of the cone of curves of $Z$ can be explicitly… ▽ More We consider rational surfaces $Z$ defined by divisorial valuations $ν$ of Hirzebruch surfaces. We introduce the concepts of non-positivity and negativity at infinity for these valuations and prove that these concepts admit nice local and global equivalent conditions. In particular we prove that, when $ν$ is non-positive at infinity, the extremal rays of the cone of curves of $Z$ can be explicitly given. △ Less

Submitted 14 December, 2018; v1 submitted 27 November, 2018; originally announced November 2018.

MSC Class: 14C20; 14E15; 13A18

Journal ref: Revista Matemática Complutense. Volume 33, pages 349-372 (2020)

On the computation of Darboux first integrals of a class of planar polynomial vector fields

Authors: A. Ferragut, C. Galindo, F. Monserrat

Abstract: We study the class of planar polynomial vector fields admitting Darboux first integrals of the type $\prod_{i=1}^r f_i^{α_i}$, where the $α_i$'s are positive real numbers and the $f_i$'s are polynomials defining curves with only one place at infinity. We show that these vector fields have an extended reduction procedure and give an algorithm which, from a part of the extended reduction of the vect… ▽ More We study the class of planar polynomial vector fields admitting Darboux first integrals of the type $\prod_{i=1}^r f_i^{α_i}$, where the $α_i$'s are positive real numbers and the $f_i$'s are polynomials defining curves with only one place at infinity. We show that these vector fields have an extended reduction procedure and give an algorithm which, from a part of the extended reduction of the vector field, computes a Darboux first integral for generic exponents. △ Less

Submitted 10 August, 2018; originally announced August 2018.

MSC Class: 34A34; 34C05; 34C08; 14C21

Five-term exact sequence for Kac cohomology

Authors: César Galindo, Yiby Morales

Abstract: We use relative group cohomologies to compute the Kac cohomology of matched pairs of finite groups. This cohomology naturally appears in the theory of abelian extensions of finite dimensional Hopf algebras. We prove that Kac cohomology can be computed using relative cohomology and relatively projective resolutions. This allows us to use other resolutions, besides the bar resolution, for computatio… ▽ More We use relative group cohomologies to compute the Kac cohomology of matched pairs of finite groups. This cohomology naturally appears in the theory of abelian extensions of finite dimensional Hopf algebras. We prove that Kac cohomology can be computed using relative cohomology and relatively projective resolutions. This allows us to use other resolutions, besides the bar resolution, for computations. We compute, in terms of relative cohomology, the first two pages of a spectral sequence which converges to the Kac cohomology and its associated five-term exact sequence. Through several examples, we show the usefulness of the five-term exact sequence in computing groups of abelian extensions. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 22 pages

Journal ref: Alg. Number Th. 13 (2019) 1121-1144

On invariants of Modular categories beyond modular data

Authors: Parsa Bonderson, Colleen Delaney, César Galindo, Eric C. Rowell, Alan Tran, Zhenghan Wang

Abstract: We study novel invariants of modular categories that are beyond the modular data, with an eye towards a simple set of complete invariants for modular categories. Our focus is on the $W$-matrix--the quantum invariant of a colored framed Whitehead link from the associated TQFT of a modular category. We prove that the $W$-matrix and the set of punctured $S$-matrices are strictly beyond the modular da… ▽ More We study novel invariants of modular categories that are beyond the modular data, with an eye towards a simple set of complete invariants for modular categories. Our focus is on the $W$-matrix--the quantum invariant of a colored framed Whitehead link from the associated TQFT of a modular category. We prove that the $W$-matrix and the set of punctured $S$-matrices are strictly beyond the modular data $(S,T)$. Whether or not the triple $(S,T,W)$ constitutes a complete invariant of modular categories remains an open question. △ Less

Submitted 11 June, 2018; v1 submitted 15 May, 2018; originally announced May 2018.

Comments: 24 pages; references to arXiv:1606.04378 and arXiv:1806.02843 are added

Reflection fusion categories

Authors: Pavel Etingof, César Galindo

Abstract: We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields… ▽ More We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields to classify irreducible reflection fusion categories. △ Less

Submitted 16 April, 2018; v1 submitted 14 March, 2018; originally announced March 2018.

Comments: 27 pages: references to MR2674592 and arXiv:0005291 are added

Variable stars in NGC 4147 revisited: RR Lyrae stars new CCD VI photometry and physical parameters

Authors: A. Arellano Ferro, F. C. Rojas Galindo, S. Muneer, Sunetra Giridhar

Abstract: We have calculated the physical parameters of the RR Lyrae stars in the globular cluster NGC~4147 via the Fourier decomposition of their light curves, using new data and well-established semi-empirical calibrations and zero points. The mean metallicity and distance estimated using the RRc stars are [Fe/H]$_{ZW}=-1.72\pm0.15$ and $19.05\pm0.46$ kpc respectively. The star V18, whose variability has… ▽ More We have calculated the physical parameters of the RR Lyrae stars in the globular cluster NGC~4147 via the Fourier decomposition of their light curves, using new data and well-established semi-empirical calibrations and zero points. The mean metallicity and distance estimated using the RRc stars are [Fe/H]$_{ZW}=-1.72\pm0.15$ and $19.05\pm0.46$ kpc respectively. The star V18, whose variability has been previously in dispute, is confirmed to be a variable of the SR type with a period of about 24.8d, and it has been used to get and independent distance estimate of the cluster. It is observed that the RRab and RRc stars do not share the inter-mode region in the horizontal branch. The cluster can be classified as of intermediate Oosterhoff type. Its horizontal branch structure and metallicity make a good case for extragalactic origin. It follows the distribution of Oo~I type globular clusters in the $M_V-$[Fe/H] plane, as depicted from the RRc stars. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 7 pages, 5 tables, 4 figures. arXiv admin note: text overlap with arXiv:1709.00044

Acyclic anyon models, thermal anyon error corrections, and braiding universality

Authors: César Galindo, Eric C. Rowell, Zhenghan Wang

Abstract: Acyclic anyon models are non-abelian anyon models for which thermal anyon errors can be corrected. In this note, we characterize acyclic anyon models and raise the question if the restriction to acyclic anyon models is a deficiency of the current protocol or could it be intrinsically related to the computational power of non-abelian anyons. We also obtain general results on acyclic anyon models an… ▽ More Acyclic anyon models are non-abelian anyon models for which thermal anyon errors can be corrected. In this note, we characterize acyclic anyon models and raise the question if the restriction to acyclic anyon models is a deficiency of the current protocol or could it be intrinsically related to the computational power of non-abelian anyons. We also obtain general results on acyclic anyon models and find new acyclic anyon models such as $SO(8)_2$ and untwisted Dijkgraaf-Witten theories of nilpotent finite groups. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Comments: 7 pages, 1 figure

Categorical Fermionic actions and minimal modular extensions

Authors: César Galindo, César F. Venegas-Ramírez

Abstract: The purpose of this paper is to study minimal modular extensions of braided fusion categories doing emphases in minimal modular extensions of super-Tannakian fusion categories. We define actions of finite super-groups on fermionic fusion categories and spin-braided fusion categories. Similar to the case of groups, our motivation came from the study of fusion categories containing the representatio… ▽ More The purpose of this paper is to study minimal modular extensions of braided fusion categories doing emphases in minimal modular extensions of super-Tannakian fusion categories. We define actions of finite super-groups on fermionic fusion categories and spin-braided fusion categories. Similar to the case of groups, our motivation came from the study of fusion categories containing the representation category of a super-group. We develop many analog results to the Tannakian case, including cohomological obstructions, relation with braided $G$-crossed categories and minimal modular extensions. We apply the general results to the construction and classification of minimal modular extensions of super-groups and braided fusion categories. In particular, we exhibit some examples of braided fusion categories without minimal modular extensions. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Comments: 39 pages. Comments welcomed

Quasi-Cyclic Constructions of Quantum Codes

Authors: Carlos Galindo, Fernando Hernando, Ryutaroh Matsumoto

Abstract: We give sufficient conditions for self-orthogonality with respect to symplectic, Euclidean and Hermitian inner products of a wide family of quasi-cyclic codes of index two. We provide lower bounds for the symplectic weight and the minimum distance of the involved codes. Supported in the previous results, we show algebraic constructions of good quantum codes and determine their parameters. We give sufficient conditions for self-orthogonality with respect to symplectic, Euclidean and Hermitian inner products of a wide family of quasi-cyclic codes of index two. We provide lower bounds for the symplectic weight and the minimum distance of the involved codes. Supported in the previous results, we show algebraic constructions of good quantum codes and determine their parameters. △ Less

Submitted 19 December, 2017; originally announced December 2017.

MSC Class: 94B65; 94B15; 81P70

Journal ref: Finite Fields and Their Applications, vol.52, pp.261-280, July 2018

Classical and Quantum Evaluation Codes at the Trace Roots

Authors: Carlos Galindo, Fernando Hernando, Diego Ruano

Abstract: We introduce a new class of evaluation linear codes by evaluating polynomials at the roots of a suitable trace function. We give conditions for self-orthogonality of these codes and their subfield-subcodes with respect to the Hermitian inner product. They allow us to construct stabilizer quantum codes over several finite fields which substantially improve the codes in the literature and that are r… ▽ More We introduce a new class of evaluation linear codes by evaluating polynomials at the roots of a suitable trace function. We give conditions for self-orthogonality of these codes and their subfield-subcodes with respect to the Hermitian inner product. They allow us to construct stabilizer quantum codes over several finite fields which substantially improve the codes in the literature and that are records at [http://www.codetables.de] for the binary case. Moreover, we obtain several classical linear codes over the field $\mathbb{F}_4$ which are records at [http://www.codetables.de]. △ Less

Submitted 2 November, 2017; v1 submitted 5 October, 2017; originally announced October 2017.

Journal ref: IEEE Transactions on Information Theory. Volume 65, Issue 4, pages 2593-2602 (2019)

New binary and ternary LCD codes

Authors: Carlos Galindo, Olav Geil, Fernando Hernando, Diego Ruano

Abstract: LCD codes are linear codes with important cryptographic applications. Recently, a method has been presented to transform any linear code into an LCD code with the same parameters when it is supported on a finite field with cardinality larger than 3. Hence, the study of LCD codes is mainly open for binary and ternary fields. Subfield-subcodes of $J$-affine variety codes are a generalization of BCH… ▽ More LCD codes are linear codes with important cryptographic applications. Recently, a method has been presented to transform any linear code into an LCD code with the same parameters when it is supported on a finite field with cardinality larger than 3. Hence, the study of LCD codes is mainly open for binary and ternary fields. Subfield-subcodes of $J$-affine variety codes are a generalization of BCH codes which have been successfully used for constructing good quantum codes. We describe binary and ternary LCD codes constructed as subfield-subcodes of $J$-affine variety codes and provide some new and good LCD codes coming from this construction. △ Less

Submitted 23 October, 2017; v1 submitted 30 September, 2017; originally announced October 2017.

Journal ref: IEEE Transactions on Information Theory. Volume 65, Issue 2, pages 1008-1016 (2019)

Pointed finite tensor categories over abelian groups

Authors: Iván Angiono, César Galindo

Abstract: We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of finite-dimensional pointed Hopf algebras over abelian groups only in terms of the (cohomology class of the) associator of the pointed part. As an application we prove that every coradically graded pointed finite braided tensor category is a de-equivariantization of a finite dimensional pointed Hopf… ▽ More We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of finite-dimensional pointed Hopf algebras over abelian groups only in terms of the (cohomology class of the) associator of the pointed part. As an application we prove that every coradically graded pointed finite braided tensor category is a de-equivariantization of a finite dimensional pointed Hopf algebras over an abelian group. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: 16 pages

Journal ref: Internat. J. Math. 28 (2017), no. 11, 1750087, 18 pp

Braid Group Representations from Braiding Gapped Boundaries of Dijkgraaf-Witten Theories

Authors: Nicolás Escobar-Velásquez, César Galindo, Zhenghan Wang

Abstract: We study representations of the braid groups from braiding gapped boundaries of Dijkgraaf-Witten theories and their twisted generalizations, which are (twisted) quantum doubled topological orders in two spatial dimensions. We show that the resulting braid (pure braid) representations are all monomial with respect to some specific bases, hence all such representation images of the braid groups are… ▽ More We study representations of the braid groups from braiding gapped boundaries of Dijkgraaf-Witten theories and their twisted generalizations, which are (twisted) quantum doubled topological orders in two spatial dimensions. We show that the resulting braid (pure braid) representations are all monomial with respect to some specific bases, hence all such representation images of the braid groups are finite groups. We give explicit formulas for the monomial matrices and the ground state degeneracy of the Kitaev models that are Hamiltonian realizations of Dijkgraaf-Witten theories. Our results imply that braiding gapped boundaries alone cannot provide universal gate sets for topological quantum computing with gapped boundaries. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 13 pages

Classification of super-modular categories by rank

Authors: Paul Bruillard, César Galindo, Siu-Hung Ng, Julia Yael Plavnik, Eric C. Rowell, Zhenghan Wang

Abstract: We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is f… ▽ More We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae. △ Less

Submitted 23 May, 2017; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 18 pages

Newton-Okounkov bodies of exceptional curve valuations

Authors: Carlos Galindo, Francisco Monserrat, Julio José Moyano-Fernández, Matthias Nickel

Abstract: We prove that the Newton-Okounkov body of the flag $E_{\bullet}:= \left\{ X=X_r \supset E_r \supset \{q\} \right\}$, defined by the surface $X$ and the exceptional divisor $E_r$ given by any divisorial valuation of the complex projective plane $\mathbb{P}^2$, with respect to the pull-back of the line-bundle $\mathcal{O}_{\mathbb{P}^2} (1)$ is either a triangle or a quadrilateral, characterizing wh… ▽ More We prove that the Newton-Okounkov body of the flag $E_{\bullet}:= \left\{ X=X_r \supset E_r \supset \{q\} \right\}$, defined by the surface $X$ and the exceptional divisor $E_r$ given by any divisorial valuation of the complex projective plane $\mathbb{P}^2$, with respect to the pull-back of the line-bundle $\mathcal{O}_{\mathbb{P}^2} (1)$ is either a triangle or a quadrilateral, characterizing when it is a triangle or a quadrilateral. We also describe the vertices of that figure. Finally, we introduce a large family of flags for which we determine explicitly their Newton-Okounkov bodies which turn out to be triangular. △ Less

Submitted 23 May, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 30 pages, 11 figures. V2: The terminology "infinitely singular valuations" used in the first version has been just replaced with the more customary "exceptional curve valuations" (it is simply a matter of denomination)

MSC Class: 14C20; 14E15; 13A18

Group actions on 2-categories

Authors: Eugenia Bernaschini, César Galindo, Martín Mombelli

Abstract: We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonat… ▽ More We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonatural transformation and modification. Our first main result is a coherence theorem for 2-categories with an action of a group. For a 2-category B with an action of a group G, we construct a braided G-crossed monoidal category Z_G(B) with trivial component the Drinfeld center of B. We prove that, in the case of a G-action on the 2-category of representation of a tensor category C, the 2-category of equivariant objects is biequivalent to the module categories over an associated G-extension of C. Finally, we prove that the center of the equivariant 2-category is monoidally equivalent to the equivariantization of a relative center, generalizing results obtained in [S. Gelaki, D. Naidu and D. Nikshych, Centers of graded fusion categories, Algebra Number Theory 3, No. 8 (2009), 959--990.] △ Less

Submitted 8 February, 2017; originally announced February 2017.

Comments: 33 pages

MSC Class: 18D05; 18D10

On the distance of stabilizer quantum codes from $J$-affine variety codes

Authors: Carlos Galindo, Olav Geil, Fernando Hernando, Diego Ruano

Abstract: Self-orthogonal $J$-affine variety codes have been successfully used to obtain quantum stabilizer codes with excellent parameters. In a previous paper we gave formulae for the dimension of this family of quantum codes, but no bound for the minimum distance was given. In this work, we show how to derive quantum stabilizer codes with designed minimum distance from $J$-affine variety codes and their… ▽ More Self-orthogonal $J$-affine variety codes have been successfully used to obtain quantum stabilizer codes with excellent parameters. In a previous paper we gave formulae for the dimension of this family of quantum codes, but no bound for the minimum distance was given. In this work, we show how to derive quantum stabilizer codes with designed minimum distance from $J$-affine variety codes and their subfield-subcodes. Moreover, this allows us to obtain new quantum codes, some of them either, with better parameters, or with larger distances than the previously known codes. △ Less

Submitted 26 October, 2016; v1 submitted 25 October, 2016; originally announced October 2016.

Journal ref: Quantum Information Processing. Volume 16, Issue 4, 16:111 (2017)

Improved constructions of nested code pairs

Authors: Carlos Galindo, Olav Geil, Fernando Hernando, Diego Ruano

Abstract: Two new constructions of linear code pairs $C_2 \subset C_1$ are given for which the codimension and the relative minimum distances $M_1(C_1,C_2)$, $M_1(C_2^\perp,C_1^\perp)$ are good. By this we mean that for any two out of the three parameters the third parameter of the constructed code pair is large. Such pairs of nested codes are indispensable for the determination of good linear ramp secret s… ▽ More Two new constructions of linear code pairs $C_2 \subset C_1$ are given for which the codimension and the relative minimum distances $M_1(C_1,C_2)$, $M_1(C_2^\perp,C_1^\perp)$ are good. By this we mean that for any two out of the three parameters the third parameter of the constructed code pair is large. Such pairs of nested codes are indispensable for the determination of good linear ramp secret sharing schemes [35]. They can also be used to ensure reliable communication over asymmetric quantum channels [47]. The new constructions result from carefully applying the Feng-Rao bounds [18,27] to a family of codes defined from multivariate polynomials and Cartesian product point sets. △ Less

Submitted 18 July, 2017; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 36 pages

MSC Class: 11T71; 14G50; 94B27; 94B65;

Journal ref: IEEE Transactions on Information Theory. Volume 64, Issue 4, pages 2444-2459 (2018)

Minimal plane valuations

Authors: Carlos Galindo, Francisco Monserrat, Julio José Moyano-Fernández

Abstract: We consider the last value $\hatμ (ν)$ of the vanishing sequence of $H^0(L)$ along a divisorial or irrational valuation $ν$ centered at $\mathcal{O}_{\mathbb{P}^2,p}$, where $L$ resp. $p$ is a line resp. a point of the projective plane $\mathbb{P}^2$ over an algebraically closed field. This value contains, for valuations, similar information as that given by Seshadri constants for points. It is al… ▽ More We consider the last value $\hatμ (ν)$ of the vanishing sequence of $H^0(L)$ along a divisorial or irrational valuation $ν$ centered at $\mathcal{O}_{\mathbb{P}^2,p}$, where $L$ resp. $p$ is a line resp. a point of the projective plane $\mathbb{P}^2$ over an algebraically closed field. This value contains, for valuations, similar information as that given by Seshadri constants for points. It is always true that $\hatμ (ν) \geq \sqrt{1 / \mathrm{vol}(ν)}$ and minimal valuations are those satisfying the equality. In this paper, we prove that the Greuel-Lossen-Shustin Conjecture implies a variation of the Nagata Conjecture involving minimal valuations (that extends the one stated in the paper "Very general monomial valuations of $\mathbb{P}^2$ and a Nagata type conjecture" by Dumnicki et al. to the whole set of divisorial and irrational valuations of the projective plane) which also implies the original one. We also provide infinitely many families of very general minimal valuations with an arbitrary number of Puiseux exponents, and an asymptotic result that can be considered as an evidence in the direction of the mentioned conjecture by Dumnicki et al. △ Less

Submitted 10 May, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 25 pages. V2: Introduction has been rewritten, it includes now in a explicit way the statements of the main results. Moreover, some observations have been added in Section 3. V3: Minor corrections have been done

MSC Class: 14B05; 14C20; 13A18; 16W60

Solutions of the hexagon equation for abelian anyons

Authors: César Galindo, Nicolás Jaramillo Torres

Abstract: We address the problem of determining the obstruction to the existence of solutions of the hexagon equation for abelian fusion rules and the classification of prime abelian anyons. We address the problem of determining the obstruction to the existence of solutions of the hexagon equation for abelian fusion rules and the classification of prime abelian anyons. △ Less

Submitted 9 March, 2022; v1 submitted 4 June, 2016; originally announced June 2016.

Comments: Final version. Contains several corrections. Remark Theorem 5.4, Remark 4.2

Hopf braces and Yang-Baxter operators

Authors: I. Angiono, C. Galindo, L. Vendramin

Abstract: This paper introduces Hopf braces, a new algebraic structure related to the Yang-Baxter equation which include Rump's braces and their non-commutative generalizations as particular cases. Several results of classical braces are still valid in our context. Furthermore, Hopf braces provide the right setting for considering left symmetric algebras as Lie-theoretical analogs of braces. This paper introduces Hopf braces, a new algebraic structure related to the Yang-Baxter equation which include Rump's braces and their non-commutative generalizations as particular cases. Several results of classical braces are still valid in our context. Furthermore, Hopf braces provide the right setting for considering left symmetric algebras as Lie-theoretical analogs of braces. △ Less

Submitted 24 July, 2016; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 15 pages. Final version. Accepted for publication in Proc. Amer. Math. Soc

MSC Class: 16T05; 81R50

Journal ref: Proc. Amer. Math. Soc. 145 (2017), no. 5, 1981-1995