Showing 1–44 of 44 results for author: Sengupta, I

Tangent Cones of Concatenated Numerical Semigroups

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We study the tangent cone at the origin and the Hilbert series for a family of numerical semigroups generated by concatenation of arithmetic sequences. We prove that all the concatenation classes have Cohen-Macaulay tangent cones except the symmetric class, however, the symmetric class does satisfy Rossi's conjecture. We study the tangent cone at the origin and the Hilbert series for a family of numerical semigroups generated by concatenation of arithmetic sequences. We prove that all the concatenation classes have Cohen-Macaulay tangent cones except the symmetric class, however, the symmetric class does satisfy Rossi's conjecture. △ Less

Submitted 11 June, 2025; originally announced June 2025.

MSC Class: 13C40; 13P10

Projective Closure of Semigroup Algebras

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: This paper investigates the projective closure of simplicial affine semigroups in $\mathbb{N}^{d}$, $d \geq 2$. We present a characterization of the Cohen-Macaulay property for the projective closure of these semigroups using Gröbner bases. Additionally, we establish a criterion, based on Gröbner bases, for determining the Buchsbaum property of non-Cohen-Macaulay projective closures of numerical s… ▽ More This paper investigates the projective closure of simplicial affine semigroups in $\mathbb{N}^{d}$, $d \geq 2$. We present a characterization of the Cohen-Macaulay property for the projective closure of these semigroups using Gröbner bases. Additionally, we establish a criterion, based on Gröbner bases, for determining the Buchsbaum property of non-Cohen-Macaulay projective closures of numerical semigroup rings. Lastly, we introduce the concept of $k$-lifting for simplicial affine semigroups in $\mathbb{N}^d$, and investigate its relationship with the original simplicial affine semigroup. △ Less

Submitted 21 May, 2024; v1 submitted 18 May, 2024; originally announced May 2024.

Join of affine semigroups

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: In this paper, we study the class of affine semigroup generated by integral vectors, whose components are in generalised arithmetic progression and we observe that the defining ideal is determinantal. We also give a sufficient condition on the defining ideal of the semigroup ring for the equality of the Betti numbers of the defining ideal and those of its initial ideal. We introduce the notion of… ▽ More In this paper, we study the class of affine semigroup generated by integral vectors, whose components are in generalised arithmetic progression and we observe that the defining ideal is determinantal. We also give a sufficient condition on the defining ideal of the semigroup ring for the equality of the Betti numbers of the defining ideal and those of its initial ideal. We introduce the notion of an affine semigroup generated by join of two affine semigroups and show that this affine semigroup exhibits some nice properties including Cohen-Macaulayness. △ Less

Submitted 15 May, 2023; originally announced May 2023.

MSC Class: 13H10; 13P10; 13P20

Affine semigroups of maximal projective dimension-II

Authors: Om Prakash Bhardwaj, Indranath Sengupta

Abstract: If the Krull dimension of the semigroup ring is greater than one, then affine semigroups of maximal projective dimension ($\mathrm{MPD}$) are not Cohen-Macaulay, but they may be Buchsbaum. We give a necessary and sufficient condition for simplicial $\mathrm{MPD}$-semigroups to be Buchsbaum in terms of pseudo-Frobenius elements. We give certain characterizations of $\prec$-almost symmetric… ▽ More If the Krull dimension of the semigroup ring is greater than one, then affine semigroups of maximal projective dimension ($\mathrm{MPD}$) are not Cohen-Macaulay, but they may be Buchsbaum. We give a necessary and sufficient condition for simplicial $\mathrm{MPD}$-semigroups to be Buchsbaum in terms of pseudo-Frobenius elements. We give certain characterizations of $\prec$-almost symmetric $\mathcal{C}$-semigroups. When the cone is full, we prove the irreducible $\mathcal{C}$-semigroups, and $\prec$-almost symmetric $\mathcal{C}$-semigroups with Betti-type three satisfy the extended Wilf's conjecture. For $e \geq 4$, we give a class of MPD-semigroups in $\mathbb{N}^2$ such that there is no upper bound on the Betti-type in terms of embedding dimension $e$. Thus, the Betti-type may not be a bounded function of the embedding dimension. We further explore the submonoids of $\mathbb{N}^d$, which satisfy the Arf property. △ Less

Submitted 19 July, 2023; v1 submitted 28 April, 2023; originally announced April 2023.

MSC Class: 13A02; 13D02; 20M14; 20M25

The $\mathrm{v}$-Number of Binomial Edge Ideals

Authors: Siddhi Balu Ambhore, Kamalesh Saha, Indranath Sengupta

Abstract: The invariant $\mathrm{v}$-number was introduced very recently in the study of Reed-Muller-type codes. Jaramillo and Villarreal (J Combin. Theory Ser. A 177:105310, 2021) initiated the study of the $\mathrm{v}$-number of edge ideals. Inspired by their work, we take the initiation to study the $\mathrm{v}$-number of binomial edge ideals in this paper. We discuss some properties and bounds of the… ▽ More The invariant $\mathrm{v}$-number was introduced very recently in the study of Reed-Muller-type codes. Jaramillo and Villarreal (J Combin. Theory Ser. A 177:105310, 2021) initiated the study of the $\mathrm{v}$-number of edge ideals. Inspired by their work, we take the initiation to study the $\mathrm{v}$-number of binomial edge ideals in this paper. We discuss some properties and bounds of the $\mathrm{v}$-number of binomial edge ideals. We explicitly find the $\mathrm{v}$-number of binomial edge ideals locally at the associated prime corresponding to the cutset $\emptyset$. We show that the $\mathrm{v}$-number of Knutson binomial edge ideals is less than or equal to the $\mathrm{v}$-number of their initial ideals. Also, we classify all binomial edge ideals whose $\mathrm{v}$-number is $1$. Moreover, we try to relate the $\mathrm{v}$-number with the Castelnuvo-Mumford regularity of binomial edge ideals and give a conjecture in this direction. △ Less

Submitted 13 April, 2023; originally announced April 2023.

MSC Class: 13F20; 13F65; 05E40; 05C25

Some asymptotics for short maturity Asian options

Authors: Humayra Shoshi, Indranil SenGupta

Abstract: Most of the existing methods for pricing Asian options are less efficient in the limit of small maturities and small volatilities. In this paper, we use the large deviations theory for the analysis of short-maturity Asian options. We present a local volatility model for the underlying market that incorporates a jump term in addition to the drift and diffusion terms. We estimate the asymptotics for… ▽ More Most of the existing methods for pricing Asian options are less efficient in the limit of small maturities and small volatilities. In this paper, we use the large deviations theory for the analysis of short-maturity Asian options. We present a local volatility model for the underlying market that incorporates a jump term in addition to the drift and diffusion terms. We estimate the asymptotics for the out-of-the-money, in-the-money, and at-the-money short-maturity Asian call and put options. Under appropriate assumptions, we show that the asymptotics for out-of-the-money Asian call and put options are governed by rare events. For the at-the-money Asian options, the result is more involved and in that case, we find the upper and lower bounds of the asymptotics of the Asian option price. △ Less

Submitted 14 September, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

MSC Class: 60G51; 60F10

Journal ref: Stochastic Models, 2024

Derivation module and its Poincaré series of the projective closure of certain affine curves

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: Our aim in this paper is to compute the Poincaré series of the derivation module of the projective closure of certain affine monomial curves. Our aim in this paper is to compute the Poincaré series of the derivation module of the projective closure of certain affine monomial curves. △ Less

Submitted 22 December, 2022; originally announced December 2022.

MSC Class: 13N15; 13H10

Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: Conca and Varbaro (Invent. Math. 221 (2020), no. 3) showed the equality of depth of a graded ideal and its initial ideal in a polynomial ring when the initial ideal is square-free. In this paper, we give some beautiful applications of this fact in the study of Cohen-Macaulay binomial edge ideals. We prove that for the characterization of Cohen-Macaulay binomial edge ideals, it is enough to conside… ▽ More Conca and Varbaro (Invent. Math. 221 (2020), no. 3) showed the equality of depth of a graded ideal and its initial ideal in a polynomial ring when the initial ideal is square-free. In this paper, we give some beautiful applications of this fact in the study of Cohen-Macaulay binomial edge ideals. We prove that for the characterization of Cohen-Macaulay binomial edge ideals, it is enough to consider only "biconnected graphs with some whisker attached" and this done by investigating the initial ideals. We give several necessary conditions for a binomial edge ideal to be Cohen-Macaulay in terms of smaller graphs. Also, under a hypothesis, we give a sufficient condition for Cohen-Macaulayness of binomial edge ideals in terms of blocks of graphs. Moreover, we show that a graph with Cohen-Macaulay binomial edge ideal has girth less than $5$ or equal to infinity. △ Less

Submitted 10 September, 2024; v1 submitted 12 December, 2022; originally announced December 2022.

MSC Class: 13C14; 13F65; 13F55; 05E40; 05C25

Derivation module and the Hilbert-Kunz multiplicity of the co-ordinate ring of a projective monomial curve

Authors: Om Prakash Bhardwaj, Indranath Sengupta

Abstract: Let $n_0, n_1, \ldots, n_p$ be a sequence of positive integers such that $n_0 < n_1 < \cdots < n_p$ and $\mathrm{gcd}(n_0,n_1, \ldots,n_p) = 1$. Let $S = \langle (0,n_p), (n_0,n_p-n_0),\ldots,(n_{p-1},n_p-n_{p-1}), (n_p,0) \rangle$ be an affine semigroup in $\mathbb{N}^2$. The semigroup ring $k[S]$ is the co-ordinate ring of the projective monomial curve in the projective space… ▽ More Let $n_0, n_1, \ldots, n_p$ be a sequence of positive integers such that $n_0 < n_1 < \cdots < n_p$ and $\mathrm{gcd}(n_0,n_1, \ldots,n_p) = 1$. Let $S = \langle (0,n_p), (n_0,n_p-n_0),\ldots,(n_{p-1},n_p-n_{p-1}), (n_p,0) \rangle$ be an affine semigroup in $\mathbb{N}^2$. The semigroup ring $k[S]$ is the co-ordinate ring of the projective monomial curve in the projective space $\mathbb{P}_k^{p+1}$, which is defined parametrically by \begin{center} $x_0 = v^{n_p}, \quad x_1 = u^{n_0}v^{n_p-n_0},\quad \ldots , \quad x_p= u^{n_{p-1}}v^{n_p-n_{p-1}}, \quad x_{p+1} = u^{n_p}$. \end{center} In this article, we consider the case when $n_0, n_1, \ldots, n_p$ forms an arithmetic sequence, and give an explicit set of minimal generators for the derivation module $\mathrm{Der}_k(k[S])$. Further, we give an explicit formula for the Hilbert-Kunz multiplicity of the co-ordinate ring of a projective monomial curve. △ Less

Submitted 18 July, 2023; v1 submitted 21 October, 2022; originally announced October 2022.

MSC Class: 20M25; 13N15; 13D40

