2,188 research outputs found
Vanishing ideals over graphs and even cycles
Let X be an algebraic toric set in a projective space over a finite field. We
study the vanishing ideal, I(X), of X and show some useful degree bounds for a
minimal set of generators of I(X). We give an explicit description of a set of
generators of I(X), when X is the algebraic toric set associated to an even
cycle or to a connected bipartite graph with pairwise disjoint even cycles. In
this case, a fomula for the regularity of I(X) is given. We show an upper bound
for this invariant, when X is associated to a (not necessarily connected)
bipartite graph. The upper bound is sharp if the graph is connected. We are
able to show a formula for the length of the parameterized linear code
associated with any graph, in terms of the number of bipartite and
non-bipartite components
Anyon exclusions statistics on surfaces with gapped boundaries
An anyon exclusion statistics, which generalizes the Bose-Einstein and
Fermi-Dirac statistics of bosons and fermions, was proposed by Haldane[1]. The
relevant past studies had considered only anyon systems without any physical
boundary but boundaries often appear in real-life materials. When fusion of
anyons is involved, certain `pseudo-species' anyons appear in the exotic
statistical weights of non-Abelian anyon systems; however, the meaning and
significance of pseudo-species remains an open problem. In this paper, we
propose an extended anyon exclusion statistics on surfaces with gapped
boundaries, introducing mutual exclusion statistics between anyons as well as
the boundary components. Motivated by Refs. [2, 3], we present a formula for
the statistical weight of many-anyon states obeying the proposed statistics. We
develop a systematic basis construction for non-Abelian anyons on any Riemann
surfaces with gapped boundaries. From the basis construction, we have a
standard way to read off a canonical set of statistics parameters and hence
write down the extended statistical weight of the anyon system being studied.
The basis construction reveals the meaning of pseudo-species. A pseudo-species
has different `excitation' modes, each corresponding to an anyon species. The
`excitation' modes of pseudo-species corresponds to good quantum numbers of
subsystems of a non-Abelian anyon system. This is important because often
(e.g., in topological quantum computing) we may be concerned about only the
entanglement between such subsystems.Comment: 36 pages, 14 figure
Algebraic Unimodular Counting
We study algebraic algorithms for expressing the number of non-negative
integer solutions to a unimodular system of linear equations as a function of
the right hand side. Our methods include Todd classes of toric varieties via
Gr\"obner bases, and rational generating functions as in Barvinok's algorithm.
We report polyhedral and computational results for two special cases: counting
contingency tables and Kostant's partition function.Comment: 21 page
A Combinatorial Commutative Algebra Approach to Complete Decoding
Esta tesis pretende explorar el nexo de unión que existe entre la estructura algebraica de un código lineal y el proceso de descodificación completa. Sabemos que el proceso de descodificación completa para códigos lineales arbitrarios es NP-completo, incluso si se admite preprocesamiento de los datos. Nuestro objetivo es realizar un análisis algebraico del proceso de la descodificación, para ello asociamos diferentes estructuras matemáticas a ciertas familias de códigos. Desde el punto de vista computacional, nuestra descripción no proporciona un algoritmo eficiente pues nos enfrentamos a un problema de naturaleza NP. Sin embargo, proponemos algoritmos alternativos y nuevas técnicas que permiten relajar las condiciones del problema reduciendo los recursos de espacio y tiempo necesarios para manejar dicha estructura algebraica.Departamento de Algebra, GeometrÃa y TopologÃ
On the ideal associated to a linear code
This article aims to explore the bridge between the algebraic structure of a
linear code and the complete decoding process. To this end, we associate a
specific binomial ideal to an arbitrary linear code. The
binomials involved in the reduced Gr\"obner basis of such an ideal relative to
a degree-compatible ordering induce a uniquely defined test-set for the code,
and this allows the description of a Hamming metric decoding procedure.
Moreover, the binomials involved in the Graver basis of
provide a universal test-set which turns out to be a set containing the set of
codewords of minimal support of the code
Toric degenerations of Grassmannians and Schubert varieties from matching field tableaux
We study the combinatorics of Gr\"obner degenerations of Grassmannians and
the Schubert varieties inside them. We provide a family of binomial ideals
whose combinatorics is governed by tableaux induced by matching fields in the
sense of Sturmfels and Zelevinsky. We prove that these ideals are all
quadratically generated and they yield a SAGBI basis of the Pl\"ucker algebra.
This leads to a new family of toric degenerations of Grassmannians. Moreover,
we apply our results to construct a family of Gr\"obner degenerations of
Schubert varieties inside Grassmannians. We provide a complete characterization
of toric ideals among these degenerations in terms of the combinatorics of
matching fields, permutations, and semi-standard tableaux
- …