Showing 1–50 of 68 results for author: HÀ, H T

Information Extraction from Scanned Invoice Images using Text Analysis and Layout Features

Authors: Hien Thi Ha, Aleš Horák

Abstract: While storing invoice content as metadata to avoid paper document processing may be the future trend, almost all of daily issued invoices are still printed on paper or generated in digital formats such as PDFs. In this paper, we introduce the OCRMiner system for information extraction from scanned document images which is based on text analysis techniques in combination with layout features to ext… ▽ More While storing invoice content as metadata to avoid paper document processing may be the future trend, almost all of daily issued invoices are still printed on paper or generated in digital formats such as PDFs. In this paper, we introduce the OCRMiner system for information extraction from scanned document images which is based on text analysis techniques in combination with layout features to extract indexing metadata of (semi-)structured documents. The system is designed to process the document in a similar way a human reader uses, i.e. to employ different layout and text attributes in a coordinated decision. The system consists of a set of interconnected modules that start with (possibly erroneous) character-based output from a standard OCR system and allow to apply different techniques and to expand the extracted knowledge at each step. Using an open source OCR, the system is able to recover the invoice data in 90% for English and in 88% for the Czech set. △ Less

Submitted 8 August, 2022; originally announced August 2022.

Comments: This is an author preprint of the article published by Elsevier in Signal Processing: Image Communication at https://doi.org/10.1016/j.image.2021.116601

Journal ref: Signal Processing: Image Communication 102 (2022)

Integral closures of powers of sums of ideals

Authors: Arindam Banerjee, Huy Tai Ha

Abstract: Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of those of $I$ and $J$. Particularly, for a positive rational number $u$, we prove that $(I+J)_u = \sum_{0 \le ω\le u, \ ω\in \mathbb{Q}} I_ωJ_{u-ω},$ and that t… ▽ More Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of those of $I$ and $J$. Particularly, for a positive rational number $u$, we prove that $(I+J)_u = \sum_{0 \le ω\le u, \ ω\in \mathbb{Q}} I_ωJ_{u-ω},$ and that the sum on the right hand side is a finite sum. This finite sum can be made more precise using jum** numbers of rational powers of $I$ and $J$. We further give sufficient conditions for this formula to hold for the integral closures of powers of $I+J$ in terms of those of $I$ and $J$. Under these conditions, we provide explicit formulas for the depth and regularity of $\overline{(I+J)^k}$ in terms of those of powers of $I$ and $J$. △ Less

Submitted 8 September, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: revision added connections to jum** numbers; 14 pages

MSC Class: 13C13; 90C05; 13D07

Journal ref: J. Algebraic Combin. 58 (2023), no. 1, 307-323

Binomial expansion for saturated and symbolic powers of sums of ideals

Authors: Huy Tai Ha, A. V. Jayanthan, Arvind Kumar, Hop D. Nguyen

Abstract: There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we interpret both notions of symbolic powers as suitable saturations of the ordinary powers. We prove a binomial expansion formula for saturated powers of sums of… ▽ More There are two different notions for symbolic powers of ideals existing in the literature, one defined in terms of associated primes, the other in terms of minimal primes. Elaborating on an idea known to Eisenbud, Herzog, Hibi, and Trung, we interpret both notions of symbolic powers as suitable saturations of the ordinary powers. We prove a binomial expansion formula for saturated powers of sums of ideals. This gives a uniform treatment to an array of existing and new results on both notions of symbolic powers of such sums: binomial expansion formulas, computations of depth and regularity, and criteria for the equality of ordinary and symbolic powers. △ Less

Submitted 17 December, 2021; originally announced December 2021.

Comments: 15 pages, Comments are welcome

MSC Class: 13C13; 13D07

Powers of componentwise linear ideals: The Herzog--Hibi--Ohsugi Conjecture and related problems

Authors: Huy Tai Ha, Adam Van Tuyl

Abstract: In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corre… ▽ More In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if $I$ is the cover ideal of a chordal graph, then $I^s$ is componentwise linear for all $s \geq 1$. We survey some of the basic properties of componentwise linear ideals, and then specialize to the progress on the Herzog-Hibi-Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 27 pages; comments welcome

Newton-Okounkov body, Rees algebra, and analytic spread of graded families of monomial ideals

Authors: Huy Tai Ha, Thai Thanh Nguyen

Abstract: Let $\mathcal{I} = \{I_k\}_{k \in \mathbb{N}}$ be a graded family of monomial ideal. We use the Newton-Okounkov body of $\mathcal{I}$ to: (a) give a characterization for the Noetherian property of the Rees algebra of the family; and (b) present a combinatorial interpretation for the analytic spread of the family. We also apply these results to investigate the generation type and the Veronese degre… ▽ More Let $\mathcal{I} = \{I_k\}_{k \in \mathbb{N}}$ be a graded family of monomial ideal. We use the Newton-Okounkov body of $\mathcal{I}$ to: (a) give a characterization for the Noetherian property of the Rees algebra of the family; and (b) present a combinatorial interpretation for the analytic spread of the family. We also apply these results to investigate the generation type and the Veronese degree of the symbolic Rees algebra of a monomial ideal. △ Less

Submitted 24 February, 2023; v1 submitted 31 October, 2021; originally announced November 2021.

Comments: v2 changes: updated results for families of m-primary homogeneous ideals

MSC Class: 13A30; 05E16; 05E40

Depth functions and symbolic depth functions of homogeneous ideals

Authors: Huy Tai Ha, Ngo Viet Trung

Abstract: We survey recent studies and results on the following problem: which numerical functions can be the depth function of powers and symbolic powers of homogeneous ideals. We survey recent studies and results on the following problem: which numerical functions can be the depth function of powers and symbolic powers of homogeneous ideals. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 13 pages

MSC Class: 13C15; 13D02; 14B05

Saturation bounds for smooth varieties

Authors: Lawrence Ein, Huy Tai Ha, Robert Lazarsfeld

Abstract: We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection ideals holds for any smooth variety. For curves, we bound the saturation degree of powers in terms of the regularity. We prove bounds on the saturation degrees of homogeneous ideals (and their powers) defining smooth complex projective varieties. For example, we show that a classical statement due to Macualay for zero-dimensional complete intersection ideals holds for any smooth variety. For curves, we bound the saturation degree of powers in terms of the regularity. △ Less

Submitted 2 April, 2021; originally announced April 2021.

MSC Class: 14F99; 13D02

Journal ref: Alg. Number Th. 16 (2022) 1531-1546

The Alexander-Hirschowitz theorem and related problems

Authors: Huy Tai Ha, Paolo Mantero

Abstract: We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we… ▽ More We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we could not find in the literature). Also, considering our intended audience, we have added (a) short appendices to make this survey more accessible and (b) a few open problems related to the Alexander-Hirschowitz theorem and the interpolation problems. △ Less

Submitted 13 August, 2021; v1 submitted 24 January, 2021; originally announced January 2021.

Comments: Comments are welcome

Density of $f$-ideals and $f$-ideals in mixed small degrees

Authors: Huy TÀi HÀ, Graham Keiper, Hasan Mahmood, Jonathan L. O'Rourke

Abstract: A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees. A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees. △ Less

Submitted 5 November, 2020; originally announced November 2020.

MSC Class: 13F55; 05E45; 05E40

Demailly's Conjecture and the Containment Problem

Authors: Sankhaneel Bisui, Eloísa Grifo, Huy Tài Hà, Thái Thành Nguyên

Abstract: We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly's bound, and prove that… ▽ More We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly's bound, and prove that a general version of that containment holds for generic determinantal ideals and defining ideals of star configurations. △ Less

Submitted 15 June, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: v3 changes: improved the containments shown for ideals of minors of generic matrices, minors of generic symmetric matrices, and pfaffians of generic skew symmetric matrices

Symbolic Powers of Cover Ideals of Graphs and Koszul Property

Authors: Yan Gu, Huy Tài Hà, Joseph W. Skelton

Abstract: We show that attaching a whisker (or a pendant) at the vertices of a cycle cover of a graph results in a new graph with the following property: all symbolic powers of its cover ideal are Koszul or, equivalently, componentwise linear. This extends previous work where the whiskers were added to all vertices or to the vertices of a vertex cover of the graph. We show that attaching a whisker (or a pendant) at the vertices of a cycle cover of a graph results in a new graph with the following property: all symbolic powers of its cover ideal are Koszul or, equivalently, componentwise linear. This extends previous work where the whiskers were added to all vertices or to the vertices of a vertex cover of the graph. △ Less

Submitted 15 May, 2021; v1 submitted 4 September, 2020; originally announced September 2020.

Journal ref: IJAC 31 (2021) 865 - 881

Chudnovsky's Conjecture and the stable Harbourne-Huneke containment

Authors: Sankhaneel Bisui, Eloísa Grifo, Huy Tài Hà, Thái Thành Nguyên

Abstract: In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky's Conjecture and the stable version of the Harbourne--Huneke containment conjectures for a general… ▽ More In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky's Conjecture and the stable version of the Harbourne--Huneke containment conjectures for a general set of sufficiently many points. △ Less

Submitted 15 June, 2021; v1 submitted 23 April, 2020; originally announced April 2020.

Max Min vertex cover and the size of Betti tables

Authors: Huy Tai Ha, Takayuki Hibi

Abstract: Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its… ▽ More Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its regularity must be 1. We also provide a full description for the spectrum of the projective dimension of $S/I(G)$ when the regularity attains its minimum value 1. △ Less

Submitted 15 April, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 14 pages; restructure and rewrite the introduction to highlight our main algebraic results

MSC Class: 05C70; 05E40; 13D02

Algebraic algorithms for even circuits in graphs

Authors: Huy Tai Ha, Susan Morey

Abstract: We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs. We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs. △ Less

Submitted 19 September, 2019; v1 submitted 6 July, 2019; originally announced July 2019.

Comments: 19 pages; final version

MSC Class: 05C38; 13D02; 05C20; 13A30

Journal ref: Mathematics 2019, 7, 859

Depth of powers of squarefree monomial ideals

Authors: Louiza Fouli, Huy Tài Hà, Susan Morey

Abstract: We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals. We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals. △ Less

Submitted 5 July, 2019; v1 submitted 30 June, 2019; originally announced July 2019.

Comments: Minor revision. arXiv admin note: substantial text overlap with arXiv:1810.01512

Depth functions of powers of homogeneous ideals

Authors: Huy Tai Ha, Hop Dang Nguyen, Ngo Viet Trung, Tran Nam Trung