On the Associated Graded ring of Semigroup Algebras

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gröbner basis. We generalize the concept of homogeneous numerical semigroup for the simplicial affine semigroup and show that the Betti numbers of the corresponding semigroup ring matches with the Betti numbers of the associated graded ring… ▽ More In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gröbner basis. We generalize the concept of homogeneous numerical semigroup for the simplicial affine semigroup and show that the Betti numbers of the corresponding semigroup ring matches with the Betti numbers of the associated graded ring. We also define the nice extension for simplicial affine semigroups, motivated by the notion of a nice extension of the numerical semigroups. △ Less

Submitted 14 October, 2022; originally announced October 2022.

MSC Class: 13H10; 13P10; 20M25

On the algebraic invariants of certain affine semigroup algebras

Authors: Om Prakash Bhardwaj, Indranath Sengupta

Abstract: Let $a$ and $d$ be two linearly independent vectors in $\mathbb{N}^2$, over the field of rational numbers. For a positive integer $k \geq 2$, consider the sequence $a, a+d, \ldots, a+kd$ such that the affine semigroup $S_{a,d,k} = \langle a, a+d, \ldots, a+kd \rangle$ is minimally generated by this sequence. We study the properties of affine semigroup algebra $k[S_{a,d,k}]$ associated to this semi… ▽ More Let $a$ and $d$ be two linearly independent vectors in $\mathbb{N}^2$, over the field of rational numbers. For a positive integer $k \geq 2$, consider the sequence $a, a+d, \ldots, a+kd$ such that the affine semigroup $S_{a,d,k} = \langle a, a+d, \ldots, a+kd \rangle$ is minimally generated by this sequence. We study the properties of affine semigroup algebra $k[S_{a,d,k}]$ associated to this semigroup. We prove that $k[S_{a,d,k}]$ is always Cohen-Macaulay and it is Gorenstein if and only if $k=2$. For $k=2,3,4$, we explicitly compute the syzygies, minimal graded free resolution and Hilbert series of $k[S_{a,d,k}].$ We also give a minimal generating set and a Gröbner basis of the defining ideal of $k[S_{a,d,k}].$ Consequently, we prove that $k[S_{a,d,k}]$ is Koszul. Finally, we prove that the Castelnuovo-Mumford regularity of $k[S_{a,d,k}]$ is $1$ for any $a,d,k.$ △ Less

Submitted 6 July, 2022; originally announced July 2022.

Cohen-Macaulay Binomial edge ideals in terms of blocks with whiskers

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: For a graph $G$, Bolognini et al. have shown $J_{G}$ is strongly unmixed $\Rightarrow$ $J_{G}$ is Cohen-Macaulay $\Rightarrow$ $G$ is accessible, where $J_{G}$ denotes the binomial edge ideals of $G$. Accessible and strongly unmixed properties are purely combinatorial. We give some motivations to focus only on blocks with whiskers for the characterization of all $G$ with Cohen-Macaulay $J_{G}$. We… ▽ More For a graph $G$, Bolognini et al. have shown $J_{G}$ is strongly unmixed $\Rightarrow$ $J_{G}$ is Cohen-Macaulay $\Rightarrow$ $G$ is accessible, where $J_{G}$ denotes the binomial edge ideals of $G$. Accessible and strongly unmixed properties are purely combinatorial. We give some motivations to focus only on blocks with whiskers for the characterization of all $G$ with Cohen-Macaulay $J_{G}$. We show that accessible and strongly unmixed properties of $G$ depend only on the corresponding properties of its blocks with whiskers and vice versa. Also, we give an infinite class of graphs whose binomial edge ideals are Cohen-Macaulay, and from that, we classify all $r$-regular $r$-connected graphs such that attaching some special whiskers to it, the binomial edge ideals become Cohen-Macaulay. Finally, we define a new class of graphs, called \textit{strongly $r$-cut-connected} and prove that the binomial edge ideal of any strongly $r$-cut-connected accessible graph having at most three cut vertices is Cohen-Macaulay. △ Less

Submitted 9 March, 2022; originally announced March 2022.

MSC Class: 05C25; 13C05; 13F65; 13H10

Cohen-Macaulay Weighted Oriented Edge Ideals and its Alexander Dual

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: The study of the edge ideal $I(D_{G})$ of a weighted oriented graph $D_{G}$ with underlying graph $G$ started in the context of Reed-Muller type codes. We generalize a Cohen-Macaulay construction for $I(D_{G})$, which Villarreal gave for edge ideals of simple graphs. We use this construction to classify all the Cohen-Macaulay weighted oriented edge ideals, whose underlying graph is a cycle. We sho… ▽ More The study of the edge ideal $I(D_{G})$ of a weighted oriented graph $D_{G}$ with underlying graph $G$ started in the context of Reed-Muller type codes. We generalize a Cohen-Macaulay construction for $I(D_{G})$, which Villarreal gave for edge ideals of simple graphs. We use this construction to classify all the Cohen-Macaulay weighted oriented edge ideals, whose underlying graph is a cycle. We show that the conjecture on Cohen-Macaulayness of $I(D_{G})$, proposed by Pitones et al. (2019), holds for $I(D_{C_{n}})$, where $C_{n}$ denotes the cycle of length $n$. Miller generalized the concept of Alexander dual ideals of square-free monomial ideals to arbitrary monomial ideals, and in that direction, we study the Alexander dual of $I(D_{G})$ and its conditions to be Cohen-Macaulay. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 26 pages

MSC Class: 05C22; 05C25; 13F20; 13H10

