Showing 1–14 of 14 results for author: Navarra, F

Generalized Numerical semigroups up to isomorphism

Authors: Carmelo Cisto, Gioia Failla, Francesco Navarra

Abstract: A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that identifies the monoids obtained by the action of a permutation and establishing a criterion to select a representative from each equivalence class, we define some pro… ▽ More A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that identifies the monoids obtained by the action of a permutation and establishing a criterion to select a representative from each equivalence class, we define some procedures for generating the set of all generalized numerical semigroups of given genus up to isomorphism. Finally, we present computational data and explore properties related to the number of generalized numerical semigroups of a given genus up to isomorphism. △ Less

Submitted 23 September, 2024; originally announced September 2024.

Comments: 18 pages

MSC Class: 20M14; 05A15; 11D07; 20-04

Journal ref: Communications in Algebra, 2025

Shellable flag simplicial complexes of non-simple polyominoes

Authors: Francesco Navarra

Abstract: In this article we investigate the shellability of the flag simplicial complexes attached to non-simple and thin polyominoes. As a consequence, we obtain the Cohen-Macaulayness and a combinatorial interepetation of the $h$-polynomial of the related coordinate rings. In this article we investigate the shellability of the flag simplicial complexes attached to non-simple and thin polyominoes. As a consequence, we obtain the Cohen-Macaulayness and a combinatorial interepetation of the $h$-polynomial of the related coordinate rings. △ Less

Submitted 10 February, 2025; v1 submitted 22 August, 2024; originally announced August 2024.

Comments: 27 pages, 13 figures. Forthcoming in the Bollettino dell'Unione Matematica Italiana - Special Collection: Second UMI Meeting of PhD Students, Selected Contributions. This article is devoted to celebrating the Second UMI Meeting of Doctoral Students, held in Naples on June 13-14, 2024 (https://umi.dm.unibo.it/secondo-dottorandi/)

MSC Class: 05B50; 05E40

On squarefree powers of simplicial trees

Authors: Elshani Kamberi, Francesco Navarra, Ayesha Asloob Qureshi

Abstract: In this article, we study the squarefree powers of facet ideals associated with simplicial trees. Specifically, we examine the linearity of their minimal free resolution and their regularity. Additionally, we investigate when the first syzygy module of squarefree powers of a simplicial tree is generated by linear relations. Finally, we provide a combinatorial formula for the regularity of the squa… ▽ More In this article, we study the squarefree powers of facet ideals associated with simplicial trees. Specifically, we examine the linearity of their minimal free resolution and their regularity. Additionally, we investigate when the first syzygy module of squarefree powers of a simplicial tree is generated by linear relations. Finally, we provide a combinatorial formula for the regularity of the squarefree powers of $t$-path ideals of path graphs. △ Less

Submitted 3 October, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: Any comments are welcome

PolyominoIdeals: a package for Macaulay2 to work with the inner $2$-minor ideals of collections of cells

Authors: Cisto Carmelo, Rizwan Jahangir, Francesco Navarra

Abstract: Let $\mathcal{P}$ be a collection of cells and $I_\mathcal{P}$ be the associated ideal of inner $2$-minors as defined by A. A. Qureshi in 2012. In this paper, we provide a description of the package $\texttt{PolyominoIdeals}$ for the computer algebra software $\texttt{Macaulay2}$. More precisely, this package provides some functions that allow to define the ideal $I_{\mathcal{P}}$ in… ▽ More Let $\mathcal{P}$ be a collection of cells and $I_\mathcal{P}$ be the associated ideal of inner $2$-minors as defined by A. A. Qureshi in 2012. In this paper, we provide a description of the package $\texttt{PolyominoIdeals}$ for the computer algebra software $\texttt{Macaulay2}$. More precisely, this package provides some functions that allow to define the ideal $I_{\mathcal{P}}$ in $\texttt{Macaulay2}$ and to compute its algebraic invariants or verifying its algebraic properties. We explain the usage of these functions and also give some examples. Refer to the tool provided in $\textit{https://rizwan.phd/polyo/}$ to get easier the desired input data for $\texttt{Macaulay2}$. △ Less

Submitted 7 May, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: In this draft we explain the usage of the package $\texttt{PolyominoIdeals}$ for $\texttt{Macaulay2}$ and we give some examples. Look at $\textit{https://rizwan.phd/polyo/}$ to get the input data for $\texttt{Macaulay2}$. In this initial phase, the aim is to provide some basic functions to study the polyomino ideals. Anyway the package is in progress and every contribution is very welcome as well!

MSC Class: 05B50; 05E40

On Cohen-Macaulay non-prime collections of cells

Authors: Carmelo Cisto, Rizwan Jahangir, Francesco Navarra

Abstract: In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein. In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein. △ Less

Submitted 1 March, 2025; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 26 pages, 16 figures. To appear in Communications in Algebra

MSC Class: 05B50; 05E40

Journal ref: Communications in Algebra, 2025

On the rook polynomial of grid polyominoes

Authors: Rodica Dinu, Francesco Navarra

Abstract: We investigate the algebraic properties of the coordinate ring of grid polyominoes. This class of non-simple and thin polyominoes was introduced by Mascia, Rinaldo, and Romeo, but not much is known about their polyomino ideals, $I_{\mathcal{P}}$, and their related coordinate ring, $K[\mathcal{P}]$. We give a formula for the Krull dimension of $K[\mathcal{P}]$ in terms of the combinatorics of the p… ▽ More We investigate the algebraic properties of the coordinate ring of grid polyominoes. This class of non-simple and thin polyominoes was introduced by Mascia, Rinaldo, and Romeo, but not much is known about their polyomino ideals, $I_{\mathcal{P}}$, and their related coordinate ring, $K[\mathcal{P}]$. We give a formula for the Krull dimension of $K[\mathcal{P}]$ in terms of the combinatorics of the polyomino and we prove that $I_{\mathcal{P}}$ is of König type if and only if the polyomino has exactly one hole. In addition, we study a Conjecture of Rinaldo and Romeo which characterizes the thin polyominoes, and we confirm it for grid polyominoes. Namely, in the main result of this article, we prove that the $h$-polynomial of $K[\mathcal{P}]$ is equal to the rook polynomial of $\mathcal{P}$, and, as a consequence, the Castelnuovo-Mumford regularity of $K[\mathcal{P}]$ is equal to $r(\mathcal{P})$, the maximum number of rooks that can be placed in $\mathcal{P}$ in non-attacking positions. Our method to prove this result is based on the theory of simplicial complexes. We provide a suitable shelling order for $Δ_{\mathcal{P}}$, the simplicial complex attached to $\mathcal{P}$ in relation to a generalized step of a facet, and we show that there is a one-to-one correspondence between the facets of $Δ_{\mathcal{P}}$ with $k$ generalized steps and the $k$-rook configurations in $\mathcal{P}$. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Comments: 28 pages, 42 figures. Comments are welcome!

MSC Class: 05B50; 05E40; 13C05; 13G05

Shellable simplicial complex and switching rook polynomial of frame polyominoes

Authors: Rizwan Jahangir, Francesco Navarra

Abstract: Let $\mathcal{P}$ be a frame polyomino, a new kind of non-simple polyomino. In this paper we study the $h$-polynomial of $K[\mathcal{P}]$ in terms of the switching rook polynomial of $\mathcal{P}$ using the shellable simplicial complex $Δ(\mathcal{P})$ attached to $\mathcal{P}$. We provide a suitable shelling order for $Δ(\mathcal{P})$ and we define a bijection between the set of the canonical con… ▽ More Let $\mathcal{P}$ be a frame polyomino, a new kind of non-simple polyomino. In this paper we study the $h$-polynomial of $K[\mathcal{P}]$ in terms of the switching rook polynomial of $\mathcal{P}$ using the shellable simplicial complex $Δ(\mathcal{P})$ attached to $\mathcal{P}$. We provide a suitable shelling order for $Δ(\mathcal{P})$ and we define a bijection between the set of the canonical configurations of $j$ rooks in $\mathcal{P}$ and the facets of $Δ(\mathcal{P})$ with $j$ steps. Finally we use a well-known combinatorial result, due to McMullen and Walkup, about the $h$-vector of a shellable simplicial complex to interpret the $h$-polynomial of $K[\mathcal{P}]$ as the switching rook polynomial of $\mathcal{P}$. △ Less

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

Comments: To appear in Journal of Pure and Applied Algebra. 26 pages, 19 figures

MSC Class: 05B50; 05E40

Polyocollection ideals and primary decomposition of polyomino ideals

Authors: Carmelo Cisto, Francesco Navarra, Dharm Veer

Abstract: In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can be used to compute a primary decomposition of non-prime polyomino ideals. Furthermore, we give a description of the minimal primary decomposition of non-prime c… ▽ More In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can be used to compute a primary decomposition of non-prime polyomino ideals. Furthermore, we give a description of the minimal primary decomposition of non-prime closed path polyominoes. In particular, for such a class of polyominoes, we characterize the set of all zig-zag walks and show that the minimal prime ideals have a very nice combinatorial description. △ Less

Submitted 27 November, 2023; v1 submitted 16 February, 2023; originally announced February 2023.

Comments: To appear in Journal of Algebra. 24 pages, 16 figures

MSC Class: 05B50; 05E40

On some classes of generalized numerical semigroups

Authors: Carmelo Cisto, Francesco Navarra

Abstract: A generalized numerical semigroup is a submonoid of $\mathbb{N}^d$ with finite complement in it. In this work we study some properties of three different classes of generalized numerical semigroups. In particular, we prove that the first class satisfies a generalization of Wilf's conjecture, by introducing a generalization of a well-known sufficient condition for Wilf's conjecture in numerical sem… ▽ More A generalized numerical semigroup is a submonoid of $\mathbb{N}^d$ with finite complement in it. In this work we study some properties of three different classes of generalized numerical semigroups. In particular, we prove that the first class satisfies a generalization of Wilf's conjecture, by introducing a generalization of a well-known sufficient condition for Wilf's conjecture in numerical semigroups, that involves the type of the semigroup. Partial results for Wilf's generalized conjecture are obtained also for the other two classes, and some open questions are provided. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 19 pages, 2 figures

MSC Class: 20M14; 11D07

Journal ref: An. St. Univ. Ovidius Constanta, Vol. 33(1), 153-175, 2025

Non-simple polyominoes of Kőnig type and their canonical module

Authors: Rodica Dinu, Francesco Navarra

Abstract: We study the Kőnig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of Kőnig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed… ▽ More We study the Kőnig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of Kőnig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed path polyominoes. In this case, we compute also the Cohen-Macaulay type and we show that $K[\mathcal{P}]$ is a level ring. △ Less

Submitted 6 March, 2025; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 25 pages, 25 figures. To appear in Journal of Algebra

MSC Class: 05B50; 05E40

Hilbert-Poincaré series and Gorenstein property for some non-simple polyominoes

Authors: Carmelo Cisto, Francesco Navarra, Rosanna Utano

Abstract: Let $\mathcal{P}$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[\mathcal{P}]$, showing that it is the rook polynomial of $\mathcal{P}$. It is known by Rinaldo and Romeo (2021), that if $\mathcal{P}$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of… ▽ More Let $\mathcal{P}$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[\mathcal{P}]$, showing that it is the rook polynomial of $\mathcal{P}$. It is known by Rinaldo and Romeo (2021), that if $\mathcal{P}$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of $\mathcal{P}$ and it is conjectured that this property characterizes all thin polyominoes. Our main demonstrative strategy is to compute the reduced Hilbert-Poincaré series of the coordinate ring attached to a closed path $\mathcal{P}$ having no zig-zag walks, as a combination of the Hilbert-Poincaré series of convenient simple thin polyominoes. As a consequence we prove that the Krull dimension is equal to $\vert V(\mathcal{P})\vert -\mathrm{rank}\, \mathcal{P}$ and the regularity of $K[\mathcal{P}]$ is the rook number of $\mathcal{P}$. Finally we characterize the Gorenstein prime closed paths, proving that $K[\mathcal{P}]$ is Gorenstein if and only if $\mathcal{P}$ consists of maximal blocks of length three. △ Less

Submitted 4 January, 2023; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 21 pages, 8 figures

MSC Class: 05B50; 05E40; 13C05; 13G05

Journal ref: Bulletin of the Iranian Mathematical Society, \textbf{49}, 22 (2023)

On Gröbner bases and Cohen-Macaulay property of closed path polyominoes

Authors: Carmelo Cisto, Francesco Navarra, Rosanna Utano

Abstract: In this paper we introduce some monomial orders for the class of closed path polyominoes and we prove that the set of the generators of the polyomino ideal attached to a closed path forms the reduced Gröbner basis with respect to these monomial orders. It is known that the polyomino ideal attached to a closed path containing an L-configuration or a ladder of at least three steps, equivalently havi… ▽ More In this paper we introduce some monomial orders for the class of closed path polyominoes and we prove that the set of the generators of the polyomino ideal attached to a closed path forms the reduced Gröbner basis with respect to these monomial orders. It is known that the polyomino ideal attached to a closed path containing an L-configuration or a ladder of at least three steps, equivalently having no zig-zag walks, is prime. As a consequence, we obtain that the coordinate ring of a closed path having no zig-zag walks is a normal Cohen-Macaulay domain. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: 18 pages, 20 figures

MSC Class: 05B50; 05E40; 13C05; 13G05; 13C14

Journal ref: The Electronic Journal of Combinatorics, 29 (2022)

Primality of weakly connected collections of cells and weakly closed path polyominoes

Authors: Carmelo Cisto, Francesco Navarra, Rosanna Utano

Abstract: In this paper we study the primality of weakly connected collections of cells, showing that the ideal generated by inner 2-minors attached to a weakly connected and simple collection of cells is the toric ideal of the edge ring of a weakly chordal bipartite graph. As an application of this result we characterize the primality of the polyomino ideals of weakly closed paths, a new class of non simpl… ▽ More In this paper we study the primality of weakly connected collections of cells, showing that the ideal generated by inner 2-minors attached to a weakly connected and simple collection of cells is the toric ideal of the edge ring of a weakly chordal bipartite graph. As an application of this result we characterize the primality of the polyomino ideals of weakly closed paths, a new class of non simple polyominoes. △ Less

Submitted 29 August, 2022; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: To appear in Illinois Journal of Mathematics. 20 pages, 16 figures

MSC Class: 05B50; 05E40; 13C05; 13G05

Primality of closed path polyominoes

Authors: Carmelo Cisto, Francesco Navarra

Abstract: In this paper we introduce a new class of polyominoes, called closed paths, and we study the primality of their associated ideal. Inspired by an existing conjecture that characterizes the primality of a polyomino ideal by nonexistence of zig-zag walks, we classify all closed paths which do not contain zig-zag walks, and we give opportune toric representations of the associated ideals. To support t… ▽ More In this paper we introduce a new class of polyominoes, called closed paths, and we study the primality of their associated ideal. Inspired by an existing conjecture that characterizes the primality of a polyomino ideal by nonexistence of zig-zag walks, we classify all closed paths which do not contain zig-zag walks, and we give opportune toric representations of the associated ideals. To support the conjecture we prove that having no zig-zag walks is a necessary and sufficient condition for the primality of the associated ideal of a closed path. Finally, we present some classes of prime polyominoes viewed as generalizations of closed paths. △ Less

Submitted 25 November, 2021; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: To appear in Journal of Algebra and its Applications

MSC Class: 05B50; 05E40; 13C05; 13G05