Abstract: We settle a conjecture of Herzog and Hibi, which states that the function depth $S/Q^n$, $n \ge 1$, where $Q$ is a homogeneous ideal in a polynomial ring $S$, can be any convergent numerical function. We also give a positive answer to a long-standing open question of Ratliff on the associated primes of powers of ideals. We settle a conjecture of Herzog and Hibi, which states that the function depth $S/Q^n$, $n \ge 1$, where $Q$ is a homogeneous ideal in a polynomial ring $S$, can be any convergent numerical function. We also give a positive answer to a long-standing open question of Ratliff on the associated primes of powers of ideals. △ Less

Submitted 16 April, 2019; originally announced April 2019.

Comments: 9 pages. This paper is split from the first version of the paper "Symbolic powers of sums of ideals", arXiv:1702.01766, due to a recommendation of its referee

MSC Class: 13C15; 13D02; 14B05

Journal ref: Proc. Amer. Math. Soc. 149 (2021), 1837-1844

Resurgence numbers of fiber products of projective schemes

Authors: Sankhaneel Bisui, Huy Tai Ha, A. V. Jayanthan, Abu Chackalamannil Thomas

Abstract: We investigate the resurgence and asymptotic resurgence numbers of fiber products of projective schemes. Particularly, we show that while the asymptotic resurgence number of the k-fold fiber product of a projective scheme remains unchanged, its resurgence number could strictly increase. We investigate the resurgence and asymptotic resurgence numbers of fiber products of projective schemes. Particularly, we show that while the asymptotic resurgence number of the k-fold fiber product of a projective scheme remains unchanged, its resurgence number could strictly increase. △ Less

Submitted 22 April, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: 10 pages; remove the part about Chudnovsky's conjecture due to a gap in the proof

MSC Class: 13F20; 14N05; 13A02; 13P10

Fiber invariants of projective morphisms and regularity of powers of ideals

Authors: Sankhaneel Bisui, Huy Tai Ha, Abu Chackalamannil Thomas

Abstract: We introduce an invariant, associated to a coherent sheaf over a projective morphism of schemes, which controls when sheaf cohomology can be passed through the given morphism. We then use this invariant to estimate the stability indexes of the regularity and a*-invariant of powers of homogeneous ideals. We introduce an invariant, associated to a coherent sheaf over a projective morphism of schemes, which controls when sheaf cohomology can be passed through the given morphism. We then use this invariant to estimate the stability indexes of the regularity and a*-invariant of powers of homogeneous ideals. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 16 pages

MSC Class: 13D45; 13D02; 14B15; 14F05

Initially regular sequences and depths of ideals

Authors: Louiza Fouli, Huy Tai Ha, Susan Morey

Abstract: For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initia… ▽ More For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initially regular sequences on $R/I$. We identify situations where initially regular sequences are also regular sequences, and we show that our results can be combined with polarization to improve known depth bounds for general monomial ideals. △ Less

Submitted 28 June, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Comments: Major revision of Section 4. Section 5 moved to a new paper and replaced by applications

MSC Class: 13C15; 13D05; 05E40; 13F20; 13P10

Membership criteria and containments of powers of monomial ideals

Authors: Huy Tai Ha, Ngo Viet Trung

Abstract: We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This relationship leads to several new results and problems on the containments between these powers. We present a close relationship between matching number, covering numbers and their fractional versions in combinatorial optimization and ordinary powers, integral closures of powers, and symbolic powers of monomial ideals. This relationship leads to several new results and problems on the containments between these powers. △ Less

Submitted 18 January, 2019; v1 submitted 17 August, 2018; originally announced August 2018.

Comments: 25 pages, 2 figures

MSC Class: 13C05; 05C65; 90C27

Journal ref: Acta Mathematica Vietnamica 44 (2019), 117-139

Edge ideals of oriented graphs

Authors: Huy Tài Hà, Kuei-Nuan Lin, Susan Morey, Enrique Reyes, Rafael H. Villarreal

Abstract: Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the unde… ▽ More Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 22 pages, 2 figures

Symbolic powers of edge ideals of graphs

Authors: Yan Gu, Huy Tai Ha, Jonathan L. O'Rourke, Joseph W. Skelton

Abstract: Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural l… ▽ More Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$. △ Less

Submitted 24 February, 2019; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: 19 pages; remove condition on characteristic of the field, remove an incorrect corollary

MSC Class: 13D02; 13F55; 13P20

Regularity of powers of edge ideals: from local properties to global bounds

Authors: Arindam Banerjee, Selvi Kara, Huy Tai Ha

Abstract: Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{reg} I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{reg} I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method i… ▽ More Let $I = I(G)$ be the edge ideal of a graph $G$. We give various general upper bounds for the regularity function $\text{reg} I^s$, for $s \ge 1$, addressing a conjecture made by the authors and Alilooee. When $G$ is a gap-free graph and locally of regularity 2, we show that $\text{reg} I^s = 2s$ for all $s \ge 2$. This is a slightly weaker version of a conjecture of Nevo and Peeva. Our method is to investigate the regularity function $\text{reg}I^s$, for $s \ge 1$, via local information of $I$. △ Less

Submitted 14 April, 2019; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 17 pages, 6 figures

MSC Class: 13F20; 13D02; 05C25; 05C70; 05E40

Regularity of Edge Ideals and Their Powers

Authors: Arindam Banerjee, Selvi Kara, Huy Tai Ha