Unboundedness of the first and the last Betti numbers of Numerical Semigroups Generated by Concatenation

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We show that the minimal number of generators and the Cohen-Macaulay type of a family of numerical semigroups generated by concatenation of arithmetic sequences is unbounded. We show that the minimal number of generators and the Cohen-Macaulay type of a family of numerical semigroups generated by concatenation of arithmetic sequences is unbounded. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Projective Closure of Affine Monomial Curves II

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: In this paper our aim is twofold. First, we introduce the notion of star gluing of numerical semigroups and show that arithmetically Cohen-Macaulay and Gorenstein properties of the projective closure are preserved under this gluing operation. We then give a condition on Gröbner basis of the defining ideal of an affine monomial curve which ensures that the Betti sequence of the affine curve is the… ▽ More In this paper our aim is twofold. First, we introduce the notion of star gluing of numerical semigroups and show that arithmetically Cohen-Macaulay and Gorenstein properties of the projective closure are preserved under this gluing operation. We then give a condition on Gröbner basis of the defining ideal of an affine monomial curve which ensures that the Betti sequence of the affine curve is the same as the Betti sequence of its projective closure. We also study the effect of simple gluing on Betti sequences of the projective closure. Finally, we construct some numerical semigroups, using a gluing technique, such that the Cohen-Macaulay type of corresponding affine curve and its projective closure are both $n$. △ Less

Submitted 5 April, 2022; v1 submitted 25 November, 2021; originally announced November 2021.

Comments: 23 pages

MSC Class: 13D02; 13F055; 13P10; 13P20

The $\mathrm{v}$-number of Monomial Ideals

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: We generalize some results of $\mathrm{v}$-number for arbitrary monomial ideals by showing that the $\mathrm{v}$-number of an arbitrary monomial ideal is the same as the $\mathrm{v}$-number of its polarization. We prove that the $\mathrm{v}$-number $\mathrm{v}(I(G))$ of the edge ideal $I(G)$, the induced matching number $\mathrm{im}(G)$ and the regularity $\mathrm{reg}(R/I(G))$ of a graph $G$, sat… ▽ More We generalize some results of $\mathrm{v}$-number for arbitrary monomial ideals by showing that the $\mathrm{v}$-number of an arbitrary monomial ideal is the same as the $\mathrm{v}$-number of its polarization. We prove that the $\mathrm{v}$-number $\mathrm{v}(I(G))$ of the edge ideal $I(G)$, the induced matching number $\mathrm{im}(G)$ and the regularity $\mathrm{reg}(R/I(G))$ of a graph $G$, satisfy $\mathrm{v}(I(G))\leq \mathrm{im}(G)\leq \mathrm{reg}(R/I(G))$, where $G$ is either a bipartite graph, or a $(C_{4},C_{5})$-free vertex decomposable graph, or a whisker graph. There is an open problem in \cite{v}, whether $\mathrm{v}(I)\leq \mathrm{reg}(R/I)+1$ for any square-free monomial ideal $I$. We show that $\mathrm{v}(I(G))>\mathrm{reg}(R/I(G))+1$, for a disconnected graph $G$. We derive some inequalities of $\mathrm{v}$-numbers which may be helpful to answer the above problem for the case of connected graphs. We connect $\mathrm{v}(I(G))$ with an invariant of the line graph $L(G)$ of $G$. For a simple connected graph $G$, we show that $\mathrm{reg}(R/I(G))$ can be arbitrarily larger than $\mathrm{v}(I(G))$. Also, we try to see how the $\mathrm{v}$-number is related to the Cohen-Macaulay property of square-free monomial ideals. △ Less

Submitted 3 March, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: By adding Lemma 3.2, we have modified Proposition 3.2 (in v1) to Proposition 3.3 (in v2). Also, Theorem 3.3, Proposition 3.4, Proposition 3.5 have been modified to Theorem 3.4, Proposition 3.7, Proposition 3.9, respectively. We have added Lemma 3.8 to modify the proof of Proposition 3.9 (v2). Also, Corollary 3.5 and Example 3.6 have been added

MSC Class: 13F20; 13F55; 05C70; 05E40; 13H10

Affine semigroups of maximal projective dimension

Authors: Om Prakash Bhardwaj, Kriti Goel, Indranath Sengupta

Abstract: We generalize the notion of symmetric semigroups, pseudo symmetric semigroups, and row factorization matrices for pseudo Frobenius elements of numerical semigroups to the case of semigroups with maximal projective dimension (MPD semigroups). We generalize the notion of symmetric semigroups, pseudo symmetric semigroups, and row factorization matrices for pseudo Frobenius elements of numerical semigroups to the case of semigroups with maximal projective dimension (MPD semigroups). △ Less

Submitted 24 August, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Comments: The name Betti-type has been introduced, which is meaningful even for semigroups which are not Cohen-Macaulay. Extended abstract published in the proceedings of FPSAC 2022. The paper will appear in the journal Collectanea Mathematica

MSC Class: 20M14; 20M25; 13A02; 13D02

Colon structure of associated primes of monomial ideals

Authors: Ambhore Siddhi Balu, Indranath Sengupta

Abstract: We find an explicit expression of the associated primes of monomial ideals as a colon by an element $v$, using the unique irredundant irreducible decomposition whose irreducible components are monomial ideals (Theorem 3.1). An algorithm to compute $v$ is given using Macaulay2 (Section 7). For squarefree monomial ideals the problem is related to the combinatorics of the underlying clutter or graph… ▽ More We find an explicit expression of the associated primes of monomial ideals as a colon by an element $v$, using the unique irredundant irreducible decomposition whose irreducible components are monomial ideals (Theorem 3.1). An algorithm to compute $v$ is given using Macaulay2 (Section 7). For squarefree monomial ideals the problem is related to the combinatorics of the underlying clutter or graph (Proposition 4.3). For ideals of Borel type the monomial $f$ takes a simpler form (Proposition 5.2). The authors classify when $f$ is unique (Proposition 6.2). △ Less

