Searcharxiv⌕ Search

arXiv subjects

Mehrdad Nasernejad

Publications and source records attributed to Mehrdad Nasernejad.

18 recordsLinked to original sources
arXiv2026

Associated primes, witnesses, and omega invariants of monomial ideals

We introduce and study the omega invariant of a proper ideal in a Noetherian commutative ring, defined as the number of associated primes of the ideal. Our main objective is to investigate this invariant for monomial ideals and their powers. We characterize associated primes through monomial witnesses and provide an algorithmic procedure for constructing such witnesses from the exponent vectors of the minimal generators. These results lead to explicit formulas and bounds for the omega invariant without requiring the computation of a primary decomposition. We further establish alternative descriptions using irreducible decompositions and Alexander duality. A matrix-based approach is developed to detect associated primes of powers of monomial ideals directly from the exponent matrix of the original ideal. We also investigate the behavior of witnesses under passage from $I^n$ to $I^{n+1}$ and derive corresponding results for edge ideals of graphs.

math.AC↗
arXiv2026

Linear representation of groups associated to graphs

In this article, we introduce a group linear representation associated to a graph. We study this representation as well as the canonical decomposition of the associated module. A character study is conducted, demonstrating the relevance of this approach to graph theory. We also develop the links that exist between algebra and graphs, particularly in the language of representations.

math.RT↗
arXiv2026

Criteria for the presence of the maximal ideal in the set of associated primes

In this paper, we establish some criteria to detect the presence of the maximal ideal $(x_1, \ldots, x_n)$ in the set of associated primes of powers of monomial ideals in the polynomial ring $K[x_1, \ldots, x_n]$. Furthermore, for each of these criteria, we illustrate its applicability with corresponding examples.

math.AC↗
arXiv2026

Strong persistence index and fluctuations in colon powers of monomial ideals

Let $I$ be an ideal in a commutative Noetherian ring $R$. We say that a positive integer $\ell_0$ is the strong persistence index of $I$ if $\ell_0$ is the smallest integer such that $(I^{\ell+1} :_R I) = I^{\ell}$ for all $\ell \geq \ell_0$. The first aim of this paper is to study this notion for monomial ideals. We also introduce the notion of fluctuation in colon powers if there exist positive integers $a < b < c$ such that at least one of the following cases occurs: (i) $(I^{a} : I) = I^{a-1}$, $(I^{b} : I) \neq I^{b-1}$, but $(I^{c} : I) = I^{c-1}$. (ii) $(I^{a} : I) \neq I^{a-1}$, $(I^{b} : I) = I^{b-1}$, but $(I^{c} : I) \neq I^{c-1}$. The second purpose of this work is to study this phenomenon for monomial ideals.

math.AC↗
arXiv2026

Asymptotic Properties of Filtrations of Ideals

We introduce a unified framework for studying persistence phenomena in commutative algebra via filtrations of ideals. For a filtration $\mathcal{F} = \{I_i\}_{i \in \mathbb{N}}$, we define $\mathcal{F}$-persistence and $\mathcal{F}$-strong persistence, extending the classical notions for ordinary and symbolic powers of ideals. We show that if $\mathcal{F}$ is strongly persistent, then $\mathcal{F}_{\mathrm{sym}}$ is strongly persistent, where $\mathcal{F}_{\mathrm{sym}}$ denotes the symbolic filtration associated with the filtration $\mathcal{F}$. In addition, we prove that if $\mathcal{F}$ is strongly persistent, then $\mathcal{F}$ is persistent.

math.AC↗
arXiv2025

Demotions of ideals in commutative rings with applications to normally torsion-freeness

Let J \subseteq I be ideals in a commutative Noetherian ring R, and r,s \geq 0. We say that J is a demotion of I if I^r J^s = I^{r+s} \cap J^s for all r,s \geq 0. In this paper, we mainly aim to explore this notion in polynomial rings. In particular, we investigate the relation between the demotion property and normal torsion-freeness. Furthermore, we compare the reductions of ideals and demotions of ideals.

math.AC↗
arXiv2024

On the strong persistence property and normally torsion-freeness of square-free monomial ideals

In this paper, we first show that any square-free monomial ideal in $K[x_1, x_2, x_3, x_4, x_5]$ has the strong persistence property. Next we will provide a criterion for a minimal counterexample to the Conforti-Cornuejols conjecture. Finally we give a necessary and sufficient condition to determine the normally torsion-freeness of a linear combination of two normally torsion-free square-free monomial ideals.

math.AC↗
arXiv2024

On the normally torsion-freeness of square-free monomial ideals

Let $I\subset R=K[x_1, \ldots, x_n]$ be a square-free monomial ideal, $\mathfrak{q}$ be a prime monomial ideal in $R$, $h$ be a square-free monomial in $R$ with $\mathrm{supp}(h) \cap (\mathrm{supp}(\mathfrak{q}) \cup \mathrm{supp}(I))=\emptyset$, and $L:=I\cap (\mathfrak{q}, h)$. In this paper, we first focus on the associated primes of powers of $L$ and explore the normally torsion-freeness of $L$. We also give an application on a comb inatorial result. Next, we study when a square-free monomial ideal is minimally not normally torsion-free. Particularly, we introduce a class of square-free monomial ideals, which are minimally not normally torsion-free.

math.AC↗
arXiv2023

Normality and associated primes of Closed neighborhood ideals and dominating ideals

In this paper, we first give some sufficient criteria for normality of monomial ideals. As applications, we show that closed neighborhood ideals of complete bipartite graphs are normal, and hence satisfy the (strong) persistence property. We also prove that dominating ideals of complete bipartite graphs are nearly normally torsion-free. In addition, we show that dominating ideals of $h$-wheel graphs, under certain condition, are normal.

math.AC↗
arXiv2023

The edge ideals of $\bf{t}$-spread $d$-partite hypergraphs

Inspired by the definition of $\bf{t}$-spread monomial ideals, in this paper, we introduce $\bf{t}$-spread $d$-partite hypergraph $K^{\bf t}_V$ and study its edge ideal $I(K^{\bf t}_V)$. We prove that $I(K^{\bf t}_V)$ has linear quotients, all powers of $I(K^{\bf t}_V)$ have linear resolution and the Rees algebra of $I(K^{\bf t}_V)$ is a normal Cohen-Macaulay domain. It is also shown that $I(K^{\bf t}_V)$ is normally torsion-free and a complete characterization of Cohen-Macaulay $S/I(K^{\bf t}_V)$ is given.

math.AC↗
arXiv2022

Algebraic implications of neighborhood hypergraphs and their transversal hypergraphs

In this paper, we unfold balanced and totally balanced neighborhood hypergraphs to discover new classes of normally torsion-free monomial ideals. As a consequence, we establish that the closed neighborhood ideals and the dominating ideals of strongly chordal graphs are normally torsion-free. We discuss the stable sets of associated primes of the dominating ideals of cycles and characterize all the cycles with normally torsion-free dominating ideals.

math.AC↗
arXiv2022

On the matroidal path ideals

We prove that the set of all paths of a fixed length in a complete multipartite graph is the bases of a matroid. Moreover, we discuss the Cohen-Macaulayness and depth of powers of $t$-path ideals of a complete multipartite graph.

math.AC↗
arXiv2022

Dominating ideals and closed neighborhood ideals of graphs

We study the closed neighborhood ideals and the dominating ideals of graphs, in particular, of trees and cycles. We prove that the closed neighborhood ideals and the dominating ideals of trees are normally torsion-free. The closed neighborhood ideals and the dominating ideals of cycles fail to be normally torsion-free. However, we prove that the closed neighborhood ideals of cycles admit the (strong) persistence property and the dominating ideals of cycles are nearly normally torsion-free.

math.AC↗
arXiv2022

Classes of normally and nearly normally torsion-free monomial ideals

In this paper, our main focus is to explore different classes of nearly normally torsion-free ideals. We first characterize all finite simple connected graphs with nearly normally torsion-free cover ideals. Next, we characterize all normally torsion-free $t$-spread principal Borel ideals that can also be viewed as edge ideals of uniform multipartite hypergraphs.

math.AC↗
arXiv2022

On the embedded associated primes of monomial ideals

Let $I$ be a square-free monomial ideal in a polynomial ring $R=K[x_1,\ldots, x_n]$ over a field $K$, $\mathfrak{m}=(x_1, \ldots, x_n)$ be the graded maximal ideal of $R$, and $\{u_1, \ldots, u_{β_1(I)}\}$ be a maximal independent set of minimal generators of $I$ such that $\mathfrak{m}\setminus x_i \notin \mathrm{Ass}(R/(I\setminus x_i)^t)$ for all $x_i\mid \prod_{i=1}^{β_1(I)}u_i$ and some positive integer $t$, where $I\setminus x_i$ denotes the deletion of $I$ at $x_i$ and $β_1(I)$ denotes the maximum cardinality of an independent set in $I$. In this paper, we prove that if $\mathfrak{m}\in \mathrm{Ass}(R/I^t)$, then $t\geq β_1(I)+1$. As an application, we verify that under certain conditions, every unmixed König ideal is normally torsion-free, and so has the strong persistence property. In addition, we show that every square-free transversal polymatroidal ideal is normally torsion-free. Next, we state some results on the corner-elements of monomial ideals. In particular, we prove that if $I$ is a monomial ideal in a polynomial ring $R=K[x_1, \ldots, x_n]$ over a field $K$ and $z$ is an $I^t$-corner-element for some positive integer $t$ such that $\mathfrak{m}\setminus x_i \notin \mathrm{Ass}(I\setminus x_i)^t$ for some $1\leq i \leq n$, then $x_i$ divides $z$.

math.AC↗
arXiv2021

Results on the normality of square-free monomial ideals and cover ideals under some graph operations

In this paper, we introduce techniques for producing normal square-free monomial ideals from old such ideals. These techniques are then used to investigate the normality of cover ideals under some graph operations. Square-free monomial ideals that come out as linear combinations of two normal ideals are shown to be not necessarily normal; under such a case we investigate the integral closedness of all powers of these ideals.

math.AC↗