Abstract: We survey recent studies on the Castelnuovo-Mumford regularity of edge ideals of graphs and their powers. Our focus is on bounds and exact values of $\text{reg} I(G)$ and the asymptotic linear function $\text{reg} I(G)^q$, for $q \geq 1,$ in terms of combinatorial data of the given graph $G.$ We survey recent studies on the Castelnuovo-Mumford regularity of edge ideals of graphs and their powers. Our focus is on bounds and exact values of $\text{reg} I(G)$ and the asymptotic linear function $\text{reg} I(G)^q$, for $q \geq 1,$ in terms of combinatorial data of the given graph $G.$ △ Less

Submitted 11 March, 2018; v1 submitted 3 December, 2017; originally announced December 2017.

Comments: 31 pages, 15 figures

Depth and regularity modulo a principal ideal

Authors: Giulio Caviglia, Huy Tai Ha, Jürgen Herzog, Manoj Kummini, Naoki Terai, Ngo Viet Trung

Abstract: We study the relationship between depth and regularity of a homogeneous ideal I and those of (I,f) and I:f, where f is a linear form or a monomial. Our results has several interesting consequences on depth and regularity of edge ideals of hypegraphs and of powers of ideals. We study the relationship between depth and regularity of a homogeneous ideal I and those of (I,f) and I:f, where f is a linear form or a monomial. Our results has several interesting consequences on depth and regularity of edge ideals of hypegraphs and of powers of ideals. △ Less

Submitted 29 January, 2018; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 20 pages, published version, Journal of Algebraic Combinatorics 2018

MSC Class: 13C20 (Primary); 13D45; 14B05; 05C65 (Secondary)

Algebraic properties of toric rings of graphs

Authors: Selvi Kara, Huy Tai Ha, Augustine O'Keefe

Abstract: Let $G = (V,E)$ be a simple graph. We investigate the Cohen-Macaulayness and algebraic invariants, such as the Castelnuovo-Mumford regularity and the projective dimension, of the toric ring $k[G]$ via those of toric rings associated to induced subgraphs of $G$. Let $G = (V,E)$ be a simple graph. We investigate the Cohen-Macaulayness and algebraic invariants, such as the Castelnuovo-Mumford regularity and the projective dimension, of the toric ring $k[G]$ via those of toric rings associated to induced subgraphs of $G$. △ Less

Submitted 12 July, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 18 pages; changed title and re-organized sections to better exhibit results; correct the last main theorem

Symbolic powers of sums of ideals

Authors: Huy Tai Ha, Dang Hop Nguyen, Ngo Viet Trung, Tran Nam Trung

Abstract: Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas for the de… ▽ More Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas for the depth and the Castelnuovo-Mumford regularity of $(I+J)^{(n)}$, which depend on the interplay between the symbolic powers of $I$ and $J$. The proof involves a result of independent interest which states that under the above assumption, the induced map Tor$_i^A(k,I^{(n)}) \to$ Tor$_i^A(k,I^{(n-1)})$ is zero for all $i \ge 0$, $n \ge 0$. We also investigate other properties and invariants of $(I+J)^{(n)}$ such as the equality between ordinary and symbolic powers, the Waldschmidt constant and the Cohen-Macaulayness. △ Less

Submitted 16 April, 2019; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 22 pages, to appear in Math. Z.; This version does not contain the result on the depth function of powers of a homogeneous ideal, due to a recommendation of the referee

MSC Class: 13C15; 14B05; 13D07; 18G15

Journal ref: Mathematische Zeitschrift 294, 1499-1520 (2020)

Betti numbers of subgraphs

Authors: Huy Tai Ha, Duc Ho

Abstract: Let $G$ be a simple graph on $n$ vertices. Let $H$ be either the complete graph $K_m$ or the complete bipartite graph $K_{r,s}$ on a subset of the vertices in $G$. We show that $G$ contains $H$ as a subgraph if and only if $β_{i,α}(H) \le β_{i,α}(G)$ for all $i \ge 0$ and $α\in \mathbb{Z}^n$. In fact, it suffices to consider only the first syzygy module. In particular, we prove that… ▽ More Let $G$ be a simple graph on $n$ vertices. Let $H$ be either the complete graph $K_m$ or the complete bipartite graph $K_{r,s}$ on a subset of the vertices in $G$. We show that $G$ contains $H$ as a subgraph if and only if $β_{i,α}(H) \le β_{i,α}(G)$ for all $i \ge 0$ and $α\in \mathbb{Z}^n$. In fact, it suffices to consider only the first syzygy module. In particular, we prove that $β_{1,α}(H) \le β_{1,α}(G)$ for all $α\in \mathbb{Z}^n$ if and only if $G$ contains a subgraph that is isomorphic to either $H$ or a multipartite graph $K_{2,\dots,2,a,b}$. △ Less

Submitted 15 October, 2015; originally announced October 2015.

Comments: 12 pages

MSC Class: 13D02; 05C10

Journal ref: Australasian Journal of Combinatorics, Vol. 63(1) (2015), pp. 182-195

Depth and regularity of powers of sums of ideals

Authors: Huy Tai Ha, Ngo Viet Trung, Tran Nam Trung

Abstract: Given arbitrary homogeneous ideals $I$ and $J$ in polynomial rings $A$ and $B$ over a field $k$, we investigate the depth and the Castelnuovo-Mumford regularity of powers of the sum $I+J$ in $A \otimes_k B$ in terms of those of $I$ and $J$. Our results can be used to study the behavior of the depth and regularity functions of powers of an ideal. For instance, we show that such a depth function can… ▽ More Given arbitrary homogeneous ideals $I$ and $J$ in polynomial rings $A$ and $B$ over a field $k$, we investigate the depth and the Castelnuovo-Mumford regularity of powers of the sum $I+J$ in $A \otimes_k B$ in terms of those of $I$ and $J$. Our results can be used to study the behavior of the depth and regularity functions of powers of an ideal. For instance, we show that such a depth function can take as its values any infinite non-increasing sequence of non-negative integers. △ Less

