Showing 1–50 of 53 results for author: Fakhari, A

Bounded powers of edge ideals: The strong exchange property

Authors: Takayuki Hibi, Seyed Amin Seyed Fakhari

Abstract: Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{Z}_{>0}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which… ▽ More Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{Z}_{>0}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. Let $I(G) \subset S$ denote the edge ideal of a finite graph $G$ on the vertex set $V(G) = \{x_1, \ldots, x_s\}$. In our previous work, it is shown that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Let $\mathcal{W}(\mathfrak{c},G)$ denote the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. It follows that $\mathcal{W}(\mathfrak{c},G)$ satisfies the symmetric exchange property. In the present paper, the question when $\mathcal{W}(\mathfrak{c},G)$ enjoys the strong exchange property, or equivalently, when $\mathcal{W}(\mathfrak{c},G)$ is of Veronese type is studied. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Bounded powers of edge ideals: Gorenstein toric rings

Authors: Takayuki Hibi, Seyed Amin Seyed Fakhari

Abstract: Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which… ▽ More Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. For a finite graph $G$, its edge ideal is denoted by $I(G)$. Let $\mathcal{B}(\mathfrak{c},G)$ be the toric ring which is generated by the monomials belonging to the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. In a previous work, the authors proved that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. It follows that $\mathcal{B}(\mathfrak{c},G)$ is a normal Cohen--Macaulay domain. In this paper, we study the Gorenstein property of $\mathcal{B}(\mathfrak{c},G)$. △ Less

Submitted 31 May, 2025; v1 submitted 30 April, 2025; originally announced April 2025.

Bounded powers of edge ideals: regularity and linear quotients

Authors: Takayuki Hibi, Seyed Amin Seyed Fakhari

Abstract: Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Also, let $δ_{\mathfrak{c}}(I)$ be the largest integer $k$ such that… ▽ More Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Also, let $δ_{\mathfrak{c}}(I)$ be the largest integer $k$ such that $(I^k)_{\mathfrak{c}}\neq 0$. It is shown that for every graph $G$ with edge ideal $I(G)$, the ideal $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Moreover, we show that for each integer $s=1, \ldots δ_{\mathfrak{c}}(I(G))$, the Castelnuovo--Mumford regularity of $(I(G)^s)_{\mathfrak{c}}$ is bounded above by $δ_{\mathfrak{c}}(I(G))+s$. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: arXiv admin note: text overlap with arXiv:2207.08559

On the ordinary and symbolic powers of fiber products

Authors: Hoang Viet Do, Hop D. Nguyen, Seyed Amin Seyed Fakhari

Abstract: We completely determine the depth and regularity of symbolic powers of the fiber product of two homogeneous ideals in disjoint sets of variables, given knowledge of the symbolic powers of each factor. Generalizing previous joint work with Vu, we provide exact, characteristic-independent formulas for the depth and regularity of ordinary powers of such fiber products. We completely determine the depth and regularity of symbolic powers of the fiber product of two homogeneous ideals in disjoint sets of variables, given knowledge of the symbolic powers of each factor. Generalizing previous joint work with Vu, we provide exact, characteristic-independent formulas for the depth and regularity of ordinary powers of such fiber products. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Thick attractors with intermingled basins

Authors: Abbas Fakhari, Ale Jan Homburg

Abstract: We construct various novel and elementary examples of dynamics with metric attractors that have intermingled basins. A main ingredient is the introduction of random walks along orbits of a given dynamical system. We develop theory for it and use it in particular to provide examples of thick metric attractors with intermingled basins. We construct various novel and elementary examples of dynamics with metric attractors that have intermingled basins. A main ingredient is the introduction of random walks along orbits of a given dynamical system. We develop theory for it and use it in particular to provide examples of thick metric attractors with intermingled basins. △ Less

Submitted 1 August, 2024; originally announced August 2024.

Comments: 24 pages

Unboundedness of irreducible decompositions of numerical semigroups

Authors: Tristram Bogart, Seyed Amin Seyed Fakhari

Abstract: We present two families of numerical semigroups and show that for each family, the number of required components in an irreducible decomposition cannot be bounded by any given integer. This gives a negative answer to a question raised by Delgado, García-Sánchez and Rosales. We present two families of numerical semigroups and show that for each family, the number of required components in an irreducible decomposition cannot be bounded by any given integer. This gives a negative answer to a question raised by Delgado, García-Sánchez and Rosales. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 4 pages

MSC Class: 20M14; 06F05; 11D07

Induced matching, ordered matching and Castelnuovo-Mumford regularity of bipartite graphs

Authors: A. V. Jayanthan, S. A. Seyed Fakhari, I. Swanson, S. Yassemi

Abstract: Let G be a finite simple graph and let indm(G) and ordm(G) denote the induced matching number and the ordered matching number of G, respectively. We characterize all bipartite graphs G with indm(G) = ordm(G). We establish the Castelnuovo-Mumford regularity of powers of edge ideals and depth of powers of cover ideals for such graphs. We also give formulas for the count of connected non-isomorphic s… ▽ More Let G be a finite simple graph and let indm(G) and ordm(G) denote the induced matching number and the ordered matching number of G, respectively. We characterize all bipartite graphs G with indm(G) = ordm(G). We establish the Castelnuovo-Mumford regularity of powers of edge ideals and depth of powers of cover ideals for such graphs. We also give formulas for the count of connected non-isomorphic spanning subgraphs of the complete bipartite graph K_{m,n} for which indm(G) = ordm(G) = 2, with an explicit expression for the count when m = 2,3,4 and m <= n. △ Less

Submitted 26 March, 2025; v1 submitted 10 May, 2024; originally announced May 2024.

Comments: Improved a few arguments

MSC Class: 13F55; 05E40

