-
Incentivized Third Party Collateralization for Stablecoins
Authors:
Souradeep Das,
Dr. Revathi Venkataraman
Abstract:
Stablecoins, which are primarily intended to function as a global reserve of value are insubstantial in their design and present many failure points. The primary mechanism to enable these coins to hold on to a fixed value is by backing them with collateral. Fiat collateralized stablecoins require users to trust a centralized entity, which breaks the total concept of decentralization. Crypto collat…
▽ More
Stablecoins, which are primarily intended to function as a global reserve of value are insubstantial in their design and present many failure points. The primary mechanism to enable these coins to hold on to a fixed value is by backing them with collateral. Fiat collateralized stablecoins require users to trust a centralized entity, which breaks the total concept of decentralization. Crypto collateralized stablecoins have issues involving high collateral requirements and introduces risks of auto-liquidation. In this paper we aim to propose an alternative architecture for the creation of a functional and secure stablecoin.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Trajectory-based Robustness Analysis for Nonlinear Systems
Authors:
Peter Seiler,
Raghu Venkataraman
Abstract:
This paper considers the robustness of an uncertain nonlinear system along a finite-horizon trajectory. The uncertain system is modeled as a connection of a nonlinear system and a perturbation. The analysis relies on three ingredients. First, the nonlinear system is approximated by a linear time-varying (LTV) system via linearization along a trajectory. This linearization introduces an additional…
▽ More
This paper considers the robustness of an uncertain nonlinear system along a finite-horizon trajectory. The uncertain system is modeled as a connection of a nonlinear system and a perturbation. The analysis relies on three ingredients. First, the nonlinear system is approximated by a linear time-varying (LTV) system via linearization along a trajectory. This linearization introduces an additional forcing input due to the nominal trajectory. Second, the input/output behavior of the perturbation is described by time-domain, integral quadratic constraints (IQCs). Third, a dissipation inequality is formulated to bound the worst-case deviation of an output signal due to the uncertainty. These steps yield a differential linear matrix inequality (DLMI) condition to bound the worst-case performance. The robustness condition is then converted to an equivalent condition in terms of a Riccati Differential Equation. This yields a computational method that avoids heuristics often used to solve DLMIs, e.g. time gridding. The approach is demonstrated by a two-link robotic arm example.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Iterative collaborative routing among equivariant capsules for transformation-robust capsule networks
Authors:
Sai Raam Venkataraman,
S. Balasubramanian,
R. Raghunatha Sarma
Abstract:
Transformation-robustness is an important feature for machine learning models that perform image classification. Many methods aim to bestow this property to models by the use of data augmentation strategies, while more formal guarantees are obtained via the use of equivariant models. We recognise that compositional, or part-whole structure is also an important aspect of images that has to be consi…
▽ More
Transformation-robustness is an important feature for machine learning models that perform image classification. Many methods aim to bestow this property to models by the use of data augmentation strategies, while more formal guarantees are obtained via the use of equivariant models. We recognise that compositional, or part-whole structure is also an important aspect of images that has to be considered for building transformation-robust models. Thus, we propose a capsule network model that is, at once, equivariant and compositionality-aware. Equivariance of our capsule network model comes from the use of equivariant convolutions in a carefully-chosen novel architecture. The awareness of compositionality comes from the use of our proposed novel, iterative, graph-based routing algorithm, termed Iterative collaborative routing (ICR). ICR, the core of our contribution, weights the predictions made for capsules based on an iteratively averaged score of the degree-centralities of its nearest neighbours. Experiments on transformed image classification on FashionMNIST, CIFAR-10, and CIFAR-100 show that our model that uses ICR outperforms convolutional and capsule baselines to achieve state-of-the-art performance.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Robustcaps: a transformation-robust capsule network for image classification
Authors:
Sai Raam Venkataraman,
S. Balasubramanian,
R. Raghunatha Sarma
Abstract:
Geometric transformations of the training data as well as the test data present challenges to the use of deep neural networks to vision-based learning tasks. In order to address this issue, we present a deep neural network model that exhibits the desirable property of transformation-robustness. Our model, termed RobustCaps, uses group-equivariant convolutions in an improved capsule network model.…
▽ More
Geometric transformations of the training data as well as the test data present challenges to the use of deep neural networks to vision-based learning tasks. In order to address this issue, we present a deep neural network model that exhibits the desirable property of transformation-robustness. Our model, termed RobustCaps, uses group-equivariant convolutions in an improved capsule network model. RobustCaps uses a global context-normalised procedure in its routing algorithm to learn transformation-invariant part-whole relationships within image data. This learning of such relationships allows our model to outperform both capsule and convolutional neural network baselines on transformation-robust classification tasks. Specifically, RobustCaps achieves state-of-the-art accuracies on CIFAR-10, FashionMNIST, and CIFAR-100 when the images in these datasets are subjected to train and test-time rotations and translations.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Process Knowledge-Infused AI: Towards User-level Explainability, Interpretability, and Safety
Authors:
Amit Sheth,
Manas Gaur,
Kaushik Roy,
Revathy Venkataraman,
Vedant Khandelwal
Abstract:
AI systems have been widely adopted across various domains in the real world. However, in high-value, sensitive, or safety-critical applications such as self-management for personalized health or food recommendation with a specific purpose (e.g., allergy-aware recipe recommendations), their adoption is unlikely. Firstly, the AI system needs to follow guidelines or well-defined processes set by exp…
▽ More
AI systems have been widely adopted across various domains in the real world. However, in high-value, sensitive, or safety-critical applications such as self-management for personalized health or food recommendation with a specific purpose (e.g., allergy-aware recipe recommendations), their adoption is unlikely. Firstly, the AI system needs to follow guidelines or well-defined processes set by experts; the data alone will not be adequate. For example, to diagnose the severity of depression, mental healthcare providers use Patient Health Questionnaire (PHQ-9). So if an AI system were to be used for diagnosis, the medical guideline implied by the PHQ-9 needs to be used. Likewise, a nutritionist's knowledge and steps would need to be used for an AI system that guides a diabetic patient in develo** a food plan. Second, the BlackBox nature typical of many current AI systems will not work; the user of an AI system will need to be able to give user-understandable explanations, explanations constructed using concepts that humans can understand and are familiar with. This is the key to eliciting confidence and trust in the AI system. For such applications, in addition to data and domain knowledge, the AI systems need to have access to and use the Process Knowledge, an ordered set of steps that the AI system needs to use or adhere to.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Development of a $^{83\mathrm{m}}$Kr source for the calibration of the CENNS-10 Liquid Argon Detector
Authors:
COHERENT Collaboration,
D. Akimov,
P. An,
C. Awe,
P. S. Barbeau,
B. Becker,
V. Belov,
I. Bernardi,
M. A. Blackston,
L. Blokland,
A. Bolozdynya,
B. Cabrera-Palmer,
N. Chen,
D. Chernyak,
E. Conley,
J. Daughhetee,
M. del Valle Coello,
J. A. Detwiler,
M. R. Durand,
Y. Efremenko,
S. R. Elliott,
L. Fabris,
M. Febbraro,
W. Fox,
A. Galindo-Uribarri
, et al. (55 additional authors not shown)
Abstract:
We report on the preparation of and calibration measurements with a $^{83\mathrm{m}}$Kr source for the CENNS-10 liquid argon detector. $^{83\mathrm{m}}$Kr atoms generated in the decay of a $^{83}$Rb source were introduced into the detector via injection into the Ar circulation loop. Scintillation light arising from the 9.4 keV and 32.1 keV conversion electrons in the decay of $^{83\mathrm{m}}$Kr i…
▽ More
We report on the preparation of and calibration measurements with a $^{83\mathrm{m}}$Kr source for the CENNS-10 liquid argon detector. $^{83\mathrm{m}}$Kr atoms generated in the decay of a $^{83}$Rb source were introduced into the detector via injection into the Ar circulation loop. Scintillation light arising from the 9.4 keV and 32.1 keV conversion electrons in the decay of $^{83\mathrm{m}}$Kr in the detector volume were then observed. This calibration source allows the characterization of the low-energy response of the CENNS-10 detector and is applicable to other low-energy-threshold detectors. The energy resolution of the detector was measured to be 9$\%$ at the total $^{83\mathrm{m}}$Kr decay energy of 41.5 keV. We performed an analysis to separately calibrate the detector using the two conversion electrons at 9.4 keV and 32.1 keV
△ Less
Submitted 27 January, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Necessary and sufficient conditions for differentiability of a function of several variables
Authors:
R. P. Venkataraman
Abstract:
The necessary and sufficient conditions for differentiability of a function of several real variables stated and proved and its ramifications discussed.
The necessary and sufficient conditions for differentiability of a function of several real variables stated and proved and its ramifications discussed.
△ Less
Submitted 17 July, 2000; v1 submitted 3 July, 2000;
originally announced July 2000.
-
Is Schroedinger equation consistent with information theory?
Authors:
R. P. Venkataraman
Abstract:
It is shown that Schroedinger equation is not consistent with information theory. From the modified form of information which ensures that the most probable density function it yields tallies with a general form of continuous Riemann integrable density function that has real or imaginary zeros or singularities at end points of $[a,b] εR$, a new variational formulation for quantum mechanics is pr…
▽ More
It is shown that Schroedinger equation is not consistent with information theory. From the modified form of information which ensures that the most probable density function it yields tallies with a general form of continuous Riemann integrable density function that has real or imaginary zeros or singularities at end points of $[a,b] εR$, a new variational formulation for quantum mechanics is proposed that yields a system of Euler-Lagrange equations that are non-linear. It is proved that the solutions of this system are unique, orthonormal and complete. One dimensional harmonic oscillator has been solved.
△ Less
Submitted 3 July, 2000;
originally announced July 2000.
-
Inequivalence of ensembles in statistical mechanics
Authors:
R. P. Venkataraman
Abstract:
For studying the thermodynamic properties of systems using statistical mechanics we propose an ensemble that lies in between the familiar canonical and microcanonical ensembles. From a comparative study of these ensembles we conclude that all these ensembles may not yield the same results even in the thermodynamic limit except at high temperatures. An investigation of the coupling between system…
▽ More
For studying the thermodynamic properties of systems using statistical mechanics we propose an ensemble that lies in between the familiar canonical and microcanonical ensembles. From a comparative study of these ensembles we conclude that all these ensembles may not yield the same results even in the thermodynamic limit except at high temperatures. An investigation of the coupling between systems suggest that the state of thermodynamic equilibrium is a special case of statistical equilibrium. As a byproduct of this analysis we have obtained a general form for probability density function in an interval.
△ Less
Submitted 12 July, 2000;
originally announced July 2000.