Submitted 31 December, 2015; v1 submitted 24 January, 2015; originally announced January 2015.

Comments: 19 pages; to appear in Math. Z

MSC Class: 13C05

Growth of multiplicities of graded families of ideals

Authors: Huy Tai Ha, Pham An Vinh

Abstract: Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let $I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of $\mathfrak{m}$-primary ideals in $R$. We examine how far off from a polynomial can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically, we show that there exists a constant $γ> 0$ such that for all $n \ge 0$,… ▽ More Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d > 0$. Let $I_\bullet = \{I_n\}_{n \in \mathbb{N}}$ be a graded family of $\mathfrak{m}$-primary ideals in $R$. We examine how far off from a polynomial can the length function $\ell_R(R/I_n)$ be asymptotically. More specifically, we show that there exists a constant $γ> 0$ such that for all $n \ge 0$, $$\ell_R(R/I_{n+1}) - \ell_R(R/I_n) < γn^{d-1}.$$ △ Less

Submitted 2 September, 2014; originally announced September 2014.

Comments: 11 pages

MSC Class: 13H15; 13H05; 14B05; 14C20

Regularity of powers of forests and cycles

Authors: Selvi Kara, Huy Tai Ha, Tran Nam Trung

Abstract: Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G… ▽ More Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph. △ Less

Submitted 11 May, 2015; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: Changed title, 16 pages, 3 figures

MSC Class: 13D45; 05C38

Squarefree monomial ideals that fail the persistence property and non-increasing depth

Authors: Huy Tai Ha, Mengyao Sun

Abstract: In a recent work, Kaiser, Stehlík and Škrekovski provide a family of critically 3-chromatic graphs whose expansions do not result in critically 4-chromatic graphs, and thus give counterexamples to a conjecture of Francisco, Ha and Van Tuyl. The cover ideal of the smallest member of this family also gives a counterexample to the persistence and non-increasing depth properties. In this paper, we sho… ▽ More In a recent work, Kaiser, Stehlík and Škrekovski provide a family of critically 3-chromatic graphs whose expansions do not result in critically 4-chromatic graphs, and thus give counterexamples to a conjecture of Francisco, Ha and Van Tuyl. The cover ideal of the smallest member of this family also gives a counterexample to the persistence and non-increasing depth properties. In this paper, we show that the cover ideals of all members of their family of graphs indeed fail to have the persistence and non-increasing depth properties. △ Less

Submitted 5 September, 2014; v1 submitted 27 May, 2014; originally announced May 2014.

Comments: 14 pp; minor revision; to appear in Acta Mathematica Vietnamica

Regularity of squarefree monomial ideals

Authors: Huy Tai Ha

Abstract: We survey a number of recent studies of the Castelnuovo-Mumford regularity of squarefree monomial ideals. Our focus is on bounds and exact values for the regularity in terms of combinatorial data from associated simplicial complexes and/or hypergraphs. We survey a number of recent studies of the Castelnuovo-Mumford regularity of squarefree monomial ideals. Our focus is on bounds and exact values for the regularity in terms of combinatorial data from associated simplicial complexes and/or hypergraphs. △ Less

Submitted 4 November, 2013; v1 submitted 29 October, 2013; originally announced October 2013.

Comments: 23 pages; survey paper; minor changes in V.2

Symbolic Powers of Monomial Ideals

Authors: Susan M. Cooper, Robert J. D. Embree, Huy Tài Hà, Andrew H. Hoefel

Abstract: We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and $r$, where $e$ is the big-height of $I$ and $M = (x_0, \ldots, x_n)$. This captures two conjectures ($r=1$ and $r=e$): one of Harbourne-Huneke and one of Bocci-C… ▽ More We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal $I$ in $k[x_0, \ldots, x_n]$ we show $I^{t(m+e-1)-e+r)}$ is a subset of $M^{(t-1)(e-1)+r-1}(I^{(m)})^t$ for all positive integers $m$, $t$ and $r$, where $e$ is the big-height of $I$ and $M = (x_0, \ldots, x_n)$. This captures two conjectures ($r=1$ and $r=e$): one of Harbourne-Huneke and one of Bocci-Cooper-Harbourne. We also introduce the symbolic polyhedron of a monomial ideal and use this to explore symbolic powers of non-square-free monomial ideals. △ Less

Submitted 24 January, 2016; v1 submitted 19 September, 2013; originally announced September 2013.

Comments: 15 pages. Fixed typo

MSC Class: 13F20 (Primary) 13A02; 14N05 (Secondary)

Normal 0-1 polytopes

Authors: Huy Tai Ha, Kuei-Nuan Lin

Abstract: We study the question of when 0-1 polytopes are normal or, equivalently, having the integer decomposition property. In particular, we shall associate to each 0-1 polytope a labeled hypergraph, and examine the equality between its Ehrhart and polytopal rings via the combinatorial structures of the labeled hypergraph. We study the question of when 0-1 polytopes are normal or, equivalently, having the integer decomposition property. In particular, we shall associate to each 0-1 polytope a labeled hypergraph, and examine the equality between its Ehrhart and polytopal rings via the combinatorial structures of the labeled hypergraph. △ Less