Some inequalities regarding the regularity of powers of monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: We prove some inequalities regarding the Castelnuovo--Mumford regularity of symbolic powers and integral closure of powers of monomial ideals. We prove some inequalities regarding the Castelnuovo--Mumford regularity of symbolic powers and integral closure of powers of monomial ideals. △ Less

Submitted 22 January, 2024; originally announced January 2024.

An Increasing normalized depth function

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I$ is a squarefree monomial ideal of $S$. For every integer $k\geq 1$, we denote the $k$-th squarefree power of $I$ by $I^{[k]}$. The normalized depth function of $I$ is defined as $g_I(k)={\rm depth}(S/I^{[k]})-(d_k-1)$, where $d_k$ denotes the minimum degree of m… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I$ is a squarefree monomial ideal of $S$. For every integer $k\geq 1$, we denote the $k$-th squarefree power of $I$ by $I^{[k]}$. The normalized depth function of $I$ is defined as $g_I(k)={\rm depth}(S/I^{[k]})-(d_k-1)$, where $d_k$ denotes the minimum degree of monomials belonging to $I^{[k]}$. Erey, Herzog, Hibi and Saeedi Madani conjectured that for any squarefree monomial ideal $I$, the function $g_I(k)$ is nonincreasing. In this short note, we provide a counterexample for this conjecture. Our example in fact shows that $g_I(2)-g_I(1)$ can be arbitrarily large. △ Less

Submitted 8 April, 2024; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: To appear in Journal of Commutative Algebra

On the index of depth stability of symbolic powers of cover ideals of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of c… ▽ More Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of cover ideals of fully clique-whiskered graphs. Meanwhile, we determine a class of graphs $G$ with the property that the Castelnuovo--Mumford regularity of $S/I(G)$ is equal to the induced matching number of $G$. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:1709.03882

On the Castelnuovo-Mumford regularity of symbolic powers of cover ideals

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with cover ideal $J(G)$. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $J(G)$ by $J(G)^{(k)}$. We provide a sharp upper bound for the regularity of $J(G)^{(k)}$ in terms of the star packing number of $G$. Also, for any integer $k\geq 2$, we study the difference between ${\rm reg}(J(G)^{(k)})$ and ${\rm reg}(J(G)^{(k-2)})$. As a consequence, we compu… ▽ More Assume that $G$ is a graph with cover ideal $J(G)$. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $J(G)$ by $J(G)^{(k)}$. We provide a sharp upper bound for the regularity of $J(G)^{(k)}$ in terms of the star packing number of $G$. Also, for any integer $k\geq 2$, we study the difference between ${\rm reg}(J(G)^{(k)})$ and ${\rm reg}(J(G)^{(k-2)})$. As a consequence, we compute the regularity of $J(G)^{(k)}$ when $G$ is a doubly Cohen-Macaulay graph. Furthermore, we determine ${\rm reg}(J(G)^{(k)})$ if $G$ is either a Cameron-Walker graph or a claw-free graph which has no cycle of length other that $3$ and $5$. △ Less

Submitted 26 June, 2023; originally announced June 2023.

