-
Characterizing control between interacting subsystems with deep Jacobian estimation
Authors:
Adam J. Eisen,
Mitchell Ostrow,
Sarthak Chandra,
Leo Kozachkov,
Earl K. Miller,
Ila R. Fiete
Abstract:
Biological function arises through the dynamical interactions of multiple subsystems, including those between brain areas, within gene regulatory networks, and more. A common approach to understanding these systems is to model the dynamics of each subsystem and characterize communication between them. An alternative approach is through the lens of control theory: how the subsystems control one ano…
▽ More
Biological function arises through the dynamical interactions of multiple subsystems, including those between brain areas, within gene regulatory networks, and more. A common approach to understanding these systems is to model the dynamics of each subsystem and characterize communication between them. An alternative approach is through the lens of control theory: how the subsystems control one another. This approach involves inferring the directionality, strength, and contextual modulation of control between subsystems. However, methods for understanding subsystem control are typically linear and cannot adequately describe the rich contextual effects enabled by nonlinear complex systems. To bridge this gap, we devise a data-driven nonlinear control-theoretic framework to characterize subsystem interactions via the Jacobian of the dynamics. We address the challenge of learning Jacobians from time-series data by proposing the JacobianODE, a deep learning method that leverages properties of the Jacobian to directly estimate it for arbitrary dynamical systems from data alone. We show that JacobianODEs outperform existing Jacobian estimation methods on challenging systems, including high-dimensional chaos. Applying our approach to a multi-area recurrent neural network (RNN) trained on a working memory selection task, we show that the "sensory" area gains greater control over the "cognitive" area over learning. Furthermore, we leverage the JacobianODE to directly control the trained RNN, enabling precise manipulation of its behavior. Our work lays the foundation for a theoretically grounded and data-driven understanding of interactions among biological subsystems.
△ Less
Submitted 2 July, 2025;
originally announced July 2025.
-
Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices
Authors:
Jingyi Xu,
Tushar Vaidya,
Yufei Wu,
Saket Chandra,
Zhangsheng Lai,
Kai Fong Ernest Chong
Abstract:
We introduce algebraic machine reasoning, a new reasoning framework that is well-suited for abstract reasoning. Effectively, algebraic machine reasoning reduces the difficult process of novel problem-solving to routine algebraic computation. The fundamental algebraic objects of interest are the ideals of some suitably initialized polynomial ring. We shall explain how solving Raven's Progressive Ma…
▽ More
We introduce algebraic machine reasoning, a new reasoning framework that is well-suited for abstract reasoning. Effectively, algebraic machine reasoning reduces the difficult process of novel problem-solving to routine algebraic computation. The fundamental algebraic objects of interest are the ideals of some suitably initialized polynomial ring. We shall explain how solving Raven's Progressive Matrices (RPMs) can be realized as computational problems in algebra, which combine various well-known algebraic subroutines that include: Computing the Gröbner basis of an ideal, checking for ideal containment, etc. Crucially, the additional algebraic structure satisfied by ideals allows for more operations on ideals beyond set-theoretic operations.
Our algebraic machine reasoning framework is not only able to select the correct answer from a given answer set, but also able to generate the correct answer with only the question matrix given. Experiments on the I-RAVEN dataset yield an overall $93.2\%$ accuracy, which significantly outperforms the current state-of-the-art accuracy of $77.0\%$ and exceeds human performance at $84.4\%$ accuracy.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Construction of Fractal Functions Using Kannan Mappings and Smoothness Analysis
Authors:
Subhash Chandra,
Saurabh Verma,
Syed Abbas
Abstract:
Let T be a self-map on a metric space (X, d). Then T is called the Kannan map if there exists α, 0 < α< 1/2, such that d(T(x), T(y)) <= α[d(x, T(x)) + d(y, T(y))], for all x, y in X.
This paper aims to introduce a new method to construct fractal functions using Kannan mappings. First, we give the rigorous construction of fractal functions with the help of the Kannan iterated function system (IFS…
▽ More
Let T be a self-map on a metric space (X, d). Then T is called the Kannan map if there exists α, 0 < α< 1/2, such that d(T(x), T(y)) <= α[d(x, T(x)) + d(y, T(y))], for all x, y in X.
This paper aims to introduce a new method to construct fractal functions using Kannan mappings. First, we give the rigorous construction of fractal functions with the help of the Kannan iterated function system (IFS). We also show the existence of a Borel probability measure supported on the attractor of the Kannan IFS satisfying the strong separation condition. Moreover, we study the smoothness of the constructed fractal functions. We end the paper with some examples and graphical illustrations.
△ Less
Submitted 9 April, 2024; v1 submitted 8 January, 2023;
originally announced January 2023.
-
Analysis of Fractal Dimension of Mixed Riemann-Liouville Fractional Integral
Authors:
Subhash Chandra,
Syed Abbas
Abstract:
In this article, we investigate the fractal dimension of the graph of the mixed Riemann-Liouville fractional integral for various choice of continuous functions on a rectangular region. We estimate bounds for the box dimension and the Hausdorff dimension of the graph of the mixed Riemann-Liouville fractional integral of the functions which belong to the class of continuous functions and the class…
▽ More
In this article, we investigate the fractal dimension of the graph of the mixed Riemann-Liouville fractional integral for various choice of continuous functions on a rectangular region. We estimate bounds for the box dimension and the Hausdorff dimension of the graph of the mixed Riemann-Liouville fractional integral of the functions which belong to the class of continuous functions and the class of Holder continuous functions. We also show that the box dimension of the graph of the mixed Riemann-Liouville fractional integral of two-dimensional continuous functions is also two. Furthermore, we give construction of unbounded variational continuous functions. Later, we prove that the box dimension and the Hausdorff dimension of the graph of the mixed Riemann-Liouville fractional integral of unbounded variational continuous functions are also two.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Box Dimension of Mixed Katugampola Fractional Integral of Two-Dimensional Continuous Functions
Authors:
Subhash Chandra,
Syed Abbas
Abstract:
The goal of this article is to study the box dimension of the mixed Katugampola fractional integral of two-dimensional continuous functions on [0; 1]X[0; 1]. We prove that the box dimension of the mixed Katugampola fractional integral having fractional order (α= (α_1; α_2); α_1 > 0; α_2 > 0) of two-dimensional continuous functions on [0; 1]X[0; 1] is still two. Moreover, the results are also estab…
▽ More
The goal of this article is to study the box dimension of the mixed Katugampola fractional integral of two-dimensional continuous functions on [0; 1]X[0; 1]. We prove that the box dimension of the mixed Katugampola fractional integral having fractional order (α= (α_1; α_2); α_1 > 0; α_2 > 0) of two-dimensional continuous functions on [0; 1]X[0; 1] is still two. Moreover, the results are also established for the mixed Hadamard fractional integral.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
The Calculus Of Bivariate Fractal Interpolation Surfaces
Authors:
Subhash Chandra,
Syed Abbas
Abstract:
In this article, we investigate partial integrals and partial derivatives of bivariate fractal interpolation functions. We prove also that the mixed Riemann-Liouville fractional integral and derivative of order $γ= (p, q); p > 0,q > 0$, of bivariate fractal interpolation functions are again bivariate interpolation functions corresponding to some iterated function system (IFS). Furthermore, we disc…
▽ More
In this article, we investigate partial integrals and partial derivatives of bivariate fractal interpolation functions. We prove also that the mixed Riemann-Liouville fractional integral and derivative of order $γ= (p, q); p > 0,q > 0$, of bivariate fractal interpolation functions are again bivariate interpolation functions corresponding to some iterated function system (IFS). Furthermore, we discuss the integral transforms and fractional order integral transforms of the bivariate fractal interpolation functions.
△ Less
Submitted 18 May, 2020; v1 submitted 13 May, 2020;
originally announced May 2020.
-
Critical Network Cascades with Re-excitable nodes: Why tree-like approximations usually work, when they breakdown, and how to correct them
Authors:
Sarthak Chandra,
Edward Ott,
Michelle Girvan
Abstract:
Network science is a rapidly expanding field, with a large and growing body of work on network-based dynamical processes. Most theoretical results in this area rely on the so-called \emph{locally tree-like approximation}. This is, however, usually an `uncontrolled' approximation, in the sense that the magnitudes of the error are typically unknown, although numerical results show that this error is…
▽ More
Network science is a rapidly expanding field, with a large and growing body of work on network-based dynamical processes. Most theoretical results in this area rely on the so-called \emph{locally tree-like approximation}. This is, however, usually an `uncontrolled' approximation, in the sense that the magnitudes of the error are typically unknown, although numerical results show that this error is often surprisingly small. In this paper, we place this approximation on more rigorous footing by calculating the magnitude of deviations away from tree-based theories in the context of discrete-time critical network cascades with re-excitable nodes. We discuss the conditions under which tree-like approximations give good results for calculating network criticality, and also explain the reasons for deviation from this approximation, in terms of the density of certain kinds of network motifs. Using this understanding, we derive results for network criticality that apply to general networks that explicitly do not satisfy the locally tree-like approximation. In particular, we focus on the bi-parallel motif, the smallest motif relevant to the failure of a tree-based theory in this context, and we derive the corrections due to such motifs on the conditions for criticality. We verify our claims on computer-generated networks, and we confirm that our theory accurately predicts the observed deviations from criticality. Using our theory, we explain why numerical simulations often show that deviations from a tree-based theory are surprisingly small. More specifically, we show that these deviations are negligible for networks whose average degree is even modestly large compared to one, justifying why tree-based theories appear to work well for most real-world networks.
△ Less
Submitted 8 June, 2020; v1 submitted 17 May, 2019;
originally announced May 2019.
-
Locating Power Flow Solution Space Boundaries: A Numerical Polynomial Homotopy Approach
Authors:
Souvik Chandra,
Dhagash Mehta,
Aranya Chakrabortty
Abstract:
The solution space of any set of power flow equations may contain different number of real-valued solutions. The boundaries that separate these regions are referred to as power flow solution space boundaries. Knowledge of these boundaries is important as they provide a measure for voltage stability. Traditionally, continuation based methods have been employed to compute these boundaries on the bas…
▽ More
The solution space of any set of power flow equations may contain different number of real-valued solutions. The boundaries that separate these regions are referred to as power flow solution space boundaries. Knowledge of these boundaries is important as they provide a measure for voltage stability. Traditionally, continuation based methods have been employed to compute these boundaries on the basis of initial guesses for the solution. However, with rapid growth of renewable energy sources these boundaries will be increasingly affected by variable parameters such as penetration levels, locations of the renewable sources, and voltage set-points, making it difficult to generate an initial guess that can guarantee all feasible solutions for the power flow problem. In this paper we solve this problem by applying a numerical polynomial homotopy based continuation method. The proposed method guarantees to find all solution boundaries within a given parameter space up to a chosen level of discretization, independent of any initial guess. Power system operators can use this computational tool conveniently to plan the penetration levels of renewable sources at different buses. We illustrate the proposed method through simulations on 3-bus and 10-bus power system examples with renewable generation.
△ Less
Submitted 16 April, 2017;
originally announced April 2017.
-
Recovering Missing Slices of the Discrete Fourier Transform using Ghosts
Authors:
Shekhar Chandra,
Imants Svalbe,
Jeanpierre Guedon,
Andrew Kingston,
Nicolas Normand
Abstract:
The Discrete Fourier Transform (DFT) underpins the solution to many inverse problems commonly possessing missing or un-measured frequency information. This incomplete coverage of Fourier space always produces systematic artefacts called Ghosts. In this paper, a fast and exact method for de-convolving cyclic artefacts caused by missing slices of the DFT is presented. The slices discussed here origi…
▽ More
The Discrete Fourier Transform (DFT) underpins the solution to many inverse problems commonly possessing missing or un-measured frequency information. This incomplete coverage of Fourier space always produces systematic artefacts called Ghosts. In this paper, a fast and exact method for de-convolving cyclic artefacts caused by missing slices of the DFT is presented. The slices discussed here originate from the exact partitioning of DFT space, under the projective Discrete Radon Transform, called the Discrete Fourier Slice Theorem. The method has a computational complexity of O(n log2 n) (where n = N^2) and is constructed from a new Finite Ghost theory. This theory is also shown to unify several aspects of work done on Ghosts over the past three decades. The paper concludes with a significant application to fast, exact, non-iterative image reconstruction from sets of discrete slices obtained for a limited range of projection angles.
△ Less
Submitted 30 December, 2010;
originally announced January 2011.
-
Fast Mojette Transform for Discrete Tomography
Authors:
Shekhar S. Chandra,
Nicolas Normand,
Andrew Kingston,
Jeanpierre Guédon,
Imants Svalbe
Abstract:
A new algorithm for reconstructing a two dimensional object from a set of one dimensional projected views is presented that is both computationally exact and experimentally practical. The algorithm has a computational complexity of O(n log2 n) with n = N^2 for an NxN image, is robust in the presence of noise and produces no artefacts in the reconstruction process, as is the case with conventional…
▽ More
A new algorithm for reconstructing a two dimensional object from a set of one dimensional projected views is presented that is both computationally exact and experimentally practical. The algorithm has a computational complexity of O(n log2 n) with n = N^2 for an NxN image, is robust in the presence of noise and produces no artefacts in the reconstruction process, as is the case with conventional tomographic methods. The reconstruction process is approximation free because the object is assumed to be discrete and utilizes fully discrete Radon transforms. Noise in the projection data can be suppressed further by introducing redundancy in the reconstruction. The number of projections required for exact reconstruction and the response to noise can be controlled without comprising the digital nature of the algorithm. The digital projections are those of the Mojette Transform, a form of discrete linogram. A simple analytical mapping is developed that compacts these projections exactly into symmetric periodic slices within the Discrete Fourier Transform. A new digital angle set is constructed that allows the periodic slices to completely fill all of the objects Discrete Fourier space. Techniques are proposed to acquire these digital projections experimentally to enable fast and robust two dimensional reconstructions.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Fast Digital Convolutions using Bit-Shifts
Authors:
Shekhar S. Chandra
Abstract:
An exact, one-to-one transform is presented that not only allows digital circular convolutions, but is free from multiplications and quantisation errors for transform lengths of arbitrary powers of two. The transform is analogous to the Discrete Fourier Transform, with the canonical harmonics replaced by a set of cyclic integers computed using only bit-shifts and additions modulo a prime number. T…
▽ More
An exact, one-to-one transform is presented that not only allows digital circular convolutions, but is free from multiplications and quantisation errors for transform lengths of arbitrary powers of two. The transform is analogous to the Discrete Fourier Transform, with the canonical harmonics replaced by a set of cyclic integers computed using only bit-shifts and additions modulo a prime number. The prime number may be selected to occupy contemporary word sizes or to be very large for cryptographic or data hiding applications. The transform is an extension of the Rader Transforms via Carmichael's Theorem. These properties allow for exact convolutions that are impervious to numerical overflow and to utilise Fast Fourier Transform algorithms.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
