arXiv Science⌕ Search

arXiv subjects

Punit Sharma

Publications and source records attributed to Punit Sharma.

At least 19 recordsLinked to original sources
arXiv2026

Nearest structured matrix having an eigenvalue with prescribed lower bounds of algebraic and geometric multiplicities

We study the problem of perturbing a given matrix X belonging to a subspace S of linearly structured real matrices of order n to its nearest counterpart Y=X+D, where D belongs to S and Y possesses an eigenvalue with prescribed lower bounds on its algebraic multiplicity and geometric multiplicity. The proposed framework takes care of both cases where the target eigenvalue is known and where it is treated as an unknown decision variable to be determined jointly with the structured perturbation. We establish necessary and sufficient conditions for the existence of such matrices by expressing the feasibility constraints through Jordan-chain relations in structural coordinates. This allows us to formulate the problem as a nonlinear constrained nested optimization that minimizes the Frobenius norm of the perturbation. To solve this, we implemented a two-level strategy, utilizing MATLAB's fmincon for continuous inner optimization via a multi-start Sequential Quadratic Programming approach, while the outer level solves a discrete optimization problem. Comprehensive numerical experiments on various classes of structured matrices, including comparisons with existing methods, demonstrate the effectiveness and accuracy of the proposed approach.

math.SP↗
arXiv2025

Computation of structured stability radii for Dissipative-Hamiltonian systems

We study linear time-invariant Dissipative Hamiltonian (DH) systems arising in energy-based modeling of dynamical systems. An advantage of DH systems is that they are always stable due to the structure of their coefficient matrices, and, under further weak conditions, even asymptotically stable. In this paper, we discuss the computation of the stability radii for a given asymptotically stable DH system; i.e., the smallest structured perturbation that puts a DH system on the boundary of the region of asymptotic stability, so that it has purely imaginary eigenvalues. We obtain explicit computable formulas for various structured stability radii. For this, the problem of computing stability radii is reformulated in terms of minimizing the Rayleigh quotient of a Hermitian matrix or the sum of two generalized Rayleigh quotients of Hermitian semidefinite matrices. This reformulation results in the problem of minimizing the largest eigenvalue of an eigenvector-dependent Hermitian matrix or minimizing the smallest eigenvalue of a Hermitian matrix which depends on the eigenvector. It is also demonstrated (via numerical experiments) that, under structure-preserving perturbations, the asymptotic stability of a DH system is much more robust than under general perturbations, since the distance to instability is typically much larger when structure-preserving perturbations are considered. Finally, similar results are obtained for optimally robust representations of stable systems.

math.OC↗
arXiv2025

Computing the nearest $\Omega$-admissible descriptor dissipative Hamiltonian system

For a given set $\Omega \subseteq \mathbb{C}$, a matrix pair $(E,A)$ is called $\Omega$-admissible if it is regular, impulse-free and its eigenvalues lie inside the region $\Omega$. In this paper, we provide a dissipative Hamiltonian characterization for the matrix pairs that are $\Omega$-admissible where $\Omega$ is an LMI region. We then use these results for solving the nearest $\Omega$-admissible matrix pair problem: Given a matrix pair $(E,A)$, find the nearest $\Omega$-admissible pair $(\tilde E, \tilde A)$ to the given pair $(E,A)$. We illustrate our results on several data sets and compare with the state of the art.

math.NA↗
arXiv2025

On structured condition number of rational matrix functions

We derive the necessary and sufficient conditions for the simple eigenvalues of rational matrix functions with symmetry structure to have the same normwise condition number with respect to arbitrary and structure-preserving perturbations. We obtain an exact expression for the structured condition number of simple eigenvalues of symmetric, skew-symmetric and even/odd rational matrix functions, and tight bounds are obtained for simple eigenvalues of Hermitian, skew-Hermitian, even/odd, and palindromic rational matrix functions.

math.OC↗
arXiv2025

The potential role of AI agents in transforming nuclear medicine research and cancer management in India