On the Regularity of squarefree part of symbolic powers of edge ideals

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with edge ideal $I(G)$. For every integer $s\geq 1$, we denote the squarefree part of the $s$-th symbolic power of $I(G)$ by $I(G)^{\{s\}}$. We determine an upper bound for the regularity of $I(G)^{\{s\}}$ when $G$ is a chordal graph. If $G$ is a Cameron-Walker graphs, we compute ${\rm reg}(I(G)^{\{s\}}$ in terms of the induced matching number of $G$. Moreover, for any g… ▽ More Assume that $G$ is a graph with edge ideal $I(G)$. For every integer $s\geq 1$, we denote the squarefree part of the $s$-th symbolic power of $I(G)$ by $I(G)^{\{s\}}$. We determine an upper bound for the regularity of $I(G)^{\{s\}}$ when $G$ is a chordal graph. If $G$ is a Cameron-Walker graphs, we compute ${\rm reg}(I(G)^{\{s\}}$ in terms of the induced matching number of $G$. Moreover, for any graph $G$, we provide sharp upper bounds for ${\rm reg}(I(G)^{\{2\}})$ and ${\rm reg}(I(G)^{\{3\}})$. △ Less

Submitted 5 March, 2023; originally announced March 2023.

On the Castelnuovo-Mumford regularity of squarefree powers of edge ideals

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with edge ideal $I(G)$ and matching number ${\rm match}(G)$. For every integer $s\geq 1$, we denote the $s$-th squarefree power of $I(G)$ by $I(G)^{[s]}$. It is shown that for every positive integer $s\leq {\rm match}(G)$, the inequality ${\rm reg}(I(G)^{[s]})\leq {\rm match}(G)+s$ holds provided that $G$ belongs to either of the following classes: (i) very well-covered… ▽ More Assume that $G$ is a graph with edge ideal $I(G)$ and matching number ${\rm match}(G)$. For every integer $s\geq 1$, we denote the $s$-th squarefree power of $I(G)$ by $I(G)^{[s]}$. It is shown that for every positive integer $s\leq {\rm match}(G)$, the inequality ${\rm reg}(I(G)^{[s]})\leq {\rm match}(G)+s$ holds provided that $G$ belongs to either of the following classes: (i) very well-covered graphs, (ii) semi-Hamiltonian graphs, or (iii) sequentially Cohen-Macaulay graphs. Moreover, we prove that for every Cameron-Walker graph $G$ and for every positive integer $s\leq {\rm match}(G)$, we have ${\rm reg}(I(G)^{[s]})={\rm match}(G)+s$ △ Less

Submitted 18 July, 2022; originally announced July 2022.

Lower bounds for the depth of second power of edge ideals

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with edge ideal $I(G)$. We provide sharp lower bounds for the depth of $I(G)^2$ in terms of the star packing number of $G$. Assume that $G$ is a graph with edge ideal $I(G)$. We provide sharp lower bounds for the depth of $I(G)^2$ in terms of the star packing number of $G$. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Stable local dynamics: expansion, quasi-conformality and ergodicity

Authors: Abbas Fakhari, Meysam Nassiri, Hesam Rajabzadeh

Abstract: In this paper, we study stable ergodicity of the action of groups of diffeomorphisms on smooth manifolds. Such actions are known to exist only on one-dimensional manifolds. The aim of this paper is to introduce a geometric method to overcome this restriction and to construct higher dimensional examples. In particular, we show that every closed manifold admits stably ergodic finitely generated grou… ▽ More In this paper, we study stable ergodicity of the action of groups of diffeomorphisms on smooth manifolds. Such actions are known to exist only on one-dimensional manifolds. The aim of this paper is to introduce a geometric method to overcome this restriction and to construct higher dimensional examples. In particular, we show that every closed manifold admits stably ergodic finitely generated group actions by diffeomorphisms of class $C^{1+α}$. We also prove the stable ergodicity of certain algebraic actions, including the natural action of a generic pair of matrices near the identity on a sphere of arbitrary dimension. These are consequences of the quasi-conformal blender, a local and stable mechanism/phenomenon introduced in this paper, which encapsulates our method for proving stable local ergodicity by providing quasi-conformal orbits with fine controlled geometry. The quasi-conformal blender is developed in the context of pseudo-semigroup actions of locally defined smooth diffeomorphisms, which allows for applications in diverse settings. △ Less

Submitted 12 December, 2024; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 41 pages, 5 figures

Journal ref: Advances in Mathematics, Volume 462, 2025,

Absolutely Continuous Invariant Measure for Generalized Horseshoe Maps

Authors: Abbas Fakhari, Maryam Khalaj

Abstract: In this paper, we study the SRB measures of generalized horseshoe map. We prove that under the conditions of transversality and fatness, the SRB measure is actually absolutely continuous with respect to the Lebesgue measure. In this paper, we study the SRB measures of generalized horseshoe map. We prove that under the conditions of transversality and fatness, the SRB measure is actually absolutely continuous with respect to the Lebesgue measure. △ Less

Submitted 28 August, 2021; v1 submitted 7 February, 2021; originally announced February 2021.

On the minimal free resolution of symbolic powers of cover ideals of graphs

Authors: S. A. Seyed Fakhari

Abstract: For any graph $G$, assume that $J(G)$ is the cover ideal of $G$. Let $J(G)^{(k)}$ denote the $k$th symbolic power of $J(G)$. We characterize all graphs $G$ with the property that $J(G)^{(k)}$ has a linear resolution for some (equivalently, for all) integer $k\geq 2$. Moreover, it is shown that for any graph $G$, the sequence $\big({\rm reg}(J(G)^{(k)})\big)_{k=1}^{\infty}$ is nondecreasing. Furthe… ▽ More For any graph $G$, assume that $J(G)$ is the cover ideal of $G$. Let $J(G)^{(k)}$ denote the $k$th symbolic power of $J(G)$. We characterize all graphs $G$ with the property that $J(G)^{(k)}$ has a linear resolution for some (equivalently, for all) integer $k\geq 2$. Moreover, it is shown that for any graph $G$, the sequence $\big({\rm reg}(J(G)^{(k)})\big)_{k=1}^{\infty}$ is nondecreasing. Furthermore, we compute the largest degree of minimal generators of $J(G)^{(k)}$ when $G$ is either an unmixed of a claw-free graph. △ Less

Submitted 20 October, 2020; v1 submitted 17 October, 2020; originally announced October 2020.

On the depth of symbolic powers of edge ideals of graphs

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with edge ideal $I(G)$ and star packing number $α_2(G)$. We denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that the inequality ${\rm depth} S/(I(G)^{(s)})\geq α_2(G)-s+1$ is true for every chordal graph $G$ and every integer $s\geq 1$. Moreover, it is proved that for any graph $G$, we have ${\rm depth} S/(I(G)^{(2)})\geq α_2(G)-1$. Assume that $G$ is a graph with edge ideal $I(G)$ and star packing number $α_2(G)$. We denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that the inequality ${\rm depth} S/(I(G)^{(s)})\geq α_2(G)-s+1$ is true for every chordal graph $G$ and every integer $s\geq 1$. Moreover, it is proved that for any graph $G$, we have ${\rm depth} S/(I(G)^{(2)})\geq α_2(G)-1$. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

Authors: Seyed Amin Seyed Fakhari, Kosuke Shibata, Naoki Terai, Siamak Yassemi

Abstract: We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo. We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo. △ Less

Submitted 27 March, 2020; originally announced March 2020.

On the regularity of small symbolic powers of edge ideals of graphs

Authors: S. A. Seyed Fakhari

Abstract: Assume that $G$ is a graph with edge ideal $I(G)$ and let $I(G)^{(s)}$ denote the $s$-th symbolic power of $I(G)$. It is proved that for every integer $s\geq 1$, $${\rm reg}(I(G)^{(s+1)})\leq \max\bigg\{{\rm reg}(I(G))+2s, {\rm reg}\big(I(G)^{(s+1)}+I(G)^s\big)\bigg\}.$$As a consequence, we conclude that ${\rm reg}(I(G)^{(2)})\leq {\rm reg}(I(G))+2$, and… ▽ More Assume that $G$ is a graph with edge ideal $I(G)$ and let $I(G)^{(s)}$ denote the $s$-th symbolic power of $I(G)$. It is proved that for every integer $s\geq 1$, $${\rm reg}(I(G)^{(s+1)})\leq \max\bigg\{{\rm reg}(I(G))+2s, {\rm reg}\big(I(G)^{(s+1)}+I(G)^s\big)\bigg\}.$$As a consequence, we conclude that ${\rm reg}(I(G)^{(2)})\leq {\rm reg}(I(G))+2$, and ${\rm reg}(I(G)^{(3)})\leq {\rm reg}(I(G))+4$. Moreover, it is shown that if for some integer $k\geq 1$, the graph $G$ has no odd cycle of length at most $2k-1$, then ${\rm reg}(I(G)^{(s)})\leq 2s+{\rm reg}(I(G))-2$, for every integer $s\leq k+1$. Finally, it is proven that ${\rm reg}(I(G)^{(s)})=2s$, for $s\in \{2, 3, 4\}$, provided that the complementary graph $\overline{G}$ is chordal. △ Less

Submitted 29 August, 2019; v1 submitted 28 August, 2019; originally announced August 2019.

Regularity of symbolic powers of edge ideals of Cameron-Walker graphs

Authors: S. A. Seyed Fakhari

Abstract: A Cameron-Walker graph is a graph for which the matching number and the induced matching number are the same. Assume that $G$ is a Cameron-Walker graph with edge ideal $I(G)$, and let $\ind-match(G)$ be the induced matching number of $G$. It is shown that for every integer $s\geq 1$, we have the equality ${\rm reg}(I(G)^{(s)})=2s+\ind-match(G)-1$, where $I(G)^{(s)}$ denotes the $s$-th symbolic pow… ▽ More A Cameron-Walker graph is a graph for which the matching number and the induced matching number are the same. Assume that $G$ is a Cameron-Walker graph with edge ideal $I(G)$, and let $\ind-match(G)$ be the induced matching number of $G$. It is shown that for every integer $s\geq 1$, we have the equality ${\rm reg}(I(G)^{(s)})=2s+\ind-match(G)-1$, where $I(G)^{(s)}$ denotes the $s$-th symbolic power of $I(G)$. △ Less

Submitted 5 July, 2019; originally announced July 2019.

On the Stanley depth of powers of monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. In 1982, R. Stanley associated a combinatorial invariant to any finitely generated $\mathbb{Z}^n$-graded $S$-module which is now called Stanley depth. Stanley conjectured that this invariant is an upper bound for the depth of module. Stanley's conjecture has been disproved by Du… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. In 1982, R. Stanley associated a combinatorial invariant to any finitely generated $\mathbb{Z}^n$-graded $S$-module which is now called Stanley depth. Stanley conjectured that this invariant is an upper bound for the depth of module. Stanley's conjecture has been disproved by Duval et al. \cite{abcj}, and the counterexample is a quotient of squarefree monomial ideals. On the other hand, there are evidences showing that Stanley's inequality can be true for high powers of monomial ideals. In this survey article, we collect the recent results in this direction. More precisely, we investigate the Stanley depth of powers, integral closure of powers and symbolic powers of monomial ideals. △ Less

Submitted 1 June, 2019; originally announced June 2019.

Regularity of symbolic powers of edge ideals of unicyclic graphs

Authors: S. A. Seyed Fakhari

Abstract: Let $G$ be a unicyclic graph with edge ideal $I(G)$. For any integer $s\geq 1$, we denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that ${\rm reg}(I(G)^{(s)})={\rm reg}(I(G)^s)$, for every $s\geq 1$. Let $G$ be a unicyclic graph with edge ideal $I(G)$. For any integer $s\geq 1$, we denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that ${\rm reg}(I(G)^{(s)})={\rm reg}(I(G)^s)$, for every $s\geq 1$. △ Less

Submitted 26 March, 2019; originally announced March 2019.

Stability of depth and Stanley depth of symbolic powers of squarefree monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I\subset S$ is a squarefree monomial ideal. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $I$ by $I^{(k)}$. Recently, Montaño and Núñez-Betancourt \cite{mn} proved that for every pair of integers $m, k\geq 1$,… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $I\subset S$ is a squarefree monomial ideal. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $I$ by $I^{(k)}$. Recently, Montaño and Núñez-Betancourt \cite{mn} proved that for every pair of integers $m, k\geq 1$,$${\rm depth}(S/I^{(m)})\leq {\rm depth}(S/I^{(\lceil\frac{m}{k}\rceil)}).$$We provide an alternative proof for this inequality. Moreover, we reprove the known results that the sequence $\{{\rm depth}(S/I^{(k)})\}_{k=1}^{\infty}$ is convergent and$$\min_k{\rm depth}(S/I^{(k)})=\lim_{k\rightarrow \infty}{\rm depth}(S/I^{(k)})=n-\ell_s(I),$$where $\ell_s(I)$ denotes the symbolic analytic spread of $I$. We also determine an upper bound for the index of depth stability of symbolic powers of $I$. Next, we consider the Stanley depth of symbolic powers and prove that the sequences $\{{\rm sdepth}(S/I^{(k)})\}_{k=1}^{\infty}$ and $\{{\rm sdepth}(I^{(k)})\}_{k=1}^{\infty}$ are convergent and the limit of each sequence is equal to its minimum. Furthermore, we determine an upper bound for the indices of sdepth stability of symbolic powers. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Ergodicity of non-autonomous discrete systems with non-uniform expansion

Authors: Pablo G. Barrientos, Abbas Fakhari

Abstract: We study the ergodicity of non-autonomous discrete dynamical systems with non-uniform expansion. As an application we get that any uniformly expanding finitely generated semigroup action of $C^{1+α}$ local diffeomorphisms of a compact manifold is ergodic with respect to the Lebesgue measure. Moreover, we will also prove that every exact non-uniform expandable finitely generated semigroup action of… ▽ More We study the ergodicity of non-autonomous discrete dynamical systems with non-uniform expansion. As an application we get that any uniformly expanding finitely generated semigroup action of $C^{1+α}$ local diffeomorphisms of a compact manifold is ergodic with respect to the Lebesgue measure. Moreover, we will also prove that every exact non-uniform expandable finitely generated semigroup action of conformal $C^{1+α}$ local diffeomorphisms of a compact manifold is Lebesgue ergodic. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Locally conformal expanding Actions: Markov Partition and Thermodynamic of the induced skew product

Authors: A. Ehsani, A. Fakhari, F. H. Ghane, J. Nazarian

Abstract: For topologically mixing locally conformal semigroup actions generated by a finite collection of $C^{1+α}$ conformal local diffeomorphisms, we provide a countable Markov partition satisfying the finite images and the finite cycle properties. We show that they admit inducing schemes and describe the tower constructions associated with them. An important feature of these towers is that their induced… ▽ More For topologically mixing locally conformal semigroup actions generated by a finite collection of $C^{1+α}$ conformal local diffeomorphisms, we provide a countable Markov partition satisfying the finite images and the finite cycle properties. We show that they admit inducing schemes and describe the tower constructions associated with them. An important feature of these towers is that their induced maps are equivalent to a subshift of countable type. Through the investigating the ergodic properties of induced map, we prove the existence of liftable measures and establish a thermodynamic formalism of the induced skew product with respect to them. △ Less

Submitted 1 May, 2025; v1 submitted 4 October, 2018; originally announced October 2018.

Comments: 32 pages, 2 figure

On the depth and Stanley depth of integral closure of powers of monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $G$ is a graph with edge ideal $I(G)$. We prove that the modules $S/\overline{I(G)^k}$ and $\overline{I(G)^k}/\overline{I(G)^{k+1}}$ satisfy Stanley's inequality for every integer $k\gg 0$. If $G$ is a non-bipartite graph, we show that the ideals $\overline{I(G)^k}$… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $G$ is a graph with edge ideal $I(G)$. We prove that the modules $S/\overline{I(G)^k}$ and $\overline{I(G)^k}/\overline{I(G)^{k+1}}$ satisfy Stanley's inequality for every integer $k\gg 0$. If $G$ is a non-bipartite graph, we show that the ideals $\overline{I(G)^k}$ satisfy Stanley's inequality for all $k\gg 0$. For every connected bipartite graph $G$ (with at least one edge), we prove that ${\rm sdepth}(I(G)^k)\geq 2$, for any positive integer $k\leq {\rm girth}(G)/2+1$. This result partially answers a question asked in [20]. For any proper monomial ideal $I$ of $S$, it is shown that the sequence $\{{\rm depth}(\overline{I^k}/\overline{I^{k+1}})\}_{k=0}^{\infty}$ is convergent and $\lim_{k\rightarrow\infty}{\rm depth}(\overline{I^k}/\overline{I^{k+1}})=n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. Furthermore, it is proved that for any monomial ideal $I$, there exists an integer $s$ such that $${\rm depth} (S/I^{sm}) \leq {\rm depth} (S/\overline{I}),$$for every integer $m\geq 1$. We also determine a value $s$ for which the above inequality holds. If $I$ is an integrally closed ideal, we show that ${\rm depth}(S/I^m)\leq {\rm depth}(S/I)$, for every integer $m\geq 1$. As a consequence, we obtain that for any integrally closed monomial ideal $I$ and any integer $m\geq 1$, we have ${\rm Ass}(S/I)\subseteq {\rm Ass}(S/I^m)$. \end{abstract} △ Less

Submitted 10 August, 2018; v1 submitted 9 August, 2018; originally announced August 2018.

Improved bounds for the regularity of powers of edge ideals of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if… ▽ More Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if $\ind-match_{\{K_2, C_5\}}(G)$ is an odd integer, then$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-1.$$Furthermore, it is shown that$${\rm reg}(I(G)^s)\leq 2s+\ord-match(G)-1,$$where $\ord-match(G)$ denotes the ordered matching number of $G$. Finally, we construct infinitely many connected graphs which satisfy the following strict inequalities:$$2s+\ind-match(G)-1 < {\rm reg}(I(G)^s)< 2s+{\rm cochord}(G)-1.$$This gives a positive answer to a question asked in \cite{jns}. △ Less

Submitted 11 May, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: arXiv admin note: text overlap with arXiv:1705.10226

Depth and Stanley depth of symbolic powers of cover ideals of graphs

Authors: S. A. Seyed Fakhari

Abstract: Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that the sequences $\{{\rm sdepth}(S/J(G)^{(k)})\}_{k=1}^\infty$ and $\{{\rm sdepth}(J(G)^{(k)})\}_{k=1}^\infty$ are non-increasing and hence convergent. Sup… ▽ More Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that the sequences $\{{\rm sdepth}(S/J(G)^{(k)})\}_{k=1}^\infty$ and $\{{\rm sdepth}(J(G)^{(k)})\}_{k=1}^\infty$ are non-increasing and hence convergent. Suppose that $ν_{o}(G)$ denotes the ordered matching number of $G$. We show that for every integer $k\geq 2ν_{o}(G)-1$, the modules $J(G)^{(k)}$ and $S/J(G)^{(k)}$ satisfy the Stanley's inequality. We also provide an alternative proof for \cite[Theorem 3.4]{hktt} which states that ${\rm depth}(S/J(G)^{(k)})=n-ν_{o}(G)-1$, for every integer $k\geq 2ν_{o}(G)-1$. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: arXiv admin note: text overlap with arXiv:1604.00656

Regularity of symbolic powers of cover ideals of graphs

Authors: S. A. Seyed Fakhari

Abstract: Let $G$ be a graph which belongs to either of the following classes: (i) bipartite graphs, (ii) unmixed graphs, or (iii) claw--free graphs. Assume that $J(G)$ is the cover ideal $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that$$k{\rm deg}(J(G))\leq {\rm reg}(J(G)^{(k)})\leq (k-1){\rm deg}(J(G))+|V(G)|-1.$$We also determine families of graphs for which the above inequalities are equ… ▽ More Let $G$ be a graph which belongs to either of the following classes: (i) bipartite graphs, (ii) unmixed graphs, or (iii) claw--free graphs. Assume that $J(G)$ is the cover ideal $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that$$k{\rm deg}(J(G))\leq {\rm reg}(J(G)^{(k)})\leq (k-1){\rm deg}(J(G))+|V(G)|-1.$$We also determine families of graphs for which the above inequalities are equality. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Regularity of Powers of edge ideal of very well-covered graphs

Authors: Pooran Norouzi, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$. Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$. △ Less

Submitted 18 July, 2017; v1 submitted 16 July, 2017; originally announced July 2017.

On the regularity of edge ideal of graphs

Authors: Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities… ▽ More Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[Δ])={\rm dim}(\mathbb{K}[Δ])$ holds. △ Less

Submitted 29 May, 2017; originally announced May 2017.

On the $h$-vector of ($S_r$) simplicial complexes

Authors: S. A. Seyed Fakhari

Abstract: We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes. We give a negative answer to a question proposed in [3], regarding the $h$-vector of ($S_r$) simplicial complexes. △ Less

Submitted 25 March, 2017; originally announced March 2017.

Comments: To appear in J. Commut. Algebra

SRB measures for certain class of non-uniformly hyperbolic endomorphisms on the solid torus

Authors: A. Ehsani, A. Fakhari, F. H. Ghane, M. Zaj

Abstract: In this paper we address the existence and ergodicity of non-hyperbolic attracting sets for a certain class of smooth endomorphisms on the solid torus. Such systems allow a formulation as a skew product system defined by planar diffeomorphisms have contraction on average which forced by any expanding circle map. These attractors are invariant graphs of upper semicontinuous maps which support exact… ▽ More In this paper we address the existence and ergodicity of non-hyperbolic attracting sets for a certain class of smooth endomorphisms on the solid torus. Such systems allow a formulation as a skew product system defined by planar diffeomorphisms have contraction on average which forced by any expanding circle map. These attractors are invariant graphs of upper semicontinuous maps which support exactly one $SRB$ measure. In our approach, these skew product systems arising from iterated function systems generated by a finitely many weak contractive diffeomorphisms. Under some conditions including negative fiber Lyapunov exponents, we prove the existence of unique non-hyperbolic attracting invariant graphs for these systems which attract positive orbits of almost all initial points. Also, we prove that these systems are Bernoulli and therefore they are mixing. Moreover, these properties remain true under small perturbations in the space of endomorphisms on the solid torus. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Depth, Stanley depth and regularity of ideals associated to graphs

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $J=J(G)$ is its cover ideal. We prove that ${\rm sdepth}(J)\geq n-ν_{o}(G)$ and ${\rm sdepth}(S/J)\geq n-ν_{o}(G)-1$, where $ν_{o}(G)$ is the ordered matching number of $G$. We also prove the… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $J=J(G)$ is its cover ideal. We prove that ${\rm sdepth}(J)\geq n-ν_{o}(G)$ and ${\rm sdepth}(S/J)\geq n-ν_{o}(G)-1$, where $ν_{o}(G)$ is the ordered matching number of $G$. We also prove the inequalities ${\rm sdepth}(J^k)\geq {\rm depth}(J^k)$ and ${\rm sdepth}(S/J^k)\geq {\rm depth}(S/J^k)$, for every integer $k\gg 0$, when $G$ is a bipartite graph. Moreover, we provide an elementary proof for the known inequality ${\rm reg}(S/I)\leq ν_{o}(G)$. △ Less

Submitted 3 April, 2016; originally announced April 2016.

Symbolic powers of cover ideal of very well-covered and bipartite graphs

Authors: S. A. Seyed Fakhari

Abstract: Let $G$ be a graph with $n$ vertices and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that if $G$ is a very well-covered graph such that $J(G)$ has linear resolution, then $J(G)^{(k)}$ has linear resolution, for every integer $k\geq 1$. We also pr… ▽ More Let $G$ be a graph with $n$ vertices and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that if $G$ is a very well-covered graph such that $J(G)$ has linear resolution, then $J(G)^{(k)}$ has linear resolution, for every integer $k\geq 1$. We also prove that for a every very well-covered graph $G$, the depth of symbolic powers of $J(G)$ forms a non-increasing sequence. Finally, we determine a linear upper bound for the regularity of powers of cover ideal of bipartite graph. △ Less

Submitted 3 April, 2016; originally announced April 2016.

On the Stanley depth of powers of edge ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $p$ is the number of its bipartite connected components. We prove that for every positive integer $k$, the inequalities ${\rm sdepth}(I^k/I^{k+1})\geq p$ and ${\rm sdepth}(S/I^k)\geq p$ hold.… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $p$ is the number of its bipartite connected components. We prove that for every positive integer $k$, the inequalities ${\rm sdepth}(I^k/I^{k+1})\geq p$ and ${\rm sdepth}(S/I^k)\geq p$ hold. As a consequence, we conclude that $S/I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Also, it follows that $I^k/I^{k+1}$ satisfies the Stanley's inequality for every integer $k\gg 0$. Furthermore, we prove that if (i) $G$ is a non-bipartite graph, or (ii) at least one of the connected components of $G$ is a tree with at least one edge, then $I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Moreover, we verify a conjecture of the author in special cases. △ Less

Submitted 16 September, 2015; originally announced September 2015.

Regularity of powers of edge ideal of whiskered cycles

Authors: Mahdieh Moghimian, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G=W(C_{n})$ be a whiskered cycle graph with edge ideal $I=I(G)$. We prove that for every $s\geq 1$, the equality ${\rm reg}(I^{s})=2s+\lceil \frac{n-1}{2}\rceil-1$ holds. Let $G=W(C_{n})$ be a whiskered cycle graph with edge ideal $I=I(G)$. We prove that for every $s\geq 1$, the equality ${\rm reg}(I^{s})=2s+\lceil \frac{n-1}{2}\rceil-1$ holds. △ Less

Submitted 22 May, 2015; originally announced May 2015.

On the Stanley depth and size of monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,...,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. For every monomial ideal $I\subset S$, We provide a recursive formula to determine a lower bound for the Stanley depth of $S/I$. We use this formula to prove the inequality ${\rm sdepth}(S/I)\geq {\rm size}(I)$ for a particular class of monomial ideals. Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,...,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. For every monomial ideal $I\subset S$, We provide a recursive formula to determine a lower bound for the Stanley depth of $S/I$. We use this formula to prove the inequality ${\rm sdepth}(S/I)\geq {\rm size}(I)$ for a particular class of monomial ideals. △ Less

Submitted 19 March, 2015; v1 submitted 12 March, 2015; originally announced March 2015.

On the Stanley depth of squarefree monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. Suppose that $\mathcal{C}$ is a chordal clutter with $n$ vertices and assume that the minimum edge cardinality of $\mathcal{C}$ is at least $d$. It is shown that $S/I(c_d(\mathcal{C}))$ satisfies Stanley's conjecture, where $I(c_d(\mathcal{C}))$ is the edge ideal of th… ▽ More Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. Suppose that $\mathcal{C}$ is a chordal clutter with $n$ vertices and assume that the minimum edge cardinality of $\mathcal{C}$ is at least $d$. It is shown that $S/I(c_d(\mathcal{C}))$ satisfies Stanley's conjecture, where $I(c_d(\mathcal{C}))$ is the edge ideal of the $d$-complement of $\mathcal{C}$. This, in particular shows that $S/I$ satisfies Stanley's conjecture, where $I$ is a quadratic monomial ideal with linear resolution. We also define the notion of Schmitt--Vogel number of a monomial ideal $I$, denoted by ${\rm sv}(I)$ and prove that for every squarefree monomial ideal $I$, the inequalities ${\rm sdepth}(I)\geq n-{\rm sv}(I)+1$ and ${\rm sdepth}(S/I)\geq n-{\rm sv}(I)$ hold. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Saturation of Generalized Partially Hyperbolic Attractors

Authors: A. Fakhari, M. Soufi

Abstract: We prove the saturation of a generalized partially hyperbolic attractor of a $C^2$ map. As a consequence, we show that any generalized partially hyperbolic horseshoe-like attractor of a $C^1$-generic diffeomorphism has zero volume. In contrast, by modification of Poincaré cross section of the geometric model, we build a $C^1$-diffeomorphism with a partially hyperbolic horseshoe-like attractor of p… ▽ More We prove the saturation of a generalized partially hyperbolic attractor of a $C^2$ map. As a consequence, we show that any generalized partially hyperbolic horseshoe-like attractor of a $C^1$-generic diffeomorphism has zero volume. In contrast, by modification of Poincaré cross section of the geometric model, we build a $C^1$-diffeomorphism with a partially hyperbolic horseshoe-like attractor of positive volume. △ Less

Submitted 27 November, 2018; v1 submitted 8 August, 2014; originally announced August 2014.

Stanley depth of weakly polymatroidal ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. In this paper, it is shown that Stanley's conjecture holds for $S/I$, if $I$ is a weakly polymatroidal ideal. Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. In this paper, it is shown that Stanley's conjecture holds for $S/I$, if $I$ is a weakly polymatroidal ideal. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Two lower bounds for the Stanley depth of monomial ideals

Authors: Lukas Katthän, Seyed Amin Seyed Fakhari

Abstract: Let $J\varsubsetneq I$ be two monomial ideals of the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n]$. In this paper, we provide two lower bounds for the Stanley depth of $I/J$. On the one hand, we introduce the notion of lcm number of $I/J$, denoted by $l(I/J)$, and prove that the inequality ${\rm sdepth}(I/J)\geq n-l(I/J)+1$ hold. On the other hand, we show that… ▽ More Let $J\varsubsetneq I$ be two monomial ideals of the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n]$. In this paper, we provide two lower bounds for the Stanley depth of $I/J$. On the one hand, we introduce the notion of lcm number of $I/J$, denoted by $l(I/J)$, and prove that the inequality ${\rm sdepth}(I/J)\geq n-l(I/J)+1$ hold. On the other hand, we show that ${\sdepth}(I/J)\geq n-\dim L_{I/J}$, where $\dim L_{I/J}$ denotes the order dimension of the lcm lattice of $I/J$. We show that $I$ and $S/I$ satisfy Stanley's conjecture, if either the lcm number of $I$ or the order dimension of the lcm lattice of $I$ is small enough. Among other results, we also prove that the Stanley--Reisner ideal of a vertex decomposable simplicial complex satisfies Stanley's conjecture. △ Less

