Factorizations in numerical semigroup algebras

We study a numerical semigroup ring as an algebra over another numerical semigroup ring. The complete intersection property of numerical semigroup algebras is investigated using factorizations of monomials into minimal ones. The goal is to study whether a flat rectangular algebra is a complete intersection. Along this direction, special types of algebras generated by few monomials are worked out in detail.     

Numerical semigroups: Apéry sets and Hilbert series

Let a ₁,…,a _n be relatively prime positive integers, and let S be the semigroup consisting of all non-negative integer linear combinations of a ₁,…,a _n . In this paper, we focus our attention on AA-semigroups, that is semigroups being generated by almost arithmetic progressions. After some general considerations, we give a characterization of the symmetric AA-semigroups. We also present an efficient method to determine an Apéry set and the Hilbert series of an AA-semigroup. Dedicated to the memory of Ernst S. Selmer (1920–2006), whose calculations revealed the “Selmer group”.     

Every numerical semigroup is one half of a symmetric numerical semigroup

Let be a numerical semigroup. Then there exists a symmetric numerical semigroup such that .

     

A mathematical programming approach to the computation of the omega invariant of a numerical semigroup

In this paper we present a mathematical programming formulation for the ω-invariant of a numerical semigroup for each of its minimal generators which is an useful index in commutative algebra (in particular in factorization theory) to analyze the primality of the elements in the semigroup. The model consists of solving a problem of optimizing a linear function over the efficient set of a multiobjective linear integer program. We offer a methodology to solve this problem and we provide some computational experiments to show the efficiency of the proposed algorithm.     

Numerical semigroups with many gaps of the same parity

Let g _e (S) (respectively, g _o (S)) be the number of even (respectively, odd) gaps of a numerical semigroup S. In this work we study and characterize the numerical semigroups S that verify 2|g _e (S)−g _o (S)|+1∈S. As a consequence we will see that every numerical semigroup can be represented by means of a numerical semigroup with maximal embedding dimension with all its minimal generators odd. The first author is supported by the project MTM2007-62346 and FEDER funds. The authors want to thank P.A. García-Sánchez and the referee for their comments and suggestions.     

The arithmetic extensions of a numerical semigroup

Abstract

In this paper we introduce the notion of extension of a numerical semigroup. We provide a characterization of the numerical semigroups whose extensions are all arithmetic and we give an algorithm for the computation of the whole set of arithmetic extension of a given numerical semigroup. As by-product, new explicit formulas for the Frobenius number and the genus of proportionally modular semigroups are obtained.     

Type and conductor of simplicial affine semigroups

We provide a generalization of pseudo-Frobenius numbers of numerical semigroups to the context of the simplicial affine semigroups. In this way, we characterize the Cohen-Macaulay type of the simplicial affine semigroup ring $\mathbb{K}[S]$. We define the type of S, $\mathrm{type}(S)$, in terms of some Apéry sets of S and show that it coincides with the Cohen-Macaulay type of the semigroup ring, when $\mathbb{K}[S]$ is Cohen-Macaulay. If $\mathbb{K}[S]$ is a d-dimensional Cohen-Macaulay ring of embedding dimension at most $d+2$, then $\mathrm{type}(S)\le 2$. Otherwise, $\mathrm{type}(S)$ might be arbitrary large and it has no upper bound in terms of the embedding dimension. Finally, we present a generating set for the conductor of S as an ideal of its normalization.     

Characterizing the number of coloured m-ary partitions modulo m,with and without gaps

In a pair of recent papers, Andrews, Fraenkel and Sellers provide a complete characterization for the number of $m$-ary partitions modulo $m$, with and without gaps. In this paper we extend these results to the case of coloured $m$-ary partitions, with and without gaps. Our method of proof is different, giving explicit expansions for the generating functions modulo $m$.     

Measuring rates of convergence of numerical algorithms

We analyze the behavior of common indices used in numerical linear algebra, analysis, and optimization to measure rates of convergence of an algorithm. A simple consistent axiomatic structure is used to uniquely define convergence rate measures on the basic linear, superlinear, and sublinear scales in terms of standard comparison sequences. Agreement with previously utilized indices and related measures is discussed.This research was supported in part by grants from the Natural Sciences and Engineering Research Council of Canada.The authors are grateful to the referees for comments which improved an earlier draft.     

Counting numerical semigroups by genus and even gaps

Let $n_g$ be the number of numerical semigroups of genus $g$. We present an approach to compute $n_g$ by using even gaps, and the question: Is it true that $n_{g+1}>n_g$? is investigated. Let $N_{\gamma }\left(g\right)$ be the number of numerical semigroups of genus $g$ whose number of even gaps equals $\gamma$. We show that $N_{\gamma }\left(g\right)=N_{\gamma }\left(3\gamma \right)$ for $\gamma \le ?g∕3?$ and $N_{\gamma }\left(g\right)=0$ for $\gamma >?2g∕3?$; thus the question above is true provided that $N_{\gamma }(g+1)>N_{\gamma }\left(g\right)$ for $\gamma =?g∕3?+1,\dots ,?2g∕3?$. We also show that $N_{\gamma }\left(3\gamma \right)$ coincides with $f_{\gamma }$, the number introduced by Bras-Amorós (2012) in connection with semigroup-closed sets. Finally, the stronger possibility $f_{\gamma }～{\phi }^{2\gamma }$ arises being $\phi =(1+\sqrt{5})∕2$ the golden number.     

A numerical approach to the proof of existence of solutions for some generalized obstacle problems

In [8], we proposed some numerical verification methods for automatic proof of the existence of solution for obstacle problems. In this paper we propose a new iterative algorithm to automatically prove the existence of solutions for some generalized obstacle problems.     

Hilbertian convex feasibility problem: Convergence of projection methods

The classical problem of finding a point in the intersection of countably many closed and convex sets in a Hilbert space is considered. Extrapolated iterations of convex combinations of approximate projections onto subfamilies of sets are investigated to solve this problem. General hypotheses are made on the regularity of the sets and various strategies are considered to control the order in which the sets are selected. Weak and strong convergence results are established within thisbroad framework, which provides a unified view of projection methods for solving hilbertian convex feasibility problems. This work was supported by the National Science Foundation under Grant MIP-9308609.