Submitted 3 February, 2022; v1 submitted 3 May, 2021; originally announced May 2021.

Comments: Revised with minor changes

MSC Class: 13F55; 13P99

On Row-Factorization relations of certain numerical semigroups

Authors: Om Prakash Bhardwaj, Kriti Goel, Indranath Sengupta

Abstract: Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a description of a possible row-factorization $(\RF)$ matrix for each pseudo-Frobenius element of $H.$ Further, when $H$ is symmetric and has embedding dimension 4 or 5, we prove that the defining ideal is minimally generated by $\RF$-relations. Let $H$ be a numerical semigroup minimally generated by an almost arithmetic sequence. We give a description of a possible row-factorization $(\RF)$ matrix for each pseudo-Frobenius element of $H.$ Further, when $H$ is symmetric and has embedding dimension 4 or 5, we prove that the defining ideal is minimally generated by $\RF$-relations. △ Less

Submitted 24 August, 2022; v1 submitted 1 May, 2021; originally announced May 2021.

Comments: A revised version, 24 pages. To appear in IJAC

MSC Class: 20M14; 20M25; 13A02

ASL structures of some quadrics

Authors: Joydip Saha, Indranath Sengupta

Abstract: Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the $1\times 1$ minors of the matrix $XY$. We prove that the quotient ring $K[X, Y]/I_{1}(XY)$ admits an… ▽ More Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the $1\times 1$ minors of the matrix $XY$. We prove that the quotient ring $K[X, Y]/I_{1}(XY)$ admits an ASL structure for certain $X$ and $Y$. △ Less

Submitted 30 April, 2021; originally announced April 2021.

MSC Class: 13F50; 13P10

Closed Cohen-Macaulay completion of binomial edge ideals

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: Let $\mathbf{CCM}$ denote the class of closed graphs with Cohen-Macaulay binomial edge ideals and $\mathbf{PIG}$ denote the class of proper interval graphs. Then $\mathbf{CCM}\subseteq \mathbf{PIG}$. The $\mathbf{PIG}$-completion problem is a classical problem in molecular biology as well as in graph theory and this problem is known to be NP-hard. In this paper, we study the $\mathbf{CCM}$-complet… ▽ More Let $\mathbf{CCM}$ denote the class of closed graphs with Cohen-Macaulay binomial edge ideals and $\mathbf{PIG}$ denote the class of proper interval graphs. Then $\mathbf{CCM}\subseteq \mathbf{PIG}$. The $\mathbf{PIG}$-completion problem is a classical problem in molecular biology as well as in graph theory and this problem is known to be NP-hard. In this paper, we study the $\mathbf{CCM}$-completion problem. We give a method to construct all possible $\mathbf{CCM}$-completion of a graph. We find the $\mathbf{CCM}$-completion number and the set of all minimal $\mathbf{CCM}$-completions for a large class of graphs. Moreover, for that class, we give a polynomial-time algorithm to compute the $\mathbf{CCM}$-completion number and a minimum $\mathbf{CCM}$-completion of a given graph. We investigate unmixed and Cohen-Macaulay properties of binomial edge ideals of induced subgraphs. Also, we discuss the accessible graphs completion and the Cohen-Macaulay property of binomial edge ideals of whisker graphs. △ Less

Submitted 13 September, 2022; v1 submitted 29 April, 2021; originally announced April 2021.

Comments: Substantially extended and revised version

MSC Class: 05E40; 68Q25; 13H10; 13F65

Numerical Semigroups with unique Apéry expansions

Authors: Sudip Pandit, Joydip Saha, Indranath Sengupta

Abstract: In this paper, we carry out a fairly comprehensive study of two special classes of numerical semigroups, one generated by the sequence of partial sums of an arithmetic progression and the other one generated by the partial sums of a geometric progression, in embedding dimension $4$. Both these classes have the common feature that they have unique expansions of the Apéry set elements. In this paper, we carry out a fairly comprehensive study of two special classes of numerical semigroups, one generated by the sequence of partial sums of an arithmetic progression and the other one generated by the partial sums of a geometric progression, in embedding dimension $4$. Both these classes have the common feature that they have unique expansions of the Apéry set elements. △ Less

Submitted 23 April, 2021; originally announced April 2021.

MSC Class: 13F70; 13F65; 13D02

Binomial edge ideals of Clutters

Authors: Kamalesh Saha, Indranath Sengupta

Abstract: In this paper, we introduce the notion of binomial edge ideals of a clutter and obtain results similar to those obtained for graphs by Rauf \& Rinaldo in \cite{raufrin}. We also answer a question posed in their paper. In this paper, we introduce the notion of binomial edge ideals of a clutter and obtain results similar to those obtained for graphs by Rauf \& Rinaldo in \cite{raufrin}. We also answer a question posed in their paper. △ Less

Submitted 30 April, 2021; v1 submitted 23 April, 2021; originally announced April 2021.

MSC Class: 05C70; 05C25; 13F65

Projective closures of affine monomial curves

Authors: Joydip Saha, Indranath Sengupta, Pranjal Srivastava

Abstract: We study the projective closures of three important families of affine monomial curves in dimension $4$, namely the Backelin curve, the Bresinsky curve and the Arslan curve, in order to explore possible connections between syzygies and the arithmetic Cohen-Macaulay property. We study the projective closures of three important families of affine monomial curves in dimension $4$, namely the Backelin curve, the Bresinsky curve and the Arslan curve, in order to explore possible connections between syzygies and the arithmetic Cohen-Macaulay property. △ Less

Submitted 15 December, 2022; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: A revised version of the first manuscript

MSC Class: 13D02; 13F055; 13P10; 13P20

Affine monomial curves

Authors: Indranath Sengupta

Abstract: We discuss some research problems on affine monomial curves, from the perspective of computation. We discuss some research problems on affine monomial curves, from the perspective of computation. △ Less

Submitted 5 October, 2020; v1 submitted 1 August, 2020; originally announced August 2020.

MSC Class: Primary 00-02; 13P99

First exit-time analysis for an approximate Barndorff-Nielsen and Shephard model with stationary self-decomposable variance process

Authors: Shantanu Awasthi, Indranil SenGupta

Abstract: In this paper, an approximate version of the Barndorff-Nielsen and Shephard model, driven by a Brownian motion and a Lévy subordinator, is formulated. The first-exit time of the log-return process for this model is analyzed. It is shown that with certain probability, the first-exit time process of the log-return is decomposable into the sum of the first exit time of the Brownian motion with drift,… ▽ More In this paper, an approximate version of the Barndorff-Nielsen and Shephard model, driven by a Brownian motion and a Lévy subordinator, is formulated. The first-exit time of the log-return process for this model is analyzed. It is shown that with certain probability, the first-exit time process of the log-return is decomposable into the sum of the first exit time of the Brownian motion with drift, and the first exit time of a Lévy subordinator with drift. Subsequently, the probability density functions of the first exit time of some specific Lévy subordinators, connected to stationary, self-decomposable variance processes, are studied. Analytical expressions of the probability density function of the first-exit time of three such Lévy subordinators are obtained in terms of various special functions. The results are implemented to empirical S&P 500 dataset. △ Less

Submitted 7 January, 2021; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 27 pages, 7 figures

MSC Class: 60G40; 60G51

Journal ref: Journal of Stochastic Analysis (formerly, Communications on Stochastic Analysis), 2021

Infinitesimal generators for two-dimensional Lévy process-driven hypothesis testing

Authors: Michael Roberts, Indranil SenGupta

Abstract: In this paper, we present the testing of four hypotheses on two streams of observations that are driven by Lévy processes. This is applicable for sequential decision making on the state of two-sensor systems. In one case, each sensor receives or does not receive a signal obstructed by noise. In another, each sensor receives data-driven by Lévy processes with large or small jumps. In either case, t… ▽ More In this paper, we present the testing of four hypotheses on two streams of observations that are driven by Lévy processes. This is applicable for sequential decision making on the state of two-sensor systems. In one case, each sensor receives or does not receive a signal obstructed by noise. In another, each sensor receives data-driven by Lévy processes with large or small jumps. In either case, these give rise to four possibilities. Infinitesimal generators are presented and analyzed. Bounds for infinitesimal generators in terms of \emph{super-solutions} and \emph{sub-solutions} are computed. An application of this procedure for the stochastic model is also presented in relation to the financial market. △ Less

Submitted 18 November, 2019; originally announced November 2019.

MSC Class: 60G35; 60G07; 62F03

Journal ref: Annals of Finance, 2020

Derivation modules for Sum and Gluing

Authors: Joydip Saha, Indranath Sengupta

Abstract: In this paper we explicitly compute the derivation module of quotients of polynomial rings by ideals formed by the sum or by some other gluing technique. We discuss cases of monomial ideals and binomial ideals separately. In this paper we explicitly compute the derivation module of quotients of polynomial rings by ideals formed by the sum or by some other gluing technique. We discuss cases of monomial ideals and binomial ideals separately. △ Less

Submitted 26 March, 2020; v1 submitted 4 September, 2019; originally announced September 2019.

MSC Class: 13C05

Moh's example of algebroid space curves

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: In this paper we revisit the family of algebroid space curves defined by Moh and find an explicit minimal generating set for the defining ideal. In this paper we revisit the family of algebroid space curves defined by Moh and find an explicit minimal generating set for the defining ideal. △ Less

Submitted 18 April, 2020; v1 submitted 13 July, 2018; originally announced July 2018.

MSC Class: 13C40; 13P10

Quadrics defined by skew-symmetric matrices

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we propose a model for computing a minimal free resolution for ideals of the form $I_{1}(X_{n}Y_{n})$, where $X_{n}$ is an $n\times n$ skew-symmetric matrix with indeterminate entries $x_{ij}$ and $Y_{n}$ is a generic column matrix with indeterminate entries $y_{j}$. We verify that the model works for $n=3$ and $n=4$ and pose some statements as conjectures. Answering the conjectures… ▽ More In this paper we propose a model for computing a minimal free resolution for ideals of the form $I_{1}(X_{n}Y_{n})$, where $X_{n}$ is an $n\times n$ skew-symmetric matrix with indeterminate entries $x_{ij}$ and $Y_{n}$ is a generic column matrix with indeterminate entries $y_{j}$. We verify that the model works for $n=3$ and $n=4$ and pose some statements as conjectures. Answering the conjectures in affirmative would enable us to compute a minimal free resolution for general $n$. △ Less

Submitted 12 June, 2018; originally announced June 2018.

MSC Class: 13D02; 13C40; 13P10; 13D07

Journal ref: International Journal of Algebra, Vol.11, 2017, no.8, 349-356

Almost Maximal Numerical Semigroups formed by Concatenation of Arithmetic Sequences

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We study numerical semigroups with the property "multiplicity= embedding dimension+1", generated by concatenation of arithmetic sequences. We study numerical semigroups with the property "multiplicity= embedding dimension+1", generated by concatenation of arithmetic sequences. △ Less

Submitted 26 March, 2020; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: The contents of this paper has been merged with the paper arXiv:1802.02564 because of similarity of themes

MSC Class: 13C40; 13P10