Submitted 30 May, 2014; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: A preliminary version of this paper by the second author was posted on ArXiv. After some discussions with the first author, this final version emerged

A new construction for Cohen-Macaulay graphs

Authors: Amir Mousivand, Seyed Amin Seyed Fakhari, Siamak Yassemi

Abstract: Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex de… ▽ More Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs. △ Less

Submitted 10 October, 2013; originally announced October 2013.

Comments: 9 pages, 2 figures

MSC Class: Primary: 13H10; 05E45; Secondary: 13F55; 05E40

Free resolution of powers of monomial ideals and Golod rings

Authors: Nasrin Altafi, Navid Nemati, S. A. Seyed Fakhari, Siamak Yassemi

Abstract: Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contain… ▽ More Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotient with respect to a monomial order. We also provide a lower bound for some Betti numbers of powers of a square-free monomial ideal which is generated in a single degree. △ Less

Submitted 29 September, 2013; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: arXiv admin note: text overlap with arXiv:math/0307222 by other authors

Expanding actions: minimality and ergodicity

Authors: Pablo G. Barrientos, Abbas Fakhari, Dominique Malicet, Ali Sarizadeh

Abstract: We prove that every expanding minimal semigroup action of $C^1$ diffeomorphisms of a compact manifold (resp. $C^{1+α}$ conformal) is robustly minimal (resp. ergodic with respect to Lebesgue measure). We also show how, locally, a blending region yields the robustness of the minimality and implies ergodicity. We prove that every expanding minimal semigroup action of $C^1$ diffeomorphisms of a compact manifold (resp. $C^{1+α}$ conformal) is robustly minimal (resp. ergodic with respect to Lebesgue measure). We also show how, locally, a blending region yields the robustness of the minimality and implies ergodicity. △ Less