India faces a significant cancer burden, with an incidence-to-mortality ratio indicating that nearly three out of five individuals diagnosed with cancer succumb to the disease. While the limitations of physical healthcare infrastructure are widely acknowledged as a primary challenge, concerted efforts by government and healthcare agencies are underway to mitigate these constraints. However, given the country's vast geography and high population density, it is imperative to explore alternative soft infrastructure solutions to complement existing frameworks. Artificial Intelligence agents are increasingly transforming problem-solving approaches across various domains, with their application in medicine proving particularly transformative. In this perspective, we examine the potential role of AI agents in advancing nuclear medicine for cancer research, diagnosis, and management in India. We begin with a brief overview of AI agents and their capabilities, followed by a proposed agent-based ecosystem that can address prevailing sustainability challenges in India nuclear medicine.

cs.MA↗
arXiv2025

Finding the nearest bounded-real port-Hamiltonian system

In this paper, we consider linear time-invariant continuous control systems which are bounded real, also known as scattering passive. Our main theoretical contribution is to show the equivalence between such systems and port-Hamiltonian (PH) systems whose factors satisfy certain linear matrix inequalities. Based on this result, we propose a formulation for the problem of finding the nearest bounded-real system to a given system, and design an algorithm combining alternating optimization and Nesterov's fast gradient method. This formulation also allows us to check whether a given system is bounded real by solving a semidefinite program, and provide a PH parametrization for it. We illustrate our proposed algorithms on real and synthetic data sets.

math.OC↗
arXiv2024

Eigenvalue backward errors of Rosenbrock systems and optimization of sums of Rayleigh quotient

We address the problem of computing the eigenvalue backward error of the Rosenbrock system matrix under various types of block perturbations. We establish computable formulas for these backward errors using a class of minimization problems involving the Sum of Two generalized Rayleigh Quotients (SRQ2). For computational purposes and analysis, we reformulate such optimization problems as minimization of a rational function over the joint numerical range of three Hermitian matrices. This reformulation eliminates certain local minimizers of the original SRQ2 minimization and allows for convenient visualization of the solution. Furthermore, by exploiting the convexity within the joint numerical range, we derive a characterization of the optimal solution using a Nonlinear Eigenvalue Problem with Eigenvector dependency (NEPv). The NEPv characterization enables a more efficient solution of the SRQ2 minimization compared to traditional optimization techniques. Our numerical experiments demonstrate the benefits and effectiveness of the NEPv approach for SRQ2 minimization in computing eigenvalue backward errors of Rosenbrock systems.

math.NA↗
arXiv2024

Structured eigenvalue backward errors of Rosenbrock systems and related $\mu$-value problems

In this paper, we compute the structured eigenvalue backward error of a Rosenbrock system matrix $S(z)=\left[\begin{array}{cc} A-zI & B \\ C & P(z) \end{array}\right]$ for a given scalar $\lambda\in \mathbb C$. We have developed simplified formulas for the structured eigenvalue backward error of the Rosenbrock system matrix, considering both full and partial block perturbations. These formulas involve computing structured $\mu$-values of a rectangular matrix under rectangular-block-diagonal perturbations. For the reformulated $\mu$-value problem, we provide an explicit expression using partial isometric matrices and also obtain a computable upper bound, which is equal to the $\mu$-value when the pertrubation matrix has no more than three blocks at the diagonal. The results are illustrated through numerical experiments.

math.OC↗
arXiv2023

Additional results on convergence and semiconvergence of three-step alternating iteration scheme for singular linear systems

The three-step alternating iteration scheme for finding an iterative solution of a singular (non-singular) linear systems in a faster way was introduced by Nandi {\it et al.} [Numer. Algorithms; 84 (2) (2020) 457-483], recently. The authors then provided its convergence criteria for a class of matrix splitting called proper G-weak regular splittings of type I. In this note, we analyze further the convergence criteria of the same scheme. In this aspect, we obtain sufficient conditions for the convergence of the same scheme for another class of matrix splittings called proper G-weak regular splittings of type II. We then show that this scheme converges faster than the two-step alternating and usual iteration schemes, even for this class of splittings. As a particular case, we also establish faster convergence criteria of three-step in a nonsingular matrix setting. This is shown that a large amount of computational time and memory are required in single-step and two-step alternating iterative methods to solve the nonsingular linear systems more efficiently than the three-step alternating iteration method. Finally, the semiconvergence of a three-step alternating iterative scheme is established. Its faster semiconvergence is demonstrated by considering a singular linear system arising from the Markov process.

math.NA↗
arXiv2022

Characterizing matrices with eigenvalues in an LMI region: A dissipative-Hamiltonian approach

In this paper, we provide a dissipative Hamiltonian (DH) characterization for the set of matrices whose eigenvalues belong to a given LMI region. This characterization is a generalization of that of Choudhary et al. (Numer. Linear Algebra Appl., 2020) to any LMI region. It can be used in various contexts, which we illustrate on the nearest $\Omega$-stable matrix problem: given an LMI region $\Omega \subseteq \mathbb{C}$ and a matrix $A \in \mathbb{C}^{n,n}$, find the nearest matrix to $A$ whose eigenvalues belong to $\Omega$. Finally, we generalize our characterization to more general regions that can be expressed using LMIs involving complex matrices.

math.OC↗
arXiv2022

Structured eigenvalue backward errors for rational matrix polynomials with symmetry structures

We derive computable formulas for the structured backward errors of a complex number $\lambda$ when considered as an approximate eigenvalue of rational matrix polynomials that carry a symmetry structure. We consider symmetric, skew-symmetric, T-even, T-odd, Hermitian, skew-Hermitian, $*$-even, $*$-odd, and $*$-palindromic structures. Numerical experiments show that the backward errors with respect to structure-preserving and arbitrary perturbations are significantly different.

math.OC↗
arXiv2022

Doubly structured mapping problems of the form $\Delta x=y$ and $\Delta^*z=w$

For a given class of structured matrices $\mathbb S$, we find necessary and sufficient conditions on vectors $x,w\in \C^{n+m}$ and $y,z \in \C^{n}$ for which there exists $\Delta=[\Delta_1~\Delta_2]$ with $\Delta_1 \in \mathbb S$ and $\Delta_2 \in \C^{n,m}$ such that $\Delta x=y$ and $\Delta^*z=w$. We also characterize the set of all such mappings $\Delta$ and provide sufficient conditions on vectors $x,y,z$, and $w$ to investigate a $\Delta$ with minimal Frobenius norm. The structured classes $\mathbb S$ we consider include (skew)-Hermitian, (skew)-symmetric, pseudo(skew)-symmetric, $J$-(skew)-symmetric, pseudo(skew)-Hermitian, positive (semi)definite, and dissipative matrices. These mappings are then used in computing the structured eigenvalue/eigenpair backward errors of matrix pencils arising in optimal control.

math.OC↗
arXiv2022

Carroll covariant scalar fields in two dimensions

Conformal Carroll symmetry generically arises on null manifolds and is important for holography of asymptotically flat spacetimes, generic black hole horizons and tensionless strings. In this paper, we focus on two dimensional (2d) null manifolds and hence on the 2d Conformal Carroll or equivalently the 3d Bondi-Metzner-Sachs (BMS) algebra. Using Carroll covariance, we write the most general free massless Carroll scalar field theory and discover three inequivalent actions. Of these, two viz. the time-like and space-like actions, have made their appearance in literature before. We uncover a third that we call the mixed-derivative theory. As expected, all three theories enjoy off-shell BMS invariance. Interestingly, we find that the on-shell symmetry of mixed derivative theory is a single Virasoro algebra instead of the full BMS. We discuss potential applications to tensionless strings and flat holography.

hep-th↗
arXiv2022

Solving matrix nearness problems via Hamiltonian systems, matrix factorization, and optimization

In these lectures notes, we review our recent works addressing various problems of finding the nearest stable system to an unstable one. After the introduction, we provide some preliminary background, namely, defining Port-Hamiltonian systems and dissipative Hamiltonian systems and their properties, briefly discussing matrix factorizations, and describing the optimization methods that we will use in these notes. In the third chapter, we present our approach to tackle the distance to stability for standard continuous linear time invariant (LTI) systems. The main idea is to rely on the characterization of stable systems as dissipative Hamiltonian systems. We show how this idea can be generalized to compute the nearest $\Omega$-stable matrix, where the eigenvalues of the sought system matrix $A$ are required to belong a rather general set $\Omega$. We also show how these ideas can be used to compute minimal-norm static feedbacks, that is, stabilize a system by choosing a proper input $u(t)$ that linearly depends on $x(t)$ (static-state feedback), or on $y(t)$ (static-output feedback). In the fourth chapter, we present our approach to tackle the distance to passivity. The main idea is to rely on the characterization of stable systems as port-Hamiltonian systems. We also discuss in more details the special case of computing the nearest stable matrix pairs. In the last chapter, we focus on discrete-time LTI systems. Similarly as for the continuous case, we propose a parametrization that allows efficiently compute the nearest stable system (for matrices and matrix pairs), allowing to compute the distance to stability. We show how this idea can be used in data-driven system identification, that is, given a set of input-output pairs, identify the system $A$.

math.OC↗
arXiv2021

Optimizing Rayleigh quotient with symmetric constraints and their applications to perturbations of the structured polynomial eigenvalue problem

For a Hermitian matrix $H \in \mathbb C^{n,n}$ and symmetric matrices $S_0, S_1,\ldots,S_k \in \mathbb C^{n,n}$, we consider the problem of computing the supremum of $\left\{ \frac{v^*Hv}{v^*v}:~v\in \mathbb C^{n}\setminus \{0\},\,v^TS_iv=0~\text{for}~i=0,\ldots,k\right\}$. For this, we derive an estimation in the form of minimizing the second largest eigenvalue of a parameter depending Hermitian matrix, which is exact when the eigenvalue at the optimal is simple. The results are then applied to compute the eigenvalue backward errors of higher degree matrix polynomials with T-palindromic, T-antipalindromic, T-even, T-odd, and skew-symmetric structures. The results are illustrated by numerical experiments.

math.NA↗
arXiv2021

Estimation to structured distances to singularity for matrix pencils with symmetry structures: A linear algebra-based approach

We study the structured distance to singularity for a given regular matrix pencil $A+sE$, where $(A,E)\in \mathbb S \subseteq (\mathbb C^{n,n})^2$. This includes Hermitian, skew-Hermitian, $*$-even, $*$-odd, $*$-palindromic, T-palindromic, and dissipative Hamiltonian pencils. We present a purely linear algebra-based approach to derive explicit computable formulas for the distance to the nearest structured pencil $(A-\Delta_A)+s(E-\Delta_E)$ such that $A-\Delta_A$ and $E-\Delta_E$ have a common null vector. We then obtain a family of computable lower bounds for the unstructured and structured distances to singularity. Numerical experiments suggest that in many cases, there is a significant difference between structured and unstructured distances. This approach extends to structured matrix polynomials with higher degrees.

math.OC↗
arXiv2021

Tensionless Tales: Vacua and Critical Dimensions

Recently, a careful canonical quantisation of the theory of closed bosonic tensionless strings has resulted in the discovery of three separate vacua and hence three different quantum theories that emerge from this single classical tensionless theory. In this note, we perform lightcone quantisation with the aim of determination of the critical dimension of these three inequivalent quantum theories. The satisfying conclusion of a rather long and tedious calculation is that one of vacua does not lead to any constraint on the number of dimensions, while the other two give $D=26$. This implies that all three quantum tensionless theories can be thought of as consistent sub-sectors of quantum tensile bosonic closed string theory.

hep-th↗