Submitted 5 September, 2014; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: 16 pages; major revision with many changes; change title and update combinatorial terminology

Powers of squarefree monomial ideals and combinatorics

Authors: Christopher A. Francisco, Huy Tai Ha, Jeffrey Mermin

Abstract: We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we dis… ▽ More We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we discuss the equivalence between the Conforti-Cornuejols conjecture from linear programming and the question of when symbolic and ordinary powers of squarefree monomial ideals coincide. △ Less

Submitted 26 March, 2013; originally announced March 2013.

Comments: 18 pages, 2 figures

MSC Class: 13F55; 05C17; 05E40

Journal ref: In Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday, I. Peeva (ed.), 2013, pp. 373-392

Results on the regularity of square-free monomial ideals

Authors: Huy Tài Hà, Russ Woodroofe

Abstract: In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edg… ▽ More In a 2008 paper, the first author and Van Tuyl proved that the regularity of the edge ideal of a graph G is at most one greater than the matching number of G. In this note, we provide a generalization of this result to any square-free monomial ideal. We define a 2-collage in a simple hypergraph to be a collection of edges with the property that for any edge E of the hypergraph, there exists an edge F in the collage such that |E \ F| < 2. The Castelnuovo-Mumford regularity of the edge ideal of a simple hypergraph is bounded above by a multiple of the minimum size of a 2-collage. We also give a recursive formula to compute the regularity of a vertex-decomposable hypergraph. Finally, we show that regularity in the graph case is bounded by a certain statistic based on maximal packings of nondegenerate star subgraphs. △ Less

Submitted 15 November, 2016; v1 submitted 28 January, 2013; originally announced January 2013.

Comments: 14 pages + 3 page corrigendum, 2 figures. v2 has minor revisions for publication; v3 appends corrigendum with an updated proof of Lemma 3.4

Journal ref: Adv. Appl. Math 58 (2014) 21-36

Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes

Authors: Jennifer Biermann, Christopher A. Francisco, Huy Tài Hà, Adam Van Tuyl

Abstract: In attempting to understand how combinatorial modifications alter algebraic properties of monomial ideals, several authors have investigated the process of adding "whiskers" to graphs. In this paper, we study a similar construction to build a simplicial complex $Δ_χ$ from a coloring $χ$ of a subset of the vertices of $Δ$, and give necessary and sufficient conditions for this construction to produc… ▽ More In attempting to understand how combinatorial modifications alter algebraic properties of monomial ideals, several authors have investigated the process of adding "whiskers" to graphs. In this paper, we study a similar construction to build a simplicial complex $Δ_χ$ from a coloring $χ$ of a subset of the vertices of $Δ$, and give necessary and sufficient conditions for this construction to produce vertex decomposable simplicial complexes. We apply this work to strengthen and give new proofs about sequentially Cohen-Macaulay edge ideals of graphs. △ Less

Submitted 4 November, 2019; v1 submitted 13 September, 2012; originally announced September 2012.

MSC Class: 05E45; 13F55

AGATA - Advanced Gamma Tracking Array

Authors: S. Akkoyun, A. Algora, B. Alikhani, F. Ameil, G. de Angelis, L. Arnold, A. Astier, A. Ataç, Y. Aubert, C. Aufranc, A. Austin, S. Aydin, F. Azaiez, S. Badoer, D. L. Balabanski, D. Barrientos, G. Baulieu, R. Baumann, D. Bazzacco, F. A. Beck, T. Beck, P. Bednarczyk, M. Bellato, M. A. Bentley, G. Benzoni , et al. (329 additional authors not shown)

Abstract: The Advanced GAmma Tracking Array (AGATA) is a European project to develop and operate the next generation gamma-ray spectrometer. AGATA is based on the technique of gamma-ray energy tracking in electrically segmented high-purity germanium crystals. This technique requires the accurate determination of the energy, time and position of every interaction as a gamma ray deposits its energy within the… ▽ More The Advanced GAmma Tracking Array (AGATA) is a European project to develop and operate the next generation gamma-ray spectrometer. AGATA is based on the technique of gamma-ray energy tracking in electrically segmented high-purity germanium crystals. This technique requires the accurate determination of the energy, time and position of every interaction as a gamma ray deposits its energy within the detector volume. Reconstruction of the full interaction path results in a detector with very high efficiency and excellent spectral response. The realization of gamma-ray tracking and AGATA is a result of many technical advances. These include the development of encapsulated highly-segmented germanium detectors assembled in a triple cluster detector cryostat, an electronics system with fast digital sampling and a data acquisition system to process the data at a high rate. The full characterization of the crystals was measured and compared with detector-response simulations. This enabled pulse-shape analysis algorithms, to extract energy, time and position, to be employed. In addition, tracking algorithms for event reconstruction were developed. The first phase of AGATA is now complete and operational in its first physics campaign. In the future AGATA will be moved between laboratories in Europe and operated in a series of campaigns to take advantage of the different beams and facilities available to maximize its science output. The paper reviews all the achievements made in the AGATA project including all the necessary infrastructure to operate and support the spectrometer. △ Less

Submitted 17 September, 2012; v1 submitted 24 November, 2011; originally announced November 2011.

Comments: This version contains a correction of a ty** error in the caption of Fig. 2. The DOI to the article published in Nucl. Instr. Meth A was also added

The eventual shape of Betti tables of powers of ideals

Authors: Amir Bagheri, Marc Chardin, Huy Tai Ha

Abstract: Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as th… ▽ More Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large. △ Less

Submitted 1 July, 2013; v1 submitted 3 October, 2011; originally announced October 2011.

Comments: 15 pages; To appear in Math. Res. Letters

MSC Class: 13D45; 13D02

Hilbert functions of double point schemes in P^2

Authors: A. V. Geramita, Huy Tai Ha

Abstract: We study the question of whether there is a minimum Hilbert functions for double point schemes whose support is $s$ points with the generic Hilbert functions. Previous work shows that the question has an affirmative answer for $s \le 9$ and for $s$ equal to a binomial coefficient number. In this paper, we give evidence in the case when $s$ equals to a binomial coefficient number plus 1, and give a… ▽ More We study the question of whether there is a minimum Hilbert functions for double point schemes whose support is $s$ points with the generic Hilbert functions. Previous work shows that the question has an affirmative answer for $s \le 9$ and for $s$ equal to a binomial coefficient number. In this paper, we give evidence in the case when $s$ equals to a binomial coefficient number plus 1, and give an affirmative answer to the question when $s = 11$. △ Less

Submitted 16 September, 2011; originally announced September 2011.

Comments: Final version, to appear in Vietnam Journal of Mathematics

MSC Class: 13D02; 13D40; 14M05

Path ideals of rooted trees and their graded Betti numbers

Authors: Rachelle R. Bouchat, Huy Tai Ha, Augustine O'Keefe

Abstract: Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has… ▽ More Let $Γ$ be a rooted tree and let $t$ be a positive integer. We study algebraic invariants and properties of the path ideal generated by monomial corresponding to paths of length $(t-1)$ in $Γ$. In particular, we give a recursive formula to compute the graded Betti numbers, a general bound for the regularity, an explicit computation of the linear strand, and we characterize when this path ideal has a linear resolution. △ Less

Submitted 3 June, 2011; v1 submitted 27 August, 2010; originally announced August 2010.

Comments: 18 pages

Pure O-sequences and matroid h-vectors

Authors: Huy Tài Hà, Erik Stokes, Fabrizio Zanello

Abstract: We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it… ▽ More We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it in small socle degrees. This allows us to prove Stanley's conjecture for all matroids of rank 3. At the end of the paper, using our method, we discuss a first possible approach to Stanley's conjecture in full generality. Our technical work on pure O-sequences also uses very recent results of the third author and collaborators. △ Less

Submitted 24 May, 2012; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: Contains several changes/updates with respect to the previous version. In particular, a discussion of a possible approach to the general case is included at the end. 13 pages. To appear in the Annals of Combinatorics

MSC Class: 05B35 (Primary); 05E45; 05E40; 13H10; 13D40 (Secondary)

Journal ref: Annals of Comb. 17 (2013), no. 3, 495--508

Asymptotic linearity of regularity and a*-invariant of powers of ideals

Authors: Huy Tai Ha

Abstract: Let X = Proj R be a projective scheme over a field k, and let I be an ideal in R generated by forms of the same degree d. Let Y --> X be the blowing up of X along the subscheme defined by I, and let f: Y --> Z be the projection of Y given by the divisor dH - E, where E is the exceptional divisor of the blowup and H is the pullback of a general hyperplane in X. We investigate how the asymptotic l… ▽ More Let X = Proj R be a projective scheme over a field k, and let I be an ideal in R generated by forms of the same degree d. Let Y --> X be the blowing up of X along the subscheme defined by I, and let f: Y --> Z be the projection of Y given by the divisor dH - E, where E is the exceptional divisor of the blowup and H is the pullback of a general hyperplane in X. We investigate how the asymptotic linearity of the regularity and a*-invariant of I^q (for q large) is related to invariants of fibers of f. △ Less

Submitted 6 April, 2010; v1 submitted 29 November, 2009; originally announced November 2009.

Comments: 11 pages, revision: get rid of the condition that R is a polynomial ring in the last theorem.

MSC Class: 13D45; 13D02; 14B15; 14F05

A conjecture on critical graphs and connections to the persistence of associated primes

Authors: Christopher A. Francisco, Huy Tai Ha, Adam Van Tuyl

Abstract: We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the… ▽ More We introduce a conjecture about constructing critically (s+1)-chromatic graphs from critically s-chromatic graphs. We then show how this conjecture implies that any unmixed height two square-free monomial ideal I, i.e., the cover ideal of a finite simple graph, has the persistence property, that is, Ass(R/I^s) \subseteq Ass(R/I^{s+1}) for all s >= 1. To support our conjecture, we prove that the statement is true if we also assume that χ_f(G), the fractional chromatic number of the graph G, satisfies χ(G) -1 < χ_f(G) <= χ(G). We give an algebraic proof of this result. △ Less

Submitted 19 April, 2010; v1 submitted 10 November, 2009; originally announced November 2009.

Comments: 11 pages; Minor changes throughout the paper; to appear in Discrete Math.

MSC Class: 13F55; 05C17; 05C38; 05E99

Colorings of hypergraphs, perfect graphs, and associated primes of powers of monomial ideals

Authors: Christopher A. Francisco, Huy Tai Ha, Adam Van Tuyl

Abstract: There is a natural one-to-one correspondence between squarefree monomial ideals and finite simple hypergraphs via the cover ideal construction. Let H be a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial ring R. We give an explicit description of all associated primes of R/J^s, for any power J^s of J, in terms of the coloring properties of hypergraphs arising from H. W… ▽ More There is a natural one-to-one correspondence between squarefree monomial ideals and finite simple hypergraphs via the cover ideal construction. Let H be a finite simple hypergraph, and let J = J(H) be its cover ideal in a polynomial ring R. We give an explicit description of all associated primes of R/J^s, for any power J^s of J, in terms of the coloring properties of hypergraphs arising from H. We also give an algebraic method for determining the chromatic number of H, proving that it is equivalent to a monomial ideal membership problem involving powers of J. Our work yields two new purely algebraic characterizations of perfect graphs, independent of the Strong Perfect Graph Theorem; the first characterization is in terms of the sets Ass(R/J^s), while the second characterization is in terms of the saturated chain condition for associated primes. △ Less

Submitted 2 November, 2010; v1 submitted 11 August, 2009; originally announced August 2009.

Comments: 20 pages; v2 contains relatively minor changes in presentation and updated references. To appear in J. Algebra

MSC Class: 13F55; 05C17; 05C38; 05E99

Splittings of monomial ideals

Authors: Christopher A. Francisco, Huy Tai Ha, Adam Van Tuyl

Abstract: We provide some new conditions under which the graded Betti numbers of a monomial ideal can be computed in terms of the graded Betti numbers of smaller ideals, thus complementing Eliahou and Kervaire's splitting approach. As applications, we show that edge ideals of graphs are splittable, and we provide an iterative method for computing the Betti numbers of the cover ideals of Cohen-Macaulay bip… ▽ More We provide some new conditions under which the graded Betti numbers of a monomial ideal can be computed in terms of the graded Betti numbers of smaller ideals, thus complementing Eliahou and Kervaire's splitting approach. As applications, we show that edge ideals of graphs are splittable, and we provide an iterative method for computing the Betti numbers of the cover ideals of Cohen-Macaulay bipartite graphs. Finally, we consider the frequency with which one can find particular splittings of monomial ideals and raise questions about ideals whose resolutions are characteristic-dependent. △ Less

Submitted 13 February, 2009; v1 submitted 14 July, 2008; originally announced July 2008.

Comments: minor changes: added Cor. 3.10 and some references. To appear in Proc. Amer. Math. Soc

MSC Class: 13D02; 13P10; 13F55; 05C99

Associated primes of monomial ideals and odd holes in graphs

Authors: Christopher A. Francisco, Huy Tai Ha, Adam Van Tuyl

Abstract: Let $G$ be a finite simple graph with edge ideal $I(G)$. Let $J(G)$ denote the Alexander dual of $I(G)$. We show that a description of all induced cycles of odd length in $G$ is encoded in the associated primes of $J(G)^2$. This result forms the basis for a method to detect odd induced cycles of a graph via ideal operations, e.g., intersections, products and colon operations. Moreover, we get a… ▽ More Let $G$ be a finite simple graph with edge ideal $I(G)$. Let $J(G)$ denote the Alexander dual of $I(G)$. We show that a description of all induced cycles of odd length in $G$ is encoded in the associated primes of $J(G)^2$. This result forms the basis for a method to detect odd induced cycles of a graph via ideal operations, e.g., intersections, products and colon operations. Moreover, we get a simple algebraic criterion for determining whether a graph is perfect. We also show how to determine the existence of odd holes in a graph from the value of the arithmetic degree of $J(G)^2$. △ Less

Submitted 7 January, 2010; v1 submitted 6 June, 2008; originally announced June 2008.

Comments: 14 pages. In v2, paper has been rewritten and shortened. To appear in J. Algebraic Combin

MSC Class: 13F55; 05C17; 05C38; 05E99

Embedded Associated Primes of Powers of Square-free Monomial Ideals

Authors: Huy Tai Ha, Susan Morey

Abstract: An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all natural numbers t. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than beta_1, where beta_1… ▽ More An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all natural numbers t. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than beta_1, where beta_1 is the monomial grade of I, which is equal to the matching number of the hypergraph H(I) associated to I. If in addition I fails to have the packing property, then embedded primes of I^t do occur when t=beta_1 +1. As an application, we investigate how these results relate to a conjecture of Conforti and Cornuéjols. △ Less

Submitted 24 April, 2009; v1 submitted 23 May, 2008; originally announced May 2008.

Comments: 15 pages, changes have been made to the title, introduction, and background material, and an example has been added. To appear in JPAA

MSC Class: 13A17; 13F55; 13C65; 90C27

Cohen-Macaulay admissible clutters

Authors: Huy Tai Ha, Susan Morey, Rafael H. Villarreal

Abstract: There is a one-to-one correspondence between square-free monomial ideals and clutters, which are also known as simple hypergraphs. It was conjectured that unmixed admissible clutters are Cohen-Macaulay. We prove the conjecture for uniform admissible clutters of heights 2 and 3. For admissible clutters of greater heights, we give a family of examples to show that the conjecture may fail. When the… ▽ More There is a one-to-one correspondence between square-free monomial ideals and clutters, which are also known as simple hypergraphs. It was conjectured that unmixed admissible clutters are Cohen-Macaulay. We prove the conjecture for uniform admissible clutters of heights 2 and 3. For admissible clutters of greater heights, we give a family of examples to show that the conjecture may fail. When the height is 4, we give an additional condition under which unmixed admissible clutters are Cohen-Macaulay. △ Less

Submitted 9 March, 2008; originally announced March 2008.

Comments: 13 pages, final version to appear in J. Comm. Alg

MSC Class: 13F55; 05C65; 05C75