Submitted 3 January, 2018; v1 submitted 23 July, 2013; originally announced July 2013.

Journal ref: Stochastics and Dynamics, Volume 17, Issue 04, August 2017, 1750031--1750051

Stanley depth and symbolic powers of monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: The aim of this paper is to study the Stanley depth of symbolic powers of a squarefree monomial ideal. We prove that for every squarefree monomial ideal $I$ and every pair of integers $k, s\geq 1$, the inequalities ${\rm sdepth} (S/I^{(ks)}) \leq {\rm sdepth} (S/I^{(s)})$ and ${\rm sdepth} (I^{(ks)}) \leq {\rm sdepth} (I^{(s)})$ hold. If moreover $I$ is unmixed of height $d$, then we show that for… ▽ More The aim of this paper is to study the Stanley depth of symbolic powers of a squarefree monomial ideal. We prove that for every squarefree monomial ideal $I$ and every pair of integers $k, s\geq 1$, the inequalities ${\rm sdepth} (S/I^{(ks)}) \leq {\rm sdepth} (S/I^{(s)})$ and ${\rm sdepth} (I^{(ks)}) \leq {\rm sdepth} (I^{(s)})$ hold. If moreover $I$ is unmixed of height $d$, then we show that for every integer $k\geq1$, ${\rm sdepth}(I^{(k+d)})\leq {\rm sdepth}(I^{(k)})$ and ${\rm sdepth}(S/I^{(k+d)})\leq {\rm sdepth}(S/I^{(k)})$. Finally, we consider the limit behavior of the Stanley depth of symbolic powers of a squarefree monomial ideal. We also introduce a method for comparing the Stanley depth of factors of monomial ideals. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Connectedness of the set of central Lyapunov exponents

Authors: Abbas Fakhari

Abstract: We show that there is a residual subset $\mathcal{R}$ of $Diff^1(M)$ such that for any $f\in\mathcal{R}$ and any partially hyperbolic homoclinic class $H(p,f)$ with one dimensional center direction, the set of central Lyapunov exponents associated with the ergodic with either full support or positive entropy is an interval. We show that there is a residual subset $\mathcal{R}$ of $Diff^1(M)$ such that for any $f\in\mathcal{R}$ and any partially hyperbolic homoclinic class $H(p,f)$ with one dimensional center direction, the set of central Lyapunov exponents associated with the ergodic with either full support or positive entropy is an interval. △ Less

Submitted 2 October, 2017; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: 12 pages, 3 figures

MSC Class: 37B20; 37C29; 37B20; 37C29 and 37C50

Density of fiberwise orbits in minimal iterated function systems on the circle

Authors: Pablo G. Barrientos, Abbas Fakhari, Ali Sarizadeh

Abstract: We study the minimality of almost every orbital branch of minimal iterated function systems (IFSs). We prove that this kind of minimality holds for forward and backward minimal IFSs generated by orientation-preserving homeomorphisms of the circle. We provide new examples of iterated functions systems where this behavior persists under perturbation of the generators. We study the minimality of almost every orbital branch of minimal iterated function systems (IFSs). We prove that this kind of minimality holds for forward and backward minimal IFSs generated by orientation-preserving homeomorphisms of the circle. We provide new examples of iterated functions systems where this behavior persists under perturbation of the generators. △ Less

