Source author record

Rahim Zaare-Nahandi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.CO math.GM math.HO

Catalog footprint

Research overview

7works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On Tusi's Classification of Cubic Equations and its Connections to Cardano's Formula and Khayyam's Geometric Solution

Omar Khayyam's studies on cubic equations inspired the 12th century Persian mathematician Sharaf al-Din Tusi to investigate the number of positive roots. According to the noted mathematical historian Rashed, Tusi analyzed the problem for five different types of equations. In fact all cubic equations are reducible to a form {\it Tusi form} $x^2-x^3=c$ . Tusi determined that the maximum of $x^2-x^3$ on $(0,1)$ occurs at $\frac{2}{3}$ and concluded when $c=\frac{4}{27} δ$ , $δ\in (0,1)$ , there are roots in $(0, \frac{2}{3})$ and $(\frac{2}{3},1)$ , ignoring the root in $(-\frac{1}{3},0)$ . Given a {\it reduced form} $x^3+px+q=0$ , when $p <0$ , we show it is reducible to a Tusi form with $δ= \frac{1}{2} + {3\sqrt{3} q}/{4\sqrt{-p^3}}$ . It follows there are three real roots if and only if $Δ=-(\frac{q^2}{4}+\frac{p^3}{27})$ is positive. This gives an explicit connection between $δ$ in Tusi form and $Δ$ in Cardano's formula. Thus when $δ\in (0,1)$ , rather than using Cardano's formula in complex numbers one can approximate the roots iteratively. On the other hand, for a reduced form with $p >0$ we give a novel proof of Cardono's formula. While Rashed attributes Tusi's computation of the maximum to the use of derivatives, according to Hogendijk, Tusi was probably influenced by Euclid. Here we show the maximizer in Tusi form is computable via elementary algebraic manipulations. Indeed for a {\it quadratic Tusi form}, $x-x^2=δ/4$ , Tusi's approach results in a simple derivation of the quadratic formula, comparable with the pedagogical approach of Po-Shen Loh. Moreover, we derive analogous results for the {\it general Tusi form}. Finally, we present a novel derivation of Khayyam's geometric solution. The results complement previous findings on Tusi's work and reveal further facts on history, mathematics and pedagogy in solving cubic equations.

preprint2016arXiv

A canonical polytopal resolution for transversal monomial ideals

Let $S = k[x_{11}, \cdots, x_{1b_1}, \cdots, x_{n1}, \cdots, x_{nb_n}]$ be a polynomial ring in $m = b_1 + \cdots + b_n$ variables over a field $k$ . For all $j$ , $1\le j \le n$ , let $P_j$ be the prime ideal generated by variables $\{x_{j1}, \cdots, x_{jb_j}\}$ and let $I_{n, t} = \sum_{1\le j_1< \cdots <j_t\le n} P_{j_1}\ldots P_{j_t}$ be the transversal monomial ideal of degree $t$ on $P_1, \cdots, P_n$ . We explicitly construct a canonical polytopal $\mathbb{Z}^t$ -graded minimal free resolution for the ideal $I_{n, t}$ by means of suitable gluing of polytopes.

preprint2016arXiv

Cohen-Macaulay lexsegment complexes in arbitrary codimension

We characterize pure lexsegment complexes which are Cohen-Macaulay in arbitrary codimension. More precisely, we prove that any lexsegment complex is Cohen-Macaulay if and only if it is pure and its one dimensional links are connected, and, a lexsegment flag complex is Cohen-Macaulay if and only if it is pure and connected. We show that any non-Cohen-Macaulay lexsegment complex is a Buchsbaum complex if and only if it is a pure disconnected flag complex. For $t\ge 2$ , a lexsegment complex is strictly Cohen-Macaulay in codimension $t$ if and only if it is the join of a lexsegment pure disconnected flag complex with a $(t-2)$ -dimensional simplex. When the Stanley-Reisner ideal of a pure lexsegment complex is not quadratic, the complex is Cohen-Macaulay if and only if it is Cohen-Macaulay in some codimension. Our results are based on a characterization of Cohen-Macaulay and Buchsbaum lexsegment complexes by Bonanzinga, Sorrenti and Terai.

preprint2015arXiv

What to do to have your paper rejected!

We aim to highlight certain points and considerations for graduate students and young researchers, which should be avoided in submissions to good research journals. Observing these remarks could substantially decrease the probability of rejections of papers.

preprint2013arXiv

Cohen-Macaulay-ness in codimension for bipartite graphs

Let $G$ be an unmixed bipartite graph of dimension $d-1$ . Assume that $K_{n,n}$ , with $n\ge 2$ , is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$ . This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$ , is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.

preprint2010arXiv

Bipartite $S_2$ graphs are Cohen-Macaulay

In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$ , then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$ .

preprint2010arXiv

Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs

We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition $S_r$ . In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially $S_r$ if and only if its pure $i$ -skeleton is $S_r$ for all $i$ . For $r=2$ , we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially $S_r$ if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first $r$ steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially $S_r$ cycles showing that the only sequentially $S_2$ cycles are odd cycles and, for $r\ge 3$ , no cycle is sequentially $S_r$ with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially $S_r$ graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially $S_2$ . We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially $S_2$ . Finally, we propose some questions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Rahim Zaare-Nahandi

Research overview

Is this your work?

7 publications

On Tusi's Classification of Cubic Equations and its Connections to Cardano's Formula and Khayyam's Geometric Solution

A canonical polytopal resolution for transversal monomial ideals

Cohen-Macaulay lexsegment complexes in arbitrary codimension

What to do to have your paper rejected!

Cohen-Macaulay-ness in codimension for bipartite graphs

Bipartite $S_2$ graphs are Cohen-Macaulay

Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs

See the researcher in context

Building this map preview

Rahim Zaare-Nahandi

Research overview

Is this your work?

7 publications

On Tusi's Classification of Cubic Equations and its Connections to Cardano's Formula and Khayyam's Geometric Solution

A canonical polytopal resolution for transversal monomial ideals

Cohen-Macaulay lexsegment complexes in arbitrary codimension

What to do to have your paper rejected!

Cohen-Macaulay-ness in codimension for bipartite graphs

Bipartite S2S_2S2​ graphs are Cohen-Macaulay

Sequentially SrS_rSr​ simplicial complexes and sequentially S2S_2S2​ graphs

See the researcher in context

Building this map preview

Bipartite $S_2$ graphs are Cohen-Macaulay

Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs