-
On Dextral Symmetric Algebra
Authors:
Dimpy M. Dutta,
Shanborlang Bynnud
Abstract:
We define the notion of dextral symmetric algebras (not necessarily associative), motivated by the idea of symmetric rings. We derive a complete classification of dextral symmetric algebras of Leavitt path algebras, and right Leibniz algebras up to dimension $4$. We also obtain that a finite-dimensional dextral symmetric right Leibniz algebra is solvable if and only if it satisfies a weaker notion…
▽ More
We define the notion of dextral symmetric algebras (not necessarily associative), motivated by the idea of symmetric rings. We derive a complete classification of dextral symmetric algebras of Leavitt path algebras, and right Leibniz algebras up to dimension $4$. We also obtain that a finite-dimensional dextral symmetric right Leibniz algebra is solvable if and only if it satisfies a weaker notion of nilpotency.
△ Less
Submitted 11 June, 2024; v1 submitted 6 June, 2024;
originally announced June 2024.
-
Optimal Scheduling of Uplink-Downlink Networked Control Systems with Energy Harvesting Sensor
Authors:
Manali Dutta,
Rahul Singh
Abstract:
In this work, we consider a wireless networked control system (WNCS) consisting of a plant, a battery-operated sensor, a controller, and an actuator. The battery in the sensor harvests energy from the environment. The sensor then uses this energy for packet transmissions. There are two types of wireless communication channels, (i) sensor--controller channel (also called uplink channel), and (ii) c…
▽ More
In this work, we consider a wireless networked control system (WNCS) consisting of a plant, a battery-operated sensor, a controller, and an actuator. The battery in the sensor harvests energy from the environment. The sensor then uses this energy for packet transmissions. There are two types of wireless communication channels, (i) sensor--controller channel (also called uplink channel), and (ii) controller--actuator channel (also called downlink channel). The controller is \emph{half-duplex}, and this prevents it from simultaneously receiving an update from the sensor, and also transmitting a control packet to the actuator. Though frequent transmissions via uplink channel improve controller's estimate of the plant state, but this also reduces the timely control of the plant. Hence, in order to strike a balance between these two, we consider the problem of designing an optimal scheduling policy that minimizes the expected cumulative infinite horizon discounted cost, where the instantaneous cost is equal to the square of the plant state. At each time $t$, the scheduler at the sensor has to decide whether it should activate the uplink channel, or downlink. We pose this dynamic optimization problem as a Markov decision process (MDP), in which the state at time $t$ is composed of (i) the plant state $x(t)$, (ii) the age of the data packet available at the controller, denoted by $τ(t)$, (iii) a binary variable $y(t)$ which indicates the availability of a control packet at the controller, and (iv) the energy level of the battery at the sensor $b(t)$. We show that there exists an optimal scheduling policy that exhibits a threshold structure, meaning that for each time $t$, if there is a control packet available with the controller, then the sensor activates the downlink channel in case $|x(t)|$ exceeds a threshold $x\ust(τ(t),b(t))$.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Optimal Risk-Sensitive Scheduling Policies for Remote Estimation of Autoregressive Markov Processes
Authors:
Manali Dutta,
Rahul Singh
Abstract:
We design scheduling policies that minimize a risk-sensitive cost criterion for a remote estimation setup. Since risk-sensitive cost objective takes into account not just the mean value of the cost, but also higher order moments of its probability distribution, the resulting policy is robust to changes in the underlying system's parameters. The setup consists of a sensor that observes a discrete-t…
▽ More
We design scheduling policies that minimize a risk-sensitive cost criterion for a remote estimation setup. Since risk-sensitive cost objective takes into account not just the mean value of the cost, but also higher order moments of its probability distribution, the resulting policy is robust to changes in the underlying system's parameters. The setup consists of a sensor that observes a discrete-time autoregressive Markov process, and at each time $t$ decides whether or not to transmit its observations to a remote estimator using an unreliable wireless communication channel after encoding these observations into data packets. We model the communication channel as a Gilbert-Elliott channel \cite{10384144}. Sensor probes the channel \cite{laourine2010betting} and hence knows the channel state at each time $t$ before making scheduling decision. The scheduler has to minimize the expected value of the exponential of the finite horizon cumulative cost that is sum of the following two quantities (i) the cumulative transmission power consumed, (ii) the cumulative squared estimator error. We pose this dynamic optimization problem as a Markov decision process (MDP), in which the system state at time $t$ is composed of (i) the instantaneous error $Δ(t):= x(t)-a\hat{x}(t-1)$, where $x(t),\hat{x}(t-1)$ are the system state and the estimate at time $t,t-1$ respectively, and (ii) the channel state $c(t)$. We show that there exists an optimal policy that has a threshold structure, i.e., at each time $t$, for each possible channel state $c$, there is a threshold $\D\ust(c)$ such that if the current channel state is $c$, then it transmits only when the error $\D(t)$ exceeds $\D\ust(c)$.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
On containment of trace ideals in ideals of finite homological dimension
Authors:
Souvik Dey,
Monalisa Dutta
Abstract:
Motivated by recent result of Pérez and R.G. on equality of test ideal of module closure operation and trace ideal, and the well-known result by Smith that parameter test ideal cannot be contained in parameter ideals, we study the obstruction of containment of trace ideals in ideals of finite projective (or injective) dimension. One of our results says that the trace ideal of any big Cohen--Macaul…
▽ More
Motivated by recent result of Pérez and R.G. on equality of test ideal of module closure operation and trace ideal, and the well-known result by Smith that parameter test ideal cannot be contained in parameter ideals, we study the obstruction of containment of trace ideals in ideals of finite projective (or injective) dimension. One of our results says that the trace ideal of any big Cohen--Macaulay module over a Gorenstein complete local domain cannot be contained in any ideal of finite projective dimension, thereby generalizing Smith's result in this case. As consequences of our results, we give upper bounds on $\mathfrak m$-adic order of trace ideals of certain modules over local Cohen--Macaulay rings. We also prove analogous results for ideal of entries of maps in a free resolution of modules.
△ Less
Submitted 24 March, 2024; v1 submitted 2 December, 2023;
originally announced December 2023.
-
Optimal Scheduling Policies for Remote Estimation of Autoregressive Markov Processes over Time-Correlated Fading Channel
Authors:
Manali Dutta,
Rahul Singh
Abstract:
We consider the problem of transmission scheduling for the remote estimation of a discrete-time autoregressive Markov process that is driven by white Gaussian noise. A sensor observes this process, and then decides to either encode the current state of this process into a data packet and attempts to transmit it to the estimator over an unreliable wireless channel modeled as a Gilbert-Elliott chann…
▽ More
We consider the problem of transmission scheduling for the remote estimation of a discrete-time autoregressive Markov process that is driven by white Gaussian noise. A sensor observes this process, and then decides to either encode the current state of this process into a data packet and attempts to transmit it to the estimator over an unreliable wireless channel modeled as a Gilbert-Elliott channel, or does not send any update. Each transmission attempt consumes $λ$ units of transmission power, and the remote estimator is assumed to be linear. The channel state is revealed only via the feedback (ACK\slash NACK) of a transmission, and hence the channel state is not revealed if no transmission occurs. The goal of the scheduler is to minimize the expected value of an infinite-horizon cumulative discounted cost, in which the instantaneous cost is composed of the following two quantities: (i)~squared estimation error, (ii) transmission power. We show that this problem can equivalently be posed as a partially observable Markov decision process (POMDP), in which the scheduler maintains a belief about the current state of the channel, and makes decisions on the basis of the current value of the estimation error, and the belief state.~We then show that the optimal policy is of threshold-type, i.e. for each value of the estimation error $e$, there is a threshold $b\ust(e)$ such that when the error is equal to $e$, then it is optimal to transmit only when the current belief state is greater than $b\ust(e)$.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Ulrich split rings
Authors:
Hailong Dao,
Souvik Dey,
Monalisa Dutta
Abstract:
A local Cohen--Macaulay ring is called Ulrich-split if any short exact sequence of Ulrich modules split. In this paper we initiate the study of Ulrich split rings. We prove several necessary or sufficient criteria for this property, linking it to syzygies of the residue field and cohomology annihilator. We characterize Ulrich split rings of small dimensions. Over complex numbers, $2$-dimensional U…
▽ More
A local Cohen--Macaulay ring is called Ulrich-split if any short exact sequence of Ulrich modules split. In this paper we initiate the study of Ulrich split rings. We prove several necessary or sufficient criteria for this property, linking it to syzygies of the residue field and cohomology annihilator. We characterize Ulrich split rings of small dimensions. Over complex numbers, $2$-dimensional Ulrich split rings, which are normal and have minimal multiplicity, are precisely cyclic quotient singularities with at most two indecomposable Ulrich modules up to isomorphism. We give several ways to construct Ulrich split rings, and give a range of applications, from test ideal of the family of maximal Cohen--Macaulay modules, to detecting projective/injective modules via vanishing of $\operatorname{Ext}$.
△ Less
Submitted 27 October, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Exact subcategories, subfunctors of $\operatorname{Ext}$, and some applications
Authors:
Hailong Dao,
Souvik Dey,
Monalisa Dutta
Abstract:
Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories. We also study a small number of these new functors over commutative local rings in details, and find a range of applications from detecting regularity to under…
▽ More
Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories. We also study a small number of these new functors over commutative local rings in details, and find a range of applications from detecting regularity to understanding Ulrich modules.
△ Less
Submitted 3 September, 2023; v1 submitted 27 May, 2022;
originally announced May 2022.
