-
Subdifferential of $\mathcal{B(H, H}^d)$ norm, and some approximation problems
Authors:
Priyanka Grover,
Krishna Kumar Gupta,
Susmita Seal
Abstract:
We present an expression for the right hand derivative and the subdifferential of the $\mathcal{B(H, H}^d)$ norm. For tuples of operators $\boldsymbol A, \boldsymbol X\in$ $\mathcal{B(H, H}^d)$, we give a characterization for $\boldsymbol 0$ to be a best approximation to the subspace $\mathbb C^d \boldsymbol X$. We give an upper bound for the quantity…
▽ More
We present an expression for the right hand derivative and the subdifferential of the $\mathcal{B(H, H}^d)$ norm. For tuples of operators $\boldsymbol A, \boldsymbol X\in$ $\mathcal{B(H, H}^d)$, we give a characterization for $\boldsymbol 0$ to be a best approximation to the subspace $\mathbb C^d \boldsymbol X$. We give an upper bound for the quantity $\mathrm{dist}(\boldsymbol A, \mathbb{C}^d \mathbf{I})^2-\sup\limits_{\|φ\|=1}$ $\mathrm{var}_φ(\boldsymbol A)$. We derive characterizations of $ε$-Birkhoff orthogonality using the subdifferential of the norm in this setting.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Inertia and other properties of the matrix $\left[β(i,j)\right]$
Authors:
Priyanka Grover,
Veer Singh Panwar
Abstract:
Let $π(A)$, $ξ(A)$ and $ν(A)$, respectively, denote the number of positive, zero and negative eigenvalues of the matrix $A$. Then the triplet $(π(A), ξ(A), ν(A))$ is called the \emph{inertia} of $A$ and is denoted by $\textup{Inertia(A)}$. Let $β$ be the beta function. The inertia of the matrix $\left[β(i,j )\right]$ is shown to be $\left(\frac{n}{2},0,\frac{n}{2}\right)$ if $n$ is even, and…
▽ More
Let $π(A)$, $ξ(A)$ and $ν(A)$, respectively, denote the number of positive, zero and negative eigenvalues of the matrix $A$. Then the triplet $(π(A), ξ(A), ν(A))$ is called the \emph{inertia} of $A$ and is denoted by $\textup{Inertia(A)}$. Let $β$ be the beta function. The inertia of the matrix $\left[β(i,j )\right]$ is shown to be $\left(\frac{n}{2},0,\frac{n}{2}\right)$ if $n$ is even, and $\left(\frac{n+1}{2},0,\frac{n-1}{2}\right)$ if $n$ is odd. %Its connections with Birkhoff-James orthogonality are given. It is also shown that $\left[β(i,j)\right]$ is Birkhoff-James orthogonal to the $n\times n$ identity matrix $I$ in the trace norm if and only if $n$ is even. %We prove that the inverse of $\left[{β(i,j)}\right]$ is an integer matrix. For $0<\la_1<\cdots<\la_n, 0<μ_1<\cdots<μ_n$, it is shown that the matrix $\left[(β(\la_i,μ_j))^m\right]$ is non singular if $μ_{i+1}-μ_{i}\in \N$ for all $1\leq i \leq n-1$. It is also shown that if $μ_{i+1}-μ_i \in \N$ for $1\leq i\leq n-1$, then for $m\in \mathbb N$, the matrix $\left[\frac{1}{β(\la_i,μ_j)^m}\right]$ is totally positive.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
Phase transition in a kinetic mean-field game model of inertial self-propelled agents
Authors:
Piyush Grover,
Mandy Huo
Abstract:
The framework of Mean-field Games (MFGs) is used for modelling the collective dynamics of large populations of non-cooperative decision-making agents. We formulate and analyze a kinetic MFG model for an interacting system of non-cooperative motile agents with inertial dynamics and finite-range interactions, where each agent is minimizing a biologically inspired cost function. By analyzing the asso…
▽ More
The framework of Mean-field Games (MFGs) is used for modelling the collective dynamics of large populations of non-cooperative decision-making agents. We formulate and analyze a kinetic MFG model for an interacting system of non-cooperative motile agents with inertial dynamics and finite-range interactions, where each agent is minimizing a biologically inspired cost function. By analyzing the associated coupled forward-backward in time system of nonlinear Fokker-Planck and Hamilton-Jacobi-Bellman equations, we obtain conditions for closed-loop linear stability of the spatially homogeneous MFG equilibrium that corresponds to an ordered state with non-zero mean speed. Using a combination of analysis and numerical simulations, we show that when energetic cost of control is reduced below a critical value, this equilibrium loses stability, and the system transitions to a travelling wave solution. Our work provides a game-theoretic perspective to the problem of collective motion in non-equilibrium biological and bio-inspired systems.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
Topological bifurcations in a mean-field game
Authors:
Ali Akbar Rezaei Lori,
Piyush Grover
Abstract:
Mean-field games (MFG) provide a statistical physics inspired modeling framework for decision making in large-populations of strategic, non-cooperative agents. Mathematically, these systems consist of a forward-backward in time system of two coupled nonlinear partial differential equations (PDEs), namely the Fokker-Plank and the Hamilton-Jacobi-Bellman equations, governing the agent state and cont…
▽ More
Mean-field games (MFG) provide a statistical physics inspired modeling framework for decision making in large-populations of strategic, non-cooperative agents. Mathematically, these systems consist of a forward-backward in time system of two coupled nonlinear partial differential equations (PDEs), namely the Fokker-Plank and the Hamilton-Jacobi-Bellman equations, governing the agent state and control distribution, respectively. In this work, we study a finite-time MFG with a rich global bifurcation structure using a reduced-order model (ROM). The ROM is a 4D two-point boundary value problem obtained by restricting the controlled dynamics to first two moments of the agent state distribution, i.e., the mean and the variance. Phase space analysis of the ROM reveals that the invariant manifolds of periodic orbits around the so-called `ergodic MFG equilibrium' play a crucial role in determining the bifurcation diagram, and impart a topological signature to various solution branches. We show a qualitative agreement of these results with numerical solutions of the full-order MFG PDE system.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Phase space analysis of nonlinear wave propagation in a bistable mechanical metamaterial with a defect
Authors:
Mohammed A. Mohammed,
Piyush Grover
Abstract:
We study the dynamics of solitary waves traveling in a one-dimensional chain of bistable elements in the presence of a local inhomogeneity (defect). Numerical simulations reveal that depending upon its initial speed, an incoming solitary wave can get transmitted, captured or reflected upon interaction with the defect. The dynamics are dominated by energy exchange between the wave and a breather mo…
▽ More
We study the dynamics of solitary waves traveling in a one-dimensional chain of bistable elements in the presence of a local inhomogeneity (defect). Numerical simulations reveal that depending upon its initial speed, an incoming solitary wave can get transmitted, captured or reflected upon interaction with the defect. The dynamics are dominated by energy exchange between the wave and a breather mode localized at the defect. We derive a reduced-order two degree of freedom Hamiltonian model for wave-breather interaction, and analyze it using dynamical systems techniques. Lobe dynamics analysis reveals the fine structure of phase space that leads to the complicated dynamics in this system. This work is a step towards developing a rational approach to defect engineering for manipulating nonlinear waves in mechanical metamaterials.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
A distance formula for tuples of operators
Authors:
Priyanka Grover,
Sushil Singla
Abstract:
For a tuple of operators $\boldsymbol{A}= (A_1, \ldots, A_d)$, $\text{dist}(\boldsymbol{A}, \mathbb C^d \boldsymbol{I})$ is defined as $\min\limits_{\boldsymbol{z} \in \mathbb C^d} \|\boldsymbol{A-zI}\|$ and $\text{var}_x (\boldsymbol{A})$ as $\|\boldsymbol{A} x\|^2-\sum_{j=1}^d {\big|}\langle x| A_j x\rangle{\big|}^2.$ For a tuple $\boldsymbol{A}$ of commuting normal operators, it is known that…
▽ More
For a tuple of operators $\boldsymbol{A}= (A_1, \ldots, A_d)$, $\text{dist}(\boldsymbol{A}, \mathbb C^d \boldsymbol{I})$ is defined as $\min\limits_{\boldsymbol{z} \in \mathbb C^d} \|\boldsymbol{A-zI}\|$ and $\text{var}_x (\boldsymbol{A})$ as $\|\boldsymbol{A} x\|^2-\sum_{j=1}^d {\big|}\langle x| A_j x\rangle{\big|}^2.$ For a tuple $\boldsymbol{A}$ of commuting normal operators, it is known that $$\text{dist}(\boldsymbol{A}, \mathbb C^d \boldsymbol{I})^2=\sup_{\|x\|=1}\text{var}_x (\boldsymbol{A}).$$ We give an expression for the maximal joint numerical range of a tuple of doubly commuting matrices. Consequently, we obtain that the above distance formula holds for tuples of doubly commuting matrices. We also discuss some general conditions on the tuples of operators for this formula to hold. As a result, we obtain that it holds for tuples of Toeplitz operators as well.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Bidiagonal decompositions and total positivity of some special matrices
Authors:
Priyanka Grover,
Veer Singh Panwar
Abstract:
The matrix $S = [1+x_i y_j]_{i,j=1}^{n}, 0<x_1<\cdots<x_n,\, 0<y_1<\cdots<y_n$, has gained importance lately due to its role in powers preserving total nonnegativity. We give an explicit decomposition of $S$ in terms of elementary bidiagonal matrices, which is analogous to the Neville decomposition. We give a bidiagonal decomposition of $S^{\circ m}=[(1+x_iy_j)^m]$ for positive integers…
▽ More
The matrix $S = [1+x_i y_j]_{i,j=1}^{n}, 0<x_1<\cdots<x_n,\, 0<y_1<\cdots<y_n$, has gained importance lately due to its role in powers preserving total nonnegativity. We give an explicit decomposition of $S$ in terms of elementary bidiagonal matrices, which is analogous to the Neville decomposition. We give a bidiagonal decomposition of $S^{\circ m}=[(1+x_iy_j)^m]$ for positive integers $1\leq m \leq n-1$. We also explore the total positivity of Hadamard powers of another important class of matrices called mean matrices.
△ Less
Submitted 1 June, 2022; v1 submitted 29 May, 2022;
originally announced May 2022.
-
Subdifferential of the joint numerical radius
Authors:
Priyanka Grover,
Sushil Singla
Abstract:
An expression for the subdifferential of the joint numerical radius is obtained. Its applications to the best approximation problems in the joint numerical radius are discussed.
An expression for the subdifferential of the joint numerical radius is obtained. Its applications to the best approximation problems in the joint numerical radius are discussed.
△ Less
Submitted 9 January, 2022;
originally announced January 2022.
-
Exact coherent structures and phase space geometry of pre-turbulent 2D active nematic channel flow
Authors:
Caleb G. Wagner,
Michael M. Norton,
Jae Sung Park,
Piyush Grover
Abstract:
Confined active nematics exhibit rich dynamical behavior, including spontaneous flows, periodic defect dynamics, and chaotic `active turbulence'. Here, we study these phenomena using the framework of Exact Coherent Structures, which has been successful in characterizing the routes to high Reynolds number turbulence of passive fluids. Exact Coherent Structures are stationary, periodic, quasiperiodi…
▽ More
Confined active nematics exhibit rich dynamical behavior, including spontaneous flows, periodic defect dynamics, and chaotic `active turbulence'. Here, we study these phenomena using the framework of Exact Coherent Structures, which has been successful in characterizing the routes to high Reynolds number turbulence of passive fluids. Exact Coherent Structures are stationary, periodic, quasiperiodic, or traveling wave solutions of the hydrodynamic equations that, together with their invariant manifolds, serve as an organizing template of the dynamics. We compute the dominant Exact Coherent Structures and connecting orbits in a pre-turbulent active nematic channel flow, which enables a fully nonlinear but highly reduced order description in terms of a directed graph. Using this reduced representation, we compute instantaneous perturbations that switch the system between disparate spatiotemporal states occupying distant regions of the infinite dimensional phase space. Our results lay the groundwork for a systematic means of understanding and controlling active nematic flows in the moderate to high activity regime.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Best approximations, distance formulas and orthogonality in C*-algebras
Authors:
Priyanka Grover,
Sushil Singla
Abstract:
For a unital $C^*$-algebra $\mathcal A$ and a subspace $\mathcal B$ of $\mathcal A$, a characterization for a best approximation to an element of $\mathcal A$ in $\mathcal B$ is obtained. As an application, a formula for the distance of an element of $\mathcal A$ from $\mathcal B$ has been obtained, when a best approximation of that element to $\mathcal B$ exists. Further, a characterization for B…
▽ More
For a unital $C^*$-algebra $\mathcal A$ and a subspace $\mathcal B$ of $\mathcal A$, a characterization for a best approximation to an element of $\mathcal A$ in $\mathcal B$ is obtained. As an application, a formula for the distance of an element of $\mathcal A$ from $\mathcal B$ has been obtained, when a best approximation of that element to $\mathcal B$ exists. Further, a characterization for Birkhoff-James orthogonality of an element of a Hilbert $C^*$-module to a subspace is obtained.
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
Optimization-based incentivization and control scheme for autonomous traffic
Authors:
Uroš Kalabić,
Piyush Grover,
Shuchin Aeron
Abstract:
We consider the problem of incentivization and optimal control of autonomous vehicles for improving traffic congestion. In our scenario, autonomous vehicles must be incentivized in order to participate in traffic improvement. Using the theory and methods of optimal transport, we propose a constrained optimization framework over dynamics governed by partial differential equations, so that we can op…
▽ More
We consider the problem of incentivization and optimal control of autonomous vehicles for improving traffic congestion. In our scenario, autonomous vehicles must be incentivized in order to participate in traffic improvement. Using the theory and methods of optimal transport, we propose a constrained optimization framework over dynamics governed by partial differential equations, so that we can optimally select a portion of vehicles to be incentivized and controlled.
The goal of the optimization is to obtain a uniform distribution of vehicles over the spatial domain. To achieve this, we consider two types of penalties on vehicle density, one is the $L^2$ cost and the other is a multiscale-norm cost, commonly used in fluid-mixing problems. To solve this non-convex optimization problem, we introduce a novel algorithm, which iterates between solving a convex optimization problem and propagating the flow of uncontrolled vehicles according to the Lighthill-Whitham-Richards model. We perform numerical simulations, which suggest that the optimization of the $L^2$ cost is ineffective while optimization of the multiscale norm is effective. The results also suggest the use of a dedicated lane for this type of control in practice.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
Birkhoff-James orthogonality and applications : A survey
Authors:
Priyanka Grover,
Sushil Singla
Abstract:
In the last few decades, the concept of Birkhoff-James orthogonality has been used in several applications. In this survey article, the results known on the necessary and sufficient conditions for Birkhoff-James orthogonality in certain Banach spaces are mentioned. Their applications in studying the geometry of normed spaces are given. The connections between this concept of orthogonality, and the…
▽ More
In the last few decades, the concept of Birkhoff-James orthogonality has been used in several applications. In this survey article, the results known on the necessary and sufficient conditions for Birkhoff-James orthogonality in certain Banach spaces are mentioned. Their applications in studying the geometry of normed spaces are given. The connections between this concept of orthogonality, and the Gateaux derivative and the subdifferential set of the norm function are provided. Several interesting distance formulas can be obtained using the characterizations of Birkhoff-James orthogonality, which are also mentioned. In the end, some new results are obtained.
△ Less
Submitted 12 March, 2024; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Stabilizing Optimal Density Control of Nonlinear Agents with Multiplicative Noise
Authors:
Kaivalya Bakshi,
Evangelos A. Theodorou,
Piyush Grover
Abstract:
Control of continuous time dynamics with multiplicative noise is a classic topic in stochastic optimal control. This work addresses the problem of designing infinite horizon optimal controls with stability guarantees for \textit{a single agent or large population systems} of identical, non-cooperative and non-networked agents, with multi-dimensional and nonlinear stochastic dynamics excited by mul…
▽ More
Control of continuous time dynamics with multiplicative noise is a classic topic in stochastic optimal control. This work addresses the problem of designing infinite horizon optimal controls with stability guarantees for \textit{a single agent or large population systems} of identical, non-cooperative and non-networked agents, with multi-dimensional and nonlinear stochastic dynamics excited by multiplicative noise. For agent dynamics belonging to the class of reversible diffusion processes, we provide constraints on the state and control cost functions which guarantee stability of the closed-loop system under the action of the individual optimal controls. A condition relating the state-dependent control cost and volatility is introduced to prove the stability of the equilibrium density. This condition is a special case of the constraint required to use the path integral Feynman-Kac formula for computing the control. We investigate the connection between the stabilizing optimal control and the path integral formalism, leading us to a control law formulation expressed exclusively in terms of the desired equilibrium density.
△ Less
Submitted 27 September, 2020; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Positivity properties of some special matrices
Authors:
Priyanka Grover,
Veer Singh Panwar,
A Satyanarayana Reddy
Abstract:
It is shown that for positive real numbers $ 0<λ_{1}<\dots<λ_{n}$, $\left[\frac{1}{β({λ_i}, {λ_j})}\right]$, where $ β(\cdot,\cdot)$ denotes the beta function, is infinitely divisible and totally positive. For $ \left[\frac{1}{β({i},{j})}\right]$, the Cholesky decomposition and successive elementary bidiagonal decomposition are computed. Let $\mathfrak w(n)$ be the $n$th Bell number. It is proved…
▽ More
It is shown that for positive real numbers $ 0<λ_{1}<\dots<λ_{n}$, $\left[\frac{1}{β({λ_i}, {λ_j})}\right]$, where $ β(\cdot,\cdot)$ denotes the beta function, is infinitely divisible and totally positive. For $ \left[\frac{1}{β({i},{j})}\right]$, the Cholesky decomposition and successive elementary bidiagonal decomposition are computed. Let $\mathfrak w(n)$ be the $n$th Bell number. It is proved that $\left[\mathfrak w(i+j)\right]$ is a totally positive matrix but is infinitely divisible only upto order $4$. It is also shown that the symmetrized Stirling matrices are totally positive.
△ Less
Submitted 3 May, 2020; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Optimal Transport over Deterministic Discrete-time Nonlinear Systems using Stochastic Feedback Laws
Authors:
Karthik Elamvazhuthi,
Piyush Grover,
Spring Berman
Abstract:
This paper considers the relaxed version of the transport problem for general nonlinear control systems, where the objective is to design time-varying feedback laws that transport a given initial probability measure to a target probability measure under the action of the closed-loop system. To make the problem analytically tractable, we consider control laws that are stochastic, i.e., the control…
▽ More
This paper considers the relaxed version of the transport problem for general nonlinear control systems, where the objective is to design time-varying feedback laws that transport a given initial probability measure to a target probability measure under the action of the closed-loop system. To make the problem analytically tractable, we consider control laws that are stochastic, i.e., the control laws are maps from the state space of the control system to the space of probability measures on the set of admissible control inputs. Under some controllability assumptions on the control system as defined on the state space, we show that the transport problem, considered as a controllability problem for the lifted control system on the space of probability measures, is well-posed for a large class of initial and target measures. We use this to prove the well-posedness of a fixed-endpoint optimal control problem defined on the space of probability measures, where along with the terminal constraints, the goal is to optimize an objective functional along the trajectory of the control system. This optimization problem can be posed as an infinite-dimensional linear programming problem. This formulation facilitates numerical solutions of the transport problem for low-dimensional control systems, as we show in two numerical examples.
△ Less
Submitted 26 July, 2018; v1 submitted 9 April, 2018;
originally announced April 2018.
-
A mean-field game model for homogeneous flocking
Authors:
Piyush Grover,
Kaivalya Bakshi,
Evangelos A. Theodorou
Abstract:
Empirically derived continuum models of collective behavior among large populations of dynamic agents are a subject of intense study in several fields, including biology, engineering and finance. We formulate and study a mean-field game model whose behavior mimics an empirically derived non-local homogeneous flocking model for agents with gradient self-propulsion dynamics. The mean-field game fram…
▽ More
Empirically derived continuum models of collective behavior among large populations of dynamic agents are a subject of intense study in several fields, including biology, engineering and finance. We formulate and study a mean-field game model whose behavior mimics an empirically derived non-local homogeneous flocking model for agents with gradient self-propulsion dynamics. The mean-field game framework provides a non-cooperative optimal control description of the behavior of a population of agents in a distributed setting. In this description, each agent's state is driven by optimally controlled dynamics that result in a Nash equilibrium between itself and the population. The optimal control is computed by minimizing a cost that depends only on its own state, and a mean-field term. The agent distribution in phase space evolves under the optimal feedback control policy. We exploit the low-rank perturbative nature of the non-local term in the forward-backward system of equations governing the state and control distributions, and provide a linear stability analysis demonstrating that our model exhibits bifurcations similar to those found in the empirical model. The present work is a step towards developing a set of tools for systematic analysis, and eventually design, of collective behavior of non-cooperative dynamic agents via an inverse modeling approach.
△ Less
Submitted 29 May, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
Orthogonality to matrix subspaces, and a distance formula
Authors:
Priyanka Grover
Abstract:
We obtain a necessary and sufficient condition for a matrix $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M_n(\mathbb C)$. Using this we obtain an expression for the distance of $A$ from any unital $C^*$ subalgebra of $\mathbb M_n(\mathbb C)$.
We obtain a necessary and sufficient condition for a matrix $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M_n(\mathbb C)$. Using this we obtain an expression for the distance of $A$ from any unital $C^*$ subalgebra of $\mathbb M_n(\mathbb C)$.
△ Less
Submitted 20 May, 2017;
originally announced May 2017.
-
Perturbation bounds for the Mostow and the bipolar decompositions
Authors:
Priyanka Grover,
Pradip Mishra
Abstract:
Perturbation bounds for Mostow's decomposition and the bipolar decomposition of matrices have been computed. To do so, expressions for the derivative of the geometric mean of two positive definite matrices have been derived.
Perturbation bounds for Mostow's decomposition and the bipolar decomposition of matrices have been computed. To do so, expressions for the derivative of the geometric mean of two positive definite matrices have been derived.
△ Less
Submitted 1 April, 2017;
originally announced April 2017.
-
Optimal transport over nonlinear systems via infinitesimal generators on graphs
Authors:
Karthik Elamvazhuthi,
Piyush Grover
Abstract:
We present a set-oriented graph-based computational framework for continuous-time optimal transport over nonlinear dynamical systems. We recover provably optimal control laws for steering a given initial distribution in phase space to a final distribution in prescribed finite time for the case of non-autonomous nonlinear control-affine systems, while minimizing a quadratic control cost. The result…
▽ More
We present a set-oriented graph-based computational framework for continuous-time optimal transport over nonlinear dynamical systems. We recover provably optimal control laws for steering a given initial distribution in phase space to a final distribution in prescribed finite time for the case of non-autonomous nonlinear control-affine systems, while minimizing a quadratic control cost. The resulting control law can be used to obtain approximate feedback laws for individual agents in a swarm control application. Using infinitesimal generators, the optimal control problem is reduced to a modified Monge-Kantorovich optimal transport problem, resulting in a convex Benamou-Brenier type fluid dynamics formulation on a graph. The well-posedness of this problem is shown to be a consequence of the graph being strongly-connected, which in turn is shown to result from controllability of the underlying dynamical system. Using our computational framework, we study optimal transport of distributions where the underlying dynamical systems are chaotic, and non-holonomic. The solutions to the optimal transport problem elucidate the role played by invariant manifolds, lobe-dynamics and almost-invariant sets in efficient transport of distributions in finite time. Our work connects set-oriented operator-theoretic methods in dynamical systems with optimal mass transportation theory, and opens up new directions in design of efficient feedback control strategies for nonlinear multi-agent and swarm systems operating in nonlinear ambient flow fields.
△ Less
Submitted 10 April, 2018; v1 submitted 4 December, 2016;
originally announced December 2016.
-
Optimal perturbations for nonlinear systems using graph-based optimal transport
Authors:
Piyush Grover,
Karthik Elamvazhuthi
Abstract:
We formulate and solve a class of finite-time transport and mixing problems in the set-oriented framework. The aim is to obtain optimal discrete-time perturbations in nonlinear dynamical systems to transport a specified initial measure on the phase space to a final measure in finite time. The measure is propagated under system dynamics in between the perturbations via the associated transfer opera…
▽ More
We formulate and solve a class of finite-time transport and mixing problems in the set-oriented framework. The aim is to obtain optimal discrete-time perturbations in nonlinear dynamical systems to transport a specified initial measure on the phase space to a final measure in finite time. The measure is propagated under system dynamics in between the perturbations via the associated transfer operator. Each perturbation is described by a deterministic map in the measure space that implements a version of Monge-Kantorovich optimal transport with quadratic cost. Hence, the optimal solution minimizes a sum of quadratic costs on phase space transport due to the perturbations applied at specified times. The action of the transport map is approximated by a continuous pseudo-time flow on a graph, resulting in a tractable convex optimization problem. This problem is solved via state-of-the-art solvers to global optimality. We apply this algorithm to a problem of transport between measures supported on two disjoint almost-invariant sets in a chaotic fluid system, and to a finite-time optimal mixing problem by choosing the final measure to be uniform. In both cases, the optimal perturbations are found to exploit the phase space structures, such as lobe dynamics, leading to efficient global transport. As the time-horizon of the problem is increased, the optimal perturbations become increasingly localized. Hence, by combining the transfer operator approach with ideas from the theory of optimal mass transportation, we obtain a discrete-time graph-based algorithm for optimal transport and mixing in nonlinear systems.
△ Less
Submitted 6 October, 2017; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Orthogonality of matrices in the Ky Fan $k$-norms
Authors:
Priyanka Grover
Abstract:
We obtain necessary and sufficient conditions for a matrix $A$ to be Birkhoff-James orthogonal to another matrix $B$ in the Ky Fan $k$-norms. A characterization for $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M(n)$ is also obtained.
We obtain necessary and sufficient conditions for a matrix $A$ to be Birkhoff-James orthogonal to another matrix $B$ in the Ky Fan $k$-norms. A characterization for $A$ to be Birkhoff-James orthogonal to any subspace $\mathscr W$ of $\mathbb M(n)$ is also obtained.
△ Less
Submitted 18 May, 2016;
originally announced May 2016.
-
On optimal performance of nonlinear energy sinks in multiple-degree-of-freedom systems
Authors:
Astitva Tripathi,
Piyush Grover,
Tamas Kalmár-Nagy
Abstract:
We study the problem of optimizing the performance of a nonlinear spring-mass-damper attached to a class of multiple-degree-of-freedom systems. We aim to maximize the rate of one-way energy transfer from primary system to the attachment, and focus on impulsive excitation of a two-degree-of-freedom primary system with an essentially nonlinear attachment. The nonlinear attachment is shown to be able…
▽ More
We study the problem of optimizing the performance of a nonlinear spring-mass-damper attached to a class of multiple-degree-of-freedom systems. We aim to maximize the rate of one-way energy transfer from primary system to the attachment, and focus on impulsive excitation of a two-degree-of-freedom primary system with an essentially nonlinear attachment. The nonlinear attachment is shown to be able to perform as a `nonlinear energy sink' (NES) by taking away energy from the primary system irreversibly for some types of impulsive excitations. Using perturbation analysis and exploiting separation of time scales, we perform dimensionality reduction of this strongly nonlinear system. Our analysis shows that efficient energy transfer to nonlinear attachment in this system occurs for initial conditions close to homoclinic orbit of the slow time-scale undamped system, a phenomenon that has been previously observed for the case of single-degree-of-freedom primary systems. Analytical formulae for optimal parameters for given impulsive excitation input are derived. Generalization of this framework to systems with arbitrary number of degrees-of-freedom of the primary system is also discussed. The performance of both linear and nonlinear optimally tuned attachments is compared. While NES performance is sensitive to magnitude of the initial impulse, our results show that NES performance is more robust than linear tuned-mass-damper to several parametric perturbations. Hence, our work provides evidence that homoclinic orbits of the underlying Hamiltonian system play a crucial role in efficient nonlinear energy transfers, even in high dimensional systems, and gives new insight into robustness of systems with essential nonlinearity.
△ Less
Submitted 18 October, 2016; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Sparse sensing and DMD based identification of flow regimes and bifurcations in complex flows
Authors:
Boris Kramer,
Piyush Grover,
Petros Boufounos,
Mouhacine Benosman,
Saleh Nabi
Abstract:
We present a sparse sensing framework based on Dynamic Mode Decomposition (DMD) to identify flow regimes and bifurcations in large-scale thermo-fluid systems. Motivated by real-time sensing and control of thermal-fluid flows in buildings and equipment, we apply this method to a Direct Numerical Simulation (DNS) data set of a 2D laterally heated cavity. The resulting flow solutions can be divided i…
▽ More
We present a sparse sensing framework based on Dynamic Mode Decomposition (DMD) to identify flow regimes and bifurcations in large-scale thermo-fluid systems. Motivated by real-time sensing and control of thermal-fluid flows in buildings and equipment, we apply this method to a Direct Numerical Simulation (DNS) data set of a 2D laterally heated cavity. The resulting flow solutions can be divided into several regimes, ranging from steady to chaotic flow. The DMD modes and eigenvalues capture the main temporal and spatial scales in the dynamics belonging to different regimes. Our proposed classification method is data-driven, robust w.r.t measurement noise, and exploits the dynamics extracted from the DMD method. Namely, we construct an augmented DMD basis, with "built-in" dynamics, given by the DMD eigenvalues. This allows us to employ a short time-series of data from sensors, to more robustly classify flow regimes, particularly in the presence of measurement noise. We also exploit the incoherence exhibited among the data generated by different regimes, which persists even if the number of measurements is small compared to the dimension of the DNS data. The data-driven regime identification algorithm can enable robust low-order modeling of flows for state estimation and control.
△ Less
Submitted 22 August, 2016; v1 submitted 9 October, 2015;
originally announced October 2015.
-
Learning-based Reduced Order Model Stabilization for Partial Differential Equations: Application to the Coupled Burgers Equation
Authors:
Mouhacine Benosman,
Boris Kramer,
Petros Boufounos,
Piyush Grover
Abstract:
We present results on stabilization for reduced order models (ROM) of partial differential equations using learning. Stabilization is achieved via closure models for ROMs, where we use a model-free extremum seeking (ES) dither-based algorithm to learn the best closure models' parameters, for optimal ROM stabilization. We first propose to auto-tune linear closure models using ES, and then extend th…
▽ More
We present results on stabilization for reduced order models (ROM) of partial differential equations using learning. Stabilization is achieved via closure models for ROMs, where we use a model-free extremum seeking (ES) dither-based algorithm to learn the best closure models' parameters, for optimal ROM stabilization. We first propose to auto-tune linear closure models using ES, and then extend the results to a closure model combining linear and nonlinear terms, for better stabilization performance. The coupled Burgers' equation is employed as a test-bed for the proposed tuning method.
△ Less
Submitted 6 October, 2015;
originally announced October 2015.
-
Norm inequalities related to the matrix geometric mean
Authors:
Rajendra Bhatia,
Priyanka Grover
Abstract:
Inequalities for norms of different versions of the geometric mean of two positive definite matrices are presented.
Inequalities for norms of different versions of the geometric mean of two positive definite matrices are presented.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
Derivatives of tensor powers and their norms
Authors:
Rajendra Bhatia,
Priyanka Grover,
Tanvi Jain
Abstract:
The norm of the $m$th derivative of the map that takes an operator to its $k$th antisymmetric tensor power is evaluated. The case $m=1$ has been studied earlier by Bhatia and Friedland [R. Bhatia and S. Friedland, Variation of Grassman powers and spectra, Linear Algebra and its Applications, 40:1--18, 1981]. For this purpose a multilinear version of a theorem of Russo and Dye is proved: it is show…
▽ More
The norm of the $m$th derivative of the map that takes an operator to its $k$th antisymmetric tensor power is evaluated. The case $m=1$ has been studied earlier by Bhatia and Friedland [R. Bhatia and S. Friedland, Variation of Grassman powers and spectra, Linear Algebra and its Applications, 40:1--18, 1981]. For this purpose a multilinear version of a theorem of Russo and Dye is proved: it is shown that a positive $m$-linear map between $C^{\ast}$-algebras attains its norm at the $m$-tuple $(I, \, I, ..., I).$ Expressions for derivatives of the maps that take an operator to its $k$th tensor power and $k$th symmetric tensor power are also obtained. The norms of these derivatives are computed. Derivatives of the map taking a matrix to its permanent are also evaluated.
△ Less
Submitted 16 February, 2015; v1 submitted 11 February, 2011;
originally announced February 2011.
-
Implicit and explicit communication in decentralized control
Authors:
Pulkit Grover,
Anant Sahai
Abstract:
There has been substantial progress recently in understanding toy problems of purely implicit signaling. These are problems where the source and the channel are implicit -- the message is generated endogenously by the system, and the plant itself is used as a channel. In this paper, we explore how implicit and explicit communication can be used synergistically to reduce control costs.
The setting…
▽ More
There has been substantial progress recently in understanding toy problems of purely implicit signaling. These are problems where the source and the channel are implicit -- the message is generated endogenously by the system, and the plant itself is used as a channel. In this paper, we explore how implicit and explicit communication can be used synergistically to reduce control costs.
The setting is an extension of Witsenhausen's counterexample where a rate-limited external channel connects the two controllers. Using a semi-deterministic version of the problem, we arrive at a binning-based strategy that can outperform the best known strategies by an arbitrarily large factor.
We also show that our binning-based strategy attains within a constant factor of the optimal cost for an asymptotically infinite-length version of the problem uniformly over all problem parameters and all rates on the external channel. For the scalar case, although our results yield approximate optimality for each fixed rate, we are unable to prove approximately-optimality uniformly over all rates.
△ Less
Submitted 23 October, 2010;
originally announced October 2010.
-
Derivatives of Multilinear Functions of Matrices
Authors:
Priyanka Grover
Abstract:
Perturbation or error bounds of functions have been of great interest for a long time. If the functions are differentiable, then the mean value theorem and Taylor's theorem come handy for this purpose. While the former is useful in estimating $\|f(A+X)-f(A)\|$ in terms of $\|X\|$ and requires the norms of the first derivative of the function, the latter is useful in computing higher order perturba…
▽ More
Perturbation or error bounds of functions have been of great interest for a long time. If the functions are differentiable, then the mean value theorem and Taylor's theorem come handy for this purpose. While the former is useful in estimating $\|f(A+X)-f(A)\|$ in terms of $\|X\|$ and requires the norms of the first derivative of the function, the latter is useful in computing higher order perturbation bounds and needs norms of the higher order derivatives of the function.
In the study of matrices, determinant is an important function. Other scalar valued functions like eigenvalues and coefficients of characteristic polynomial are also well studied. Another interesting function of this category is the permanent, which is an analogue of the determinant in matrix theory. More generally, there are operator valued functions like tensor powers, antisymmetric tensor powers and symmetric tensor powers which have gained importance in the past. In this article, we give a survey of the recent work on the higher order derivatives of these functions and their norms. Using Taylor's theorem, higher order perturbation bounds are obtained. Some of these results are very recent and their detailed proofs will appear elsewhere.
△ Less
Submitted 1 April, 2017; v1 submitted 26 July, 2010;
originally announced July 2010.
-
The finite-dimensional Witsenhausen counterexample
Authors:
Pulkit Grover,
Se Yong Park,
Anant Sahai
Abstract:
Recently, a vector version of Witsenhausen's counterexample was considered and it was shown that in that limit of infinite vector length, certain quantization-based control strategies are provably within a constant factor of the optimal cost for all possible problem parameters. In this paper, finite vector lengths are considered with the dimension being viewed as an additional problem parameter.…
▽ More
Recently, a vector version of Witsenhausen's counterexample was considered and it was shown that in that limit of infinite vector length, certain quantization-based control strategies are provably within a constant factor of the optimal cost for all possible problem parameters. In this paper, finite vector lengths are considered with the dimension being viewed as an additional problem parameter. By applying a large-deviation "sphere-packing" philosophy, a lower bound to the optimal cost for the finite dimensional case is derived that uses appropriate shadows of the infinite-length bound. Using the new lower bound, we show that good lattice-based control strategies achieve within a constant factor of the optimal cost uniformly over all possible problem parameters, including the vector length. For Witsenhausen's original problem -- the scalar case -- the gap between regular lattice-based strategies and the lower bound is numerically never more than a factor of 8.
△ Less
Submitted 2 March, 2010;
originally announced March 2010.