Numerical Semigroups Generated by Concatenation of Arithmetic Sequences

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: We introduce the notion of numerical semigroups generated by concatenation of arithmetic sequences and show that this class of numerical semigroups exhibit multiple interesting behaviours. We introduce the notion of numerical semigroups generated by concatenation of arithmetic sequences and show that this class of numerical semigroups exhibit multiple interesting behaviours. △ Less

Submitted 26 March, 2020; v1 submitted 7 February, 2018; originally announced February 2018.

MSC Class: 13C40; 13P10

Betti numbers of Bresinsky's curves in $\mathbb{A}^{4}$

Authors: Ranjana Mehta, Joydip Saha, Indranath Sengupta

Abstract: Bresinsky defined a class of monomial curves in $\mathbb{A}^{4}$ with the property that the minimal number of generators or the first Betti number of the defining ideal is unbounded above. We prove that the same behaviour of unboundedness is true for all the Betti numbers and construct an explicit minimal free resolution for this class. Bresinsky defined a class of monomial curves in $\mathbb{A}^{4}$ with the property that the minimal number of generators or the first Betti number of the defining ideal is unbounded above. We prove that the same behaviour of unboundedness is true for all the Betti numbers and construct an explicit minimal free resolution for this class. △ Less

Submitted 10 January, 2019; v1 submitted 9 January, 2018; originally announced January 2018.

MSC Class: 13C40; 13P10

Journal ref: Journal of Algebra and its Applications 2018

Transversal Intersection of Monomial Ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we prove conditions for transversal intersection of monomial ideals and derive a simplicial characterization of this phenomenon. In this paper we prove conditions for transversal intersection of monomial ideals and derive a simplicial characterization of this phenomenon. △ Less

Submitted 10 January, 2019; v1 submitted 1 May, 2017; originally announced May 2017.

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

MSC Class: 13C05; 13D02

Journal ref: Proceedings - Mathematical Sciences 2019

$d$-sequence and Regular sequence of Quadrics

Authors: Joydip Saha, Indranath Sengupta, Gurab Tripathi

Abstract: Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the homogeneous polynomials of degree $2$ given by the $1\times 1$ minors of the matrix $XY$. We prove t… ▽ More Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the homogeneous polynomials of degree $2$ given by the $1\times 1$ minors of the matrix $XY$. We prove that $d$-sequences and regular sequences arise naturally as part of generators of $I_{1}(XY)$ for some special cases. We use this information to calculate the equations defining the Rees algebra of $I_{1}(XY)$. △ Less

Submitted 5 April, 2020; v1 submitted 6 March, 2017; originally announced March 2017.

MSC Class: Primary 13C40; 13P10

Transversal Intersection and Sum of Polynomial Ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we derive some conditions for transversal intersection of polynomial ideals. We exhibit some examples. Finally, as an application of the results proved, we compute the Betti numbers for ideals of the form $I_{1}(XY) + J$, where $X$ and $Y$ are matrices and $J$ is the ideal generated by the $2\times 2$ minors of the matrix consisting of any two rows of $X$. In this paper we derive some conditions for transversal intersection of polynomial ideals. We exhibit some examples. Finally, as an application of the results proved, we compute the Betti numbers for ideals of the form $I_{1}(XY) + J$, where $X$ and $Y$ are matrices and $J$ is the ideal generated by the $2\times 2$ minors of the matrix consisting of any two rows of $X$. △ Less

Submitted 8 May, 2018; v1 submitted 15 November, 2016; originally announced November 2016.

MSC Class: 13D02 (Primary); 13C40; 13P10; 13D07 (Secondary)

Primary decomposition and normality of certain determinantal ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results. In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results. △ Less

Submitted 10 January, 2019; v1 submitted 4 October, 2016; originally announced October 2016.

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

MSC Class: 13C40; 13P10

Journal ref: Proceedings - Mathematical Sciences 2019

Ideals of the form $I_{1}(XY)$

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we compute Gröbner bases for determinantal ideals of the form $I_{1}(XY)$, where $X$ and $Y$ are both matrices whose entries are indeterminates over a field $K$. We use the Gröbner basis structure to determine Betti numbers for such ideals. In this paper we compute Gröbner bases for determinantal ideals of the form $I_{1}(XY)$, where $X$ and $Y$ are both matrices whose entries are indeterminates over a field $K$. We use the Gröbner basis structure to determine Betti numbers for such ideals. △ Less

Submitted 10 January, 2019; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 20 pages

MSC Class: 13P10; 13C40; 13D02

Journal ref: Journal of Symbolic Computation 91(2019) 17-29

Minimal Graded Free Resolution for Monomial Curves in $\mathbb{A}^{4}$ defined by almost arithmetic sequences

Authors: Achintya Kumar Roy, Indranath Sengupta, Gaurab Tripathi

Abstract: Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the numerical semigroup $Γ= m_0\N + m_1\N + m_2\N + n\N$. Let $k$ be a field. The homogeneous coordinate ring $k[Γ]$ of the affine monomial curve parametrically def… ▽ More Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the numerical semigroup $Γ= m_0\N + m_1\N + m_2\N + n\N$. Let $k$ be a field. The homogeneous coordinate ring $k[Γ]$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},X_{1}=t^{m_1},X_2=t^{m_3},Y=t^{n}$ is a graded $R$-module, where $R$ is the polynomial ring $k[X_0,X_1,X_3, Y]$ with the grading $°{X_i}:=m_i, °{Y}:=n$. In this paper, we construct a minimal graded free resolution for $k[Γ]$. △ Less

Submitted 1 January, 2016; v1 submitted 9 March, 2015; originally announced March 2015.

Comments: Accepted for publication in Communication in Algebra

Minimal Graded Free Resolutions for Monomial Curves Defined by Arithmetic Sequences

