-
The stable category of monomorphisms between (Gorenstein) projective modules with applications
Authors:
Abdolnaser Bahlekeh,
Fahimeh Sadat Fotouhi,
Mohammad Amin Hamlehdari,
Shokrollah Salarian
Abstract:
Let (S; n) be a commutative noetherian local ring and let w in n be non-zero divisor. This paper is concerned with the two categories of monomorphisms between finitely generated (Gorenstein) projective S-modules, such that their cokernels are annihilated by w. It is shown that these categories, which will be denoted by Mon(w;P) and Mon(w; G), are both Frobenius categories with the same projective…
▽ More
Let (S; n) be a commutative noetherian local ring and let w in n be non-zero divisor. This paper is concerned with the two categories of monomorphisms between finitely generated (Gorenstein) projective S-modules, such that their cokernels are annihilated by w. It is shown that these categories, which will be denoted by Mon(w;P) and Mon(w; G), are both Frobenius categories with the same projective objects. It is also proved that the stable category Mon(w;P) is triangle equivalent to the category of D-branes of type B, DB(w), which has been introduced by Kontsevich and studied by Orlov. Moreover, it will be observed that the stable categories Mon(w;P) and Mon(w; G) are closely related to the singularity category of the factor ring R = S=(w). Precisely, there is a fully faithful triangle functor from the stable category Mon(w; G) to Dsg(R), which is dense if and only if R (and so S) are Gorenstein rings. Particularly, it is proved that the density of the restriction of this functor to Mon(w;P), guarantees the regularity of the ring S.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
The monomorphism category of Gorenstein projective modules and comparision with the category of matrix factorization
Authors:
Abdolnaser Bahlekeh,
Fahimeh Sadat Fotouhi,
Armin Nateghi,
Shokrollah Salarian
Abstract:
Let ($S, \mathfrak{n})$ be a commutative noetherian local ring and let $ω\in\mathfrak{n}$ be non-zero divisor. This paper is concerned with the category of monomorphisms between finitely generated Gorenstein projective S-modules, such that their cokernels are annihilated by $ω$. We will observe that this category, which will be denoted by Mon$(ω,\mathcal{G})$, is an exact category in the sense of…
▽ More
Let ($S, \mathfrak{n})$ be a commutative noetherian local ring and let $ω\in\mathfrak{n}$ be non-zero divisor. This paper is concerned with the category of monomorphisms between finitely generated Gorenstein projective S-modules, such that their cokernels are annihilated by $ω$. We will observe that this category, which will be denoted by Mon$(ω,\mathcal{G})$, is an exact category in the sense of Quillen. More generally, it is proved that Mon$(ω,\mathcal{G})$ is a Frobenius category. Surprisingly, it is shown that not only the category of matrix factorizations embeds into Mon$(ω,\mathcal{G})$, but also its stable category as well as the singularity category of the factor ring $R = S/(ω)$, can be realized as triangulated subcategories of the stable category of Mon$(ω,\mathcal{G})$.
△ Less
Submitted 5 June, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
Smart Connected Farms and Networked Farmers to Tackle Climate Challenges Impacting Agricultural Production
Authors:
Behzad J. Balabaygloo,
Barituka Bekee,
Samuel W. Blair,
Suzanne Fey,
Fateme Fotouhi,
Ashish Gupta,
Kevin Menke,
Anusha Vangala,
Jorge C. M. Palomares,
Aaron Prestholt,
Vishesh K. Tanwar,
Xu Tao,
Matthew E. Carroll,
Sajal Das,
Gil Depaula,
Peter Kyveryga,
Soumik Sarkar,
Michelle Segovia,
Simone Sylvestri,
Corinne Valdivia,
Asheesh K. Singh
Abstract:
To meet the grand challenges of agricultural production including climate change impacts on crop production, a tight integration of social science, technology and agriculture experts including farmers are needed. There are rapid advances in information and communication technology, precision agriculture and data analytics, which are creating a fertile field for the creation of smart connected farm…
▽ More
To meet the grand challenges of agricultural production including climate change impacts on crop production, a tight integration of social science, technology and agriculture experts including farmers are needed. There are rapid advances in information and communication technology, precision agriculture and data analytics, which are creating a fertile field for the creation of smart connected farms (SCF) and networked farmers. A network and coordinated farmer network provides unique advantages to farmers to enhance farm production and profitability, while tackling adverse climate events. The aim of this article is to provide a comprehensive overview of the state of the art in SCF including the advances in engineering, computer sciences, data sciences, social sciences and economics including data privacy, sharing and technology adoption.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
The homotopy category of monomorphisms between projective modules
Authors:
Abdolnaser Bahlekeh,
Fahimeh Sadat Fotouhi,
Armin Nateghi,
Shokrollah Salarian
Abstract:
Let $(S, \n)$ be a commutative noetherian local ring and $ω\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(ω, \cp)$ consisting of all monomorphisms between finitely generated projective $S$-modules with cokernels annihilated by $ω$. We introduce a homotopy category $\HT\mon(ω, \cp)$, which is shown to be triangulated. It is proved that this homotopy category emb…
▽ More
Let $(S, \n)$ be a commutative noetherian local ring and $ω\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(ω, \cp)$ consisting of all monomorphisms between finitely generated projective $S$-modules with cokernels annihilated by $ω$. We introduce a homotopy category $\HT\mon(ω, \cp)$, which is shown to be triangulated. It is proved that this homotopy category embeds into the singularity category of the factor ring $R=S/{(ω)}$. As an application, not only the existence of almost split sequences {ending at indecomposable non-projective objects of} $\mon(ω, \cp)$ is proven, but also the Auslander-Reiten translation, $τ_{\mon}(-)$, is completely recognized. Particularly, it will be observed that any non-projective object of $\mon(ω, \cp)$ with local endomorphism ring is invariant under the square of the Auslander-Reiten translation.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
phantom stable category of $n$-Frobenius categories
Authors:
Abdolnaser Bahlekeh,
Fahimeh Sadat Fotouhi,
Shokrollah Salarian,
Atousa Sartipzadeh
Abstract:
Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that
it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that any abelian category with non-zero $n$-projective objects, admits a non-trivial $n$-Frobenius subcategory. In particular, we explore several examples of $n$-Fro…
▽ More
Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that
it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that any abelian category with non-zero $n$-projective objects, admits a non-trivial $n$-Frobenius subcategory. In particular, we explore several examples of $n$-Frobenius categories. Also, as a far reaching generalization of the stabilization of a Frobenius category, we define and study phantom stable category of an $n$-Frobenius category $\C$. Precisely, assume that $\p\subseteq\Ext^n_{\C}$ is the subfunctor consisting of all conflations of length $n$ factoring through $n$-projective objects. A couple $(\C_{\p}, T)$, where $\C_{\p}$ is an additive category and $T$ is a covariant additive functor from $\C$ to $\C_{\p}$, is a phantom stable category of $\C$, provided that for any morphism $f$ in $\C$, $T(f)=0$, whenever $f$ is an $n$-$\Ext$-phantom morphism and $T(f)$ is an isomorphism in $\C_{\p}$, if $f$ acts as invertible on $\Ext^n/{\p}$, and $T$ has the universal property with respect to these conditions. The main focus of this paper is to show that the phantom stable category of an $n$-Frobenius category always exists. Some properties of phantom stable categories that reveal the efficiency of these categories are studied.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Epistocracy Algorithm: A Novel Hyper-heuristic Optimization Strategy for Solving Complex Optimization Problems
Authors:
Seyed Ziae Mousavi Mojab,
Seyedmohammad Shams,
Hamid Soltanian-Zadeh,
Farshad Fotouhi
Abstract:
This paper proposes a novel evolutionary algorithm called Epistocracy which incorporates human socio-political behavior and intelligence to solve complex optimization problems. The inspiration of the Epistocracy algorithm originates from a political regime where educated people have more voting power than the uneducated or less educated. The algorithm is a self-adaptive, and multi-population optim…
▽ More
This paper proposes a novel evolutionary algorithm called Epistocracy which incorporates human socio-political behavior and intelligence to solve complex optimization problems. The inspiration of the Epistocracy algorithm originates from a political regime where educated people have more voting power than the uneducated or less educated. The algorithm is a self-adaptive, and multi-population optimizer in which the evolution process takes place in parallel for many populations led by a council of leaders. To avoid stagnation in poor local optima and to prevent a premature convergence, the algorithm employs multiple mechanisms such as dynamic and adaptive leadership based on gravitational force, dynamic population allocation and diversification, variance-based step-size determination, and regression-based leadership adjustment. The algorithm uses a stratified sampling method called Latin Hypercube Sampling (LHS) to distribute the initial population more evenly for exploration of the search space and exploitation of the accumulated knowledge. To investigate the performance and evaluate the reliability of the algorithm, we have used a set of multimodal benchmark functions, and then applied the algorithm to the MNIST dataset to further verify the accuracy, scalability, and robustness of the algorithm. Experimental results show that the Epistocracy algorithm outperforms the tested state-of-the-art evolutionary and swarm intelligence algorithms in terms of performance, precision, and convergence.
△ Less
Submitted 30 January, 2021;
originally announced February 2021.
-
Representation-theoretic properties of balanced big Cohen-Macaulay modules
Authors:
Abdolnaser Bahlekeh,
Fahimeh Sadat Fotouhi,
Shokrollah Salarian
Abstract:
Let $(R, \m, k)$ be a complete Cohen-Macaulay local ring. In this paper, we assign a numerical invariant, for any balanced big Cohen-Macaulay module, called $\uh$-length. Among other results, it is proved that, for a given balanced big Cohen-Macaulay $R$-module $M$ with an $\m$-primary cohomological annihilator, if there is a bound on the $\uh$-length of all modules appearing in $\CM$-support of…
▽ More
Let $(R, \m, k)$ be a complete Cohen-Macaulay local ring. In this paper, we assign a numerical invariant, for any balanced big Cohen-Macaulay module, called $\uh$-length. Among other results, it is proved that, for a given balanced big Cohen-Macaulay $R$-module $M$ with an $\m$-primary cohomological annihilator, if there is a bound on the $\uh$-length of all modules appearing in $\CM$-support of $M$, then it is fully decomposable, i.e. it is a direct sum of finitely generated modules. While the first Brauer-Thrall conjecture fails in general by a counterexample of Dieterich dealing with multiplicities to measure the size of maximal Cohen-Macaulay modules, our formalism establishes the validity of the conjecture for complete Cohen-Macaulay local rings. In addition, the pure-semisimplicity of a subcategory of balanced big Cohen-Macaulay modules is settled. Namely, it is shown that $R$ is of finite $\CM$-type if and only if the category of all fully decomposable balanced big Cohen-Macaulay modules is closed under kernels of epimorphisms. Finally, we examine the mentioned results in the context of Cohen-Macaulay artin algebras admitting a dualizing bimodule $ω$, as defined by Auslander and Reiten. It will turn out that, $ω$-Gorenstein projective modules with bounded $\CM$-support are fully decomposable. In particular, a Cohen-Macaulay algebra $Λ$ is of finite $\CM$-type if and only if every $ω$-Gorenstein projective module is of finite $\CM$-type, which generalizes a result of Chen for Gorenstein algebras. Our main tool in the proof of results is Gabriel-Roiter (co)measure, an invariant assigned to modules of finite length, and defined by Gabriel and Ringel. This, in fact, provides an application of the Gabriel-Roiter (co)measure in the category of maximal Cohen-Macaulay modules.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Orders of bounded and strongly unbounded lattice type
Authors:
Fahimeh Sadat Fotouhi,
Alex Martsinkovsky,
Shokrollah Salarian
Abstract:
Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type has strongly unbounded representation type. These conjectures, now theorems, are our motivation for studying (generalized) orders of bounded and strongly unboun…
▽ More
Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type has strongly unbounded representation type. These conjectures, now theorems, are our motivation for studying (generalized) orders of bounded and strongly unbounded lattice type. To each lattice over an order we assign a numerical invariant, $\underline{\h}$-length, measuring Hom modulo projectives. We show that an order of bounded lattice type is actually of finite lattice type, and if there are infinitely many non-isomorphic indecomposable lattices of the same $\underline{\h}$-length, then the order has strongly unbounded lattice type.
For a hypersurface $R=k[[x_0,...,x_d]]/(f)$, we show that $R$ is of bounded (respectively, strongly unbounded) lattice type if and only if the double branched cover $R^{\sharp}$ of $R$ is of bounded (respectively, strongly unbounded) lattice type. This is an analog of a result of Knörrer and Buchweitz-Greuel-Schreyer for rings of finite mCM type. Consequently, it is proved that $R$ has strongly unbounded lattice type whenever $k$ is infinite.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
Map** XML Data to Relational Data: A DOM-Based Approach
Authors:
Mustafa Atay,
Yezhou Sun,
Dapeng Liu,
Shiyong Lu,
Farshad Fotouhi
Abstract:
XML has emerged as the standard for representing and exchanging data on the World Wide Web. It is critical to have efficient mechanisms to store and query XML data to exploit the full power of this new technology. Several researchers have proposed to use relational databases to store and query XML data. While several algorithms of schema map** and query map** have been proposed, the problem of…
▽ More
XML has emerged as the standard for representing and exchanging data on the World Wide Web. It is critical to have efficient mechanisms to store and query XML data to exploit the full power of this new technology. Several researchers have proposed to use relational databases to store and query XML data. While several algorithms of schema map** and query map** have been proposed, the problem of map** XML data to relational data, i.e., map** an XML INSERT statement to a sequence of SQL INSERT statements, has not been addressed thoroughly in the literature. In this paper, we propose an efficient linear algorithm for map** XML data to relational data. This algorithm is based on our previous proposed inlining algorithm for map** DTDs to relational schemas and can be easily adapted to other inlining algorithms.
△ Less
Submitted 8 October, 2010;
originally announced October 2010.
-
Ontology-Based Annotation of Multimedia Language Data for the Semantic Web
Authors:
Artem Chebotko,
Shiyong Lu,
Farshad Fotouhi,
Anthony Aristar
Abstract:
There is an increasing interest and effort in preserving and documenting endangered languages. Language data are valuable only when they are well-cataloged, indexed and searchable. Many language data, particularly those of lesser-spoken languages, are collected as audio and video recordings. While multimedia data provide more channels and dimensions to describe a language's function, and gives a…
▽ More
There is an increasing interest and effort in preserving and documenting endangered languages. Language data are valuable only when they are well-cataloged, indexed and searchable. Many language data, particularly those of lesser-spoken languages, are collected as audio and video recordings. While multimedia data provide more channels and dimensions to describe a language's function, and gives a better presentation of the cultural system associated with the language of that community, they are not text-based or structured (in binary format), and their semantics is implicit in their content. The content is thus easy for a human being to understand, but difficult for computers to interpret. Hence, there is a great need for a powerful and user-friendly system to annotate multimedia data with text-based, well-structured and searchable metadata. This chapter describes an ontology-based multimedia annotation tool, OntoELAN, that enables annotation of language multimedia data with a linguistic ontology.
△ Less
Submitted 17 February, 2009;
originally announced February 2009.
-
OntoELAN: An Ontology-based Linguistic Multimedia Annotator
Authors:
Artem Chebotko,
Yu Deng,
Shiyong Lu,
Farshad Fotouhi,
Anthony Aristar,
Hennie Brugman,
Alexander Klassmann,
Han Sloetjes,
Albert Russel,
Peter Wittenburg
Abstract:
Despite its scientific, political, and practical value, comprehensive information about human languages, in all their variety and complexity, is not readily obtainable and searchable. One reason is that many language data are collected as audio and video recordings which imposes a challenge to document indexing and retrieval. Annotation of multimedia data provides an opportunity for making the s…
▽ More
Despite its scientific, political, and practical value, comprehensive information about human languages, in all their variety and complexity, is not readily obtainable and searchable. One reason is that many language data are collected as audio and video recordings which imposes a challenge to document indexing and retrieval. Annotation of multimedia data provides an opportunity for making the semantics explicit and facilitates the searching of multimedia documents. We have developed OntoELAN, an ontology-based linguistic multimedia annotator that features: (1) support for loading and displaying ontologies specified in OWL; (2) creation of a language profile, which allows a user to choose a subset of terms from an ontology and conveniently rename them if needed; (3) creation of ontological tiers, which can be annotated with profile terms and, therefore, corresponding ontological terms; and (4) saving annotations in the XML format as Multimedia Ontology class instances and, linked to them, class instances of other ontologies used in ontological tiers. To our best knowledge, OntoELAN is the first audio/video annotation tool in linguistic domain that provides support for ontology-based annotation.
△ Less
Submitted 17 February, 2009;
originally announced February 2009.
-
ImageSpace: An Environment for Image Ontology Management
Authors:
Shiyong Lu,
Rong Huang,
Artem Chebotko,
Yu Deng,
Farshad Fotouhi
Abstract:
More and more researchers have realized that ontologies will play a critical role in the development of the Semantic Web, the next generation Web in which content is not only consumable by humans, but also by software agents. The development of tools to support ontology management including creation, visualization, annotation, database storage, and retrieval is thus extremely important. We have…
▽ More
More and more researchers have realized that ontologies will play a critical role in the development of the Semantic Web, the next generation Web in which content is not only consumable by humans, but also by software agents. The development of tools to support ontology management including creation, visualization, annotation, database storage, and retrieval is thus extremely important. We have developed ImageSpace, an image ontology creation and annotation tool that features (1) full support for the standard web ontology language DAML+OIL; (2) image ontology creation, visualization, image annotation and display in one integrated framework; (3) ontology consistency assurance; and (4) storing ontologies and annotations in relational databases. It is expected that the availability of such a tool will greatly facilitate the creation of image repositories as islands of the Semantic Web.
△ Less
Submitted 17 February, 2009;
originally announced February 2009.