Submitted 16 July, 2015; v1 submitted 4 April, 2013; originally announced April 2013.

Journal ref: Discrete and Continuous Dynamical Systems, Series A, 34 (2014), 3341--3352

Stanley depth of weakly polymatroidal ideals and squarefree monomial ideals

Authors: S. A. Seyed Fakhari

Abstract: Let $I$ be a weakly polymatroidal ideal or a squarefree monomial ideal of a polynomial ring $S$. In this paper we provide a lower bound for the Stanley depth of $I$ and $S/I$. In particular we prove that if $I$ is a squarefree monomial ideal which is generated in a single degree, then ${\rm sdepth}(I)\geq n-\ell(I)+1$ and ${\rm sdepth}(S/I)\geq n-\ell(I)$, where $\ell(I)$ denotes the analytic spre… ▽ More Let $I$ be a weakly polymatroidal ideal or a squarefree monomial ideal of a polynomial ring $S$. In this paper we provide a lower bound for the Stanley depth of $I$ and $S/I$. In particular we prove that if $I$ is a squarefree monomial ideal which is generated in a single degree, then ${\rm sdepth}(I)\geq n-\ell(I)+1$ and ${\rm sdepth}(S/I)\geq n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. This proves a conjecture of the author in a special case. △ Less

Submitted 23 February, 2013; originally announced February 2013.