Authors: Philippe Gimenez, Indranath Sengupta, Hema Srinivasan

Abstract: Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0<...<m_n$ with no common factor that minimally generate the numerical semigroup $\sum_{i=0}^{n}m_i\N$ and such that $m_i-m_{i-1}=m_{i+1}-m_i$ for all $i\in\{1,...,n-1\}$. The homogeneous coordinate ring $Γ_\mm$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},...,X_n=t^{m_n}$ is a graded $R$-mo… ▽ More Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0<...<m_n$ with no common factor that minimally generate the numerical semigroup $\sum_{i=0}^{n}m_i\N$ and such that $m_i-m_{i-1}=m_{i+1}-m_i$ for all $i\in\{1,...,n-1\}$. The homogeneous coordinate ring $Γ_\mm$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},...,X_n=t^{m_n}$ is a graded $R$-module where $R$ is the polynomial ring $k[X_0,...,X_n]$ with the grading obtained by setting $°{X_i}:=m_i$. In this paper, we construct an explicit minimal graded free resolution for $Γ_\mm$ and show that its Betti numbers depend only on the value of $m_0$ modulo $n$. As a consequence, we prove a conjecture of Herzog and Srinivasan on the eventual periodicity of the Betti numbers of semigroup rings under translation for the monomial curves defined by an arithmetic sequence. △ Less

Submitted 16 August, 2011; originally announced August 2011.

Comments: 18 PAGES

MSC Class: 13D02; 13A02; 13C40

GB-hash : Hash Functions Using Groebner Basis

Authors: Dhananjoy Dey, Prasanna Raghaw Mishra1, Indranath Sengupta

Abstract: In this paper we present an improved version of HF-hash, viz., GB-hash : Hash Functions Using Groebner Basis. In case of HF-hash, the compression function consists of 32 polynomials with 64 variables which were taken from the first 32 polynomials of hidden field equations challenge-1 by forcing last 16 variables as 0. In GB-hash we have designed the compression function in such way that these 32 p… ▽ More In this paper we present an improved version of HF-hash, viz., GB-hash : Hash Functions Using Groebner Basis. In case of HF-hash, the compression function consists of 32 polynomials with 64 variables which were taken from the first 32 polynomials of hidden field equations challenge-1 by forcing last 16 variables as 0. In GB-hash we have designed the compression function in such way that these 32 polynomials with 64 variables form a minimal Groebner basis of the ideal generated by them with respect to graded lexicographical (grlex) ordering as well as with respect to graded reverse lexicographical (grevlex) ordering. In this paper we will prove that GB-hash is more secure than HF-hash as well as more secure than SHA-256. We have also compared the efficiency of our GB-hash with SHA-256 and HF-hash. △ Less

Submitted 30 August, 2011; v1 submitted 24 November, 2010; originally announced November 2010.

Comments: The paper has been withdrawn. The authors have found some weaknesses in this design

Minimal free resolutions for certain affine monomial curve

Authors: Philippe Gimenez, Indranath Sengupta, Hema Srinivasan

Abstract: Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two… ▽ More Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two determinantal ideals. Using this fact, we describe the minimal free resolution of the coordinate ring in the following three cases: when m_0 is 1 modulo n (determinantal), when m_0 is n modulo n (almost determinantal), and when m_0 is 2 modulo n and n=4 (Gorenstein of codimension 4). △ Less

Submitted 18 November, 2010; originally announced November 2010.

Comments: 9 pages. To appear in 'Commutative Algebra and its Connections to Geometry (PASI 2009)', Contemporary Mathematics, AMS

MSC Class: 13D02 (primary); 13A02; 13C40 (secondary)

Journal ref: Contemp. Math, 555 (2011) 87-95

The Rees Algebra for Certain Monomial Curves

Authors: Debasish Mukhopadhyay, Indranath Sengupta

Abstract: In this article, we find the equations defining the Rees algebra for certain Monomial Curves explicitly and use them to prove that the blowup scheme is not smooth. This proves a conjecture of Francia in affirmative, which says that a dimension one prime in a regular local ring is a complete intersection if it has a smooth blowup. In this article, we find the equations defining the Rees algebra for certain Monomial Curves explicitly and use them to prove that the blowup scheme is not smooth. This proves a conjecture of Francia in affirmative, which says that a dimension one prime in a regular local ring is a complete intersection if it has a smooth blowup. △ Less

Submitted 11 January, 2011; v1 submitted 3 March, 2010; originally announced March 2010.

HF-hash : Hash Functions Using Restricted HFE Challenge-1

Authors: Dhananjoy Dey, Prasanna Raghaw Mishra, Indranath Sengupta

Abstract: Vulnerability of dedicated hash functions to various attacks has made the task of designing hash function much more challenging. This provides us a strong motivation to design a new cryptographic hash function viz. HF-hash. This is a hash function, whose compression function is designed by using first 32 polynomials of HFE Challenge-1 with 64 variables by forcing remaining 16 variables as zero.… ▽ More Vulnerability of dedicated hash functions to various attacks has made the task of designing hash function much more challenging. This provides us a strong motivation to design a new cryptographic hash function viz. HF-hash. This is a hash function, whose compression function is designed by using first 32 polynomials of HFE Challenge-1 with 64 variables by forcing remaining 16 variables as zero. HF-hash gives 256 bits message digest and is as efficient as SHA-256. It is secure against the differential attack proposed by Chabaud and Joux as well as by Wang et. al. applied to SHA-0 and SHA-1. △ Less

Submitted 5 October, 2009; v1 submitted 8 September, 2009; originally announced September 2009.

Comments: 44 pages including 32 pages appendix (list of polynomials) 2 figures, corrected Surname