-
Cementron: Machine Learning the Constituent Phases in Cement Clinker from Optical Images
Authors:
Mohd Zaki,
Siddhant Sharma,
Sunil Kumar Gurjar,
Raju Goyal,
Jayadeva,
N. M. Anoop Krishnan
Abstract:
Cement is the most used construction material. The performance of cement hydrate depends on the constituent phases, viz. alite, belite, aluminate, and ferrites present in the cement clinker, both qualitatively and quantitatively. Traditionally, clinker phases are analyzed from optical images relying on a domain expert and simple image processing techniques. However, the non-uniformity of the image…
▽ More
Cement is the most used construction material. The performance of cement hydrate depends on the constituent phases, viz. alite, belite, aluminate, and ferrites present in the cement clinker, both qualitatively and quantitatively. Traditionally, clinker phases are analyzed from optical images relying on a domain expert and simple image processing techniques. However, the non-uniformity of the images, variations in the geometry and size of the phases, and variabilities in the experimental approaches and imaging methods make it challenging to obtain the phases. Here, we present a machine learning (ML) approach to detect clinker microstructure phases automatically. To this extent, we create the first annotated dataset of cement clinker by segmenting alite and belite particles. Further, we use supervised ML methods to train models for identifying alite and belite regions. Specifically, we finetune the image detection and segmentation model Detectron-2 on the cement microstructure to develop a model for detecting the cement phases, namely, Cementron. We demonstrate that Cementron, trained only on literature data, works remarkably well on new images obtained from our experiments, demonstrating its generalizability. We make Cementron available for public use.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Low-Complexity Interference Cancellation Algorithms for Detection in Media-based Modulated Uplink Massive-MIMO Systems
Authors:
Manish Mandloi,
Devendra Singh Gurjar
Abstract:
Media-based modulation (MBM) is a novel modulation technique that can improve the spectral efficiency of the existing wireless systems. In MBM, multiple radio frequency (RF) mirrors are placed near the transmit antenna(s) and are switched ON/OFF to create different channel fade realizations. In such systems, additional information is conveyed through the ON/OFF status of RF mirrors along with conv…
▽ More
Media-based modulation (MBM) is a novel modulation technique that can improve the spectral efficiency of the existing wireless systems. In MBM, multiple radio frequency (RF) mirrors are placed near the transmit antenna(s) and are switched ON/OFF to create different channel fade realizations. In such systems, additional information is conveyed through the ON/OFF status of RF mirrors along with conventional modulation symbols. A challenging task at the receiver is to detect the transmitted information symbols and extract the additional information from the channel fade realization used for transmission. In this paper, we consider a massive MIMO (mMIMO) system where each user relies on MBM for transmitting information to the base station, and investigate the problem of symbol detection at the base station. First, we propose a mirror activation pattern (MAP) selection based modified iterative sequential detection algorithm. With the proposed algorithm, the most favorable MAP is selected, followed by the detection of symbol corresponding to the selected MAP. Each solution is subjected to the reliability check before getting the update. Next, we introduce a $K$ favorable MAP search based iterative interference cancellation (KMAP-IIC) algorithm. In particular, a selection rule is introduced in KMAP-IIC for deciding the set of favorable MAPs over which iterative interference cancellation is performed, followed by a greedy update scheme for detecting the MBM symbols corresponding to each user. Simulation results show that the proposed detection algorithms exhibit superior performance-complexity trade-off over the existing detection techniques in MBM-mMIMO systems.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Performance Analysis and Optimization of Bidirectional Overlay Cognitive Radio Networks with Hybrid-SWIPT
Authors:
Addanki Prathima,
Devendra Singh Gurjar,
Ha H. Nguyen,
Ajay Bhardwaj
Abstract:
This paper considers a cooperative cognitive radio network with two primary users (PUs) and two secondary users (SUs) that enables two-way communications of primary and secondary systems in conjunction with non-linear energy harvesting based simultaneous wireless information and power transfer (SWIPT). With the considered network, SUs are able to realize their communications over the licensed spec…
▽ More
This paper considers a cooperative cognitive radio network with two primary users (PUs) and two secondary users (SUs) that enables two-way communications of primary and secondary systems in conjunction with non-linear energy harvesting based simultaneous wireless information and power transfer (SWIPT). With the considered network, SUs are able to realize their communications over the licensed spectrum while extending relay assistance to the PUs. The overall bidirectional end-to-end transmission takes place in four phases, which include both energy harvesting (EH) and information transfer. A non-linear energy harvester with a hybrid SWIPT scheme is adopted in which both power-splitting and time-switching EH techniques are used. The SUs aid in relay cooperation by performing an amplify-and-forward operation, whereas selection combining technique is adopted at the PUs to extract the intended signal from multiple received signals broadcasted by the SUs. Accurate outage probability expressions for the primary and secondary links are derived under the Nakagami-$m$ fading environment. Further, the system behavior is analyzed with respect to achievable system throughput and energy efficiency. Since the performance of the considered system is strongly affected by the spectrum sharing factor and hybrid SWIPT parameters, particle swarm optimization is implemented to optimize the system parameters so as to maximize the system throughput and energy efficiency. Simulation results are provided to corroborate the performance analysis and give useful insights into the system behavior concerning various system/channel parameters.
△ Less
Submitted 6 January, 2021;
originally announced January 2021.
-
Wireless Information and Power Transfer for IoT Applications in Overlay Cognitive Radio Networks
Authors:
Devendra Singh Gurjar,
Ha H. Nguyen,
Hoang D. Tuan
Abstract:
This paper proposes and investigates an overlay spectrum sharing system in conjunction with the simultaneous wireless information and power transfer (SWIPT) to enable communications for the Internet of Things (IoT) applications. Considered is a cooperative cognitive radio network, where two IoT devices (IoDs) exchange their information and also provide relay assistance to a pair of primary users (…
▽ More
This paper proposes and investigates an overlay spectrum sharing system in conjunction with the simultaneous wireless information and power transfer (SWIPT) to enable communications for the Internet of Things (IoT) applications. Considered is a cooperative cognitive radio network, where two IoT devices (IoDs) exchange their information and also provide relay assistance to a pair of primary users (PUs). Different from most existing works, in this paper, both IoDs can harvest energy from the radio-frequency (RF) signals received from the PUs. By utilizing the harvested energy, they provide relay cooperation to PUs and realize their own communications. For harvesting energy, a time-switching (TS) based approach is adopted at both IoDs. With the proposed scheme, one round of bidirectional information exchange for both primary and IoT systems is performed in four phases, i.e., one energy harvesting (EH) phase and three information processing (IP) phases. Both IoDs rely on the decode-and-forward operation to facilitate relaying, whereas the PUs employ selection combining (SC) technique. For investigating the performance of the considered network, this paper first provides exact expressions of user outage probability (OP) for the primary and IoT systems under Nakagami-m fading. Then, by utilizing the expressions of user OP, the system throughput and energy efficiency are quantified together with the average end-to-end transmission time. Numerical and simulation results are provided to give useful insights into the system behavior and to highlight the impact of various system/channel parameters.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
Performance of Wireless Powered Cognitive Radio Sensor Networks With Nonlinear Energy Harvester
Authors:
Devendra Singh Gurjar,
Ha H. Nguyen,
Prabina Pattanayak
Abstract:
This letter analyzes the performance of simultaneous wireless information-and-power transfer (SWIPT) in an overlay cognitive radio network (CRN) under Nakagami-$m$ fading. A pair of secondary users (SUs) is considered in which one SU facilitates relay cooperation for communications between two primary users (PUs). In return, SUs make use of primary users' signals for energy harvesting (EH) and rea…
▽ More
This letter analyzes the performance of simultaneous wireless information-and-power transfer (SWIPT) in an overlay cognitive radio network (CRN) under Nakagami-$m$ fading. A pair of secondary users (SUs) is considered in which one SU facilitates relay cooperation for communications between two primary users (PUs). In return, SUs make use of primary users' signals for energy harvesting (EH) and realize their own communications. In such a network, end-to-end bidirectional communications between the two PUs and unidirectional information exchange between the SUs can be performed in three phases. A power splitting (PS) based approach is adopted for enabling SWIPT. The relaying SU applies an amplify-and-forward (AF) protocol to broadcast primary and secondary signals, whereas the PUs perform selection combining to access the active direct link. Accurate expressions of the outage probability (OP) and throughput are derived for the primary system by considering a nonlinear energy harvester at the relaying SU under Nakagami-m fading
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Criterion for existence of a logarithmic connection on a principal bundle over a smooth complex projective variety
Authors:
Sudarshan Gurjar,
Arjun Paul
Abstract:
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
△ Less
Submitted 30 June, 2020; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Connections and restrictions to curves
Authors:
Indranil Biswas,
Sudarshan Gurjar
Abstract:
We construct a vector bundle $E$ on a smooth complex projective surface $X$ with the property that the restriction of $E$ to any smooth closed curve in $X$ admits an algebraic connection while $E$ does not admit any algebraic connection.
We construct a vector bundle $E$ on a smooth complex projective surface $X$ with the property that the restriction of $E$ to any smooth closed curve in $X$ admits an algebraic connection while $E$ does not admit any algebraic connection.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Higgs bundles and fundamental group schemes
Authors:
Indranil Biswas,
Ugo Bruzzo,
Sudarshan Gurjar
Abstract:
Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of nu…
▽ More
Relying on a notion of "numerical effectiveness" for Higgs bundles, we show that the category of "numerically flat" Higgs vector bundles on a smooth projective variety $X$ is a Tannakian category. We introduce the associated group scheme, that we call the "Higgs fundamental group scheme of $X$," and show that its properties are related to a conjecture about the vanishing of the Chern classes of numerically flat Higgs vector bundles.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
Harder-Narasimhan stacks for principal bundles in higher dimensions and arbitrary characteristics
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
Let $G$ be a split reductive group over a field $k$ of arbitrary characteristic, chosen suitably. Let $X\to S$ be a smooth projective morphism of locally noetherian $k$-schemes, with geometrically connected fibers. We show that for each Harder-Narasimhan type $τ$ for principal $G$-bundles, all pairs consisting of a principal $G$-bundle on a fiber of $X\to S$ together with a given canonical reducti…
▽ More
Let $G$ be a split reductive group over a field $k$ of arbitrary characteristic, chosen suitably. Let $X\to S$ be a smooth projective morphism of locally noetherian $k$-schemes, with geometrically connected fibers. We show that for each Harder-Narasimhan type $τ$ for principal $G$-bundles, all pairs consisting of a principal $G$-bundle on a fiber of $X\to S$ together with a given canonical reduction of HN-type $τ$ form an algebraic stack $Bun_{X/S}^τ(G)$ over $S$. The forgetful $1$-morphism $Bun_{X/S}^τ(G) \to Bun_{X/S}(G)$ to the algebraic stack of all principal $G$-bundles on fibers of $X\to S$ is a schematic morphism, which is of finite type, separated, radicial, and induces an isomorphism on residue fields of all points of $Bun_{X/S}^τ(G)$. It factors via an open substack $Bun_{X/S}^{\ngtr τ}(G)$ of $Bun_{X/S}(G)$, inducing a finite morphism $Bun_{X/S}^τ(G) \to Bun_{X/S}^{\ngtr τ}(G)$. This is a closed embedding if the Behrend conjecture is satisfied by $G$. The results of this paper hold in arbitrary characteristic, and in fact it gives better proofs of the results of our earlier papers which had assumed the characteristic to be zero. Along the way we give a new proof of the existence of a canonical reduction over any base field in all dimensions, and we also prove openness of semistability and semicontinuity of canonical type in a family.
△ Less
Submitted 10 November, 2020; v1 submitted 29 May, 2016;
originally announced May 2016.
-
Schematic Harder-Narasimhan stratification for families of principal bundles in higher dimensions
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
For any family of principal bundles with a reductive structure group G on a family X/S of smooth projective varieties in characteristic zero, it is known that the parameter scheme S has a set theoretic stratification by locally closed subsets which correspond to the Harder-Narasimhan types of the restriction of the principal bundle to the various fibers of X/S. We show that each of these subsets h…
▽ More
For any family of principal bundles with a reductive structure group G on a family X/S of smooth projective varieties in characteristic zero, it is known that the parameter scheme S has a set theoretic stratification by locally closed subsets which correspond to the Harder-Narasimhan types of the restriction of the principal bundle to the various fibers of X/S. We show that each of these subsets has in fact the structure of a locally closed subscheme of the parameter scheme S, with the following universal property: Under any base change, the pullback family admits a relative Harder-Narasimhan filtration (defined appropriately) with a given Harder-Narasimhan type if and only if the base change factors via the schematic stratum corresponding to that Harder-Narasimhan type. It follows that principal bundles of any given Harder-Narasimhan type on X/S form an Artin algebraic stack over S, and as the Harder-Narasimhan type varies, these stacks define a stratification the stack of all principal G-bundles on X/S by locally closed substacks.
This result extends to principal bundles in higher dimensions our earlier similar results which were proved for principal bundles on families of curves. The result is new even for vector bundles, that is, for G = GL(n).
△ Less
Submitted 1 October, 2016; v1 submitted 9 May, 2015;
originally announced May 2015.
-
Restriction Theorems for Principal Bundles and Some Consequences
Authors:
Sudarshan Gurjar
Abstract:
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$, let $X$ be a smooth projective variety over $k$, let $H$ be a very ample line bundle on $X$ and let $E$ be a semistable (resp. stable) principal $G$-bundle on…
▽ More
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$, let $X$ be a smooth projective variety over $k$, let $H$ be a very ample line bundle on $X$ and let $E$ be a semistable (resp. stable) principal $G$-bundle on $X$ w.r.t. $H$. The main result of this paper is that the restriction of $E$ to a general smooth curve which is a complete intersection of ample hypersurfaces of sufficiently high degree's is again semistable (resp. stable).
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
Schematic HN stratification for families of principal bundles and lambda modules
Authors:
Sudarshan Gurjar,
Nitin Nitsure
Abstract:
For a family of principal bundles with a reductive structure group on a family of curves in characteristic zero, it is known that the Harder Narasimhan type of its restriction to each fiber varies semicontinuously over the parameter scheme of the family. This defines a stratification of the parameter scheme by locally closed subsets, known as the Harder-Narasimhan stratification.
In this note, w…
▽ More
For a family of principal bundles with a reductive structure group on a family of curves in characteristic zero, it is known that the Harder Narasimhan type of its restriction to each fiber varies semicontinuously over the parameter scheme of the family. This defines a stratification of the parameter scheme by locally closed subsets, known as the Harder-Narasimhan stratification.
In this note, we show how to endow each Harder-Narasimhan stratum with the structure of a locally closed subscheme of the parameter scheme, which enjoys the universal property that under any base change the pullback family admits a relative Harder-Narasimhan reduction with a given Harder-Narasimhan type if and only if the base change factors through the schematic stratum corresponding to that Harder-Narasimhan type. This has the consequence that principal bundles of a given Harder Narasimhan type form an Artin stack.
We also prove a similar result showing the existence of a schematic Harder-Narasimhan filtration for flat families of pure sheaves of $Λ$-modules (in the sense of Simpson) in arbitrary dimensions and in mixed characteristic, generalizing the result for sheaves of ${\mathcal O}$-modules proved earlier by Nitsure. This again has the implication that $Λ$-modules of a fixed Harder-Narasimhan type form an Artin stack.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Rationality of the instability parabolic and related results
Authors:
Sudarshan Gurjar,
Vikram Mehta
Abstract:
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main result is to show that given a representation ρ of a reductive algebraic group G, there exists an integer t such that any semistable G-bundle whose first t frobeni…
▽ More
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main result is to show that given a representation ρ of a reductive algebraic group G, there exists an integer t such that any semistable G-bundle whose first t frobenius pullbacks are semistable induces a semistable vector bundle on extension of structure group via ρ. Moreover we quantify the number of such frobenius pullbacks required.
△ Less
Submitted 11 November, 2011;
originally announced November 2011.