SearcharxivSearch

arXiv subjects

Farhad Jafari

Publications and source records attributed to Farhad Jafari.

15 recordsLinked to original sources

A Refinement in Čech Cohomology of Coron's Necessary Condition

Coron established a homological obstruction to continuous feedback stabilization of nonlinear control systems $\dot{x}=f(x,u)$ with $f \in C(Ω,\mathbb{R}^n)$ and $f(0,0)=0$, showing that local asymptotic stabilizability implies the induced homomorphism $f_*$ satisfies $f_*\big(H_{n-1}(Σ_ε)\big)=H_{n-1}(S^{n-1})$, where $Σ_ε:=\Big(\big(\mathbb{B}_ε^{\mathbb{R}^n}(0)\times\mathbb{B}_ε^{\mathbb{R}^m}(0)\big)\cap Ω\Big)\setminus f^{-1}(0)$. In this paper, we refine Coron's necessary condition using Čech cohomology and the Vietoris-Begle mapping theorem. Specifically, we prove that the closed version of $Σ_ε$ must be a Čech cohomology $(n-1)$-sphere and that the restriction of $f$ to this subset induces an isomorphism on its Čech cohomology groups in all degrees. This strengthens Coron's condition from a constraint on the top class to a full cohomological rigidity statement.

math.OC

Brockett Openness Profiles and Gain-Limited Feedback Stabilization

Brockett's necessary condition asserts that a continuously stabilizable nonlinear control system must have a vector field that is open at the equilibrium. We show that the quantitative data behind this openness condition constrains the possible growth of stabilizing feedbacks. To a system vector field $f$, we associate its openness profile $Ω_f(r)=\sup\{ρ:\mathbb{B}_ρ(0)\subset f(\mathbb{B}_r(0,0))\}$, so that Brockett's condition becomes $Ω_f(r)>0$ for all sufficiently small $r>0$. If a feedback $u$ satisfies $\|u(x)\|\leq d(\|x\|)$, then the openness profile of the closed-loop field $F_u(x)=f(x,u(x))$ satisfies $Ω_{F_u}(r)\leq Ω_f\!\left(\sqrt{r^2+d(r)^2}\right)$. Consequently, any prescribed lower openness rate for the closed-loop dynamics yields a necessary lower bound on the feedback growth. For systems with $Ω_f(r)\lesssim r^q$, linear-rate closed-loop openness forces $d(r)\gtrsim r^{1/q}$, and this exponent is sharp in elementary polynomial examples. Thus Brockett's condition is not merely a binary topological obstruction; its quantitative profile governs gain requirements for stabilizing feedback.

math.OC

Detecting and Correcting Sample-by-Sample Scale Distortion in RNA Sequencing Data

RNA sequencing (RNA-seq) is the conventional genome-scale approach used to capture the expression levels of all detectable genes in a biological sample. This is now regularly used for population-based studies designed to identify genetic determinants of various diseases. Naturally, the accuracy of these tests should be verified and improved if possible. In this study, we aimed to detect and correct for expression level-dependent errors which vary from sample to sample, and are not corrected by conventional normalization techniques . We examined several RNA-seq datasets from the Cancer Genome Atlas (TCGA), Stand Up 2 Cancer (SU2C), and GTEx databases with various types of preprocessing. By applying local averaging, we found sample by sample expression-level dependent biases in all datasets studied. Using simulations, we show that these biases corrupt gene-gene correlation estimations and $t$ tests between subpopulations. To mitigate these biases, we introduce two different nonlinear transforms based on statistical considerations that correct these observed biases. We demonstrate that that these transforms effectively remove the observed per-sample biases, reduce sample-to-sample variance, and improve the characteristics of gene-gene correlation distributions. Using a novel simulation methodology that creates controlled differences between subpopulations, we show that these transforms reduce variability and increase sensitivity of two population tests. The improvements in sensitivity and specificity were of the order of 3-5\% in most instances after the data was corrected for bias. Altogether, these results improve our capacity to understand gene-gene relationships, and may lead to novel ways to utilize the information derived from clinical tests.

q-bio.GN

A fundamental theorem of algebra for sums of exponentials

Determination of linear combination of exponential functions with unknown rate constants from its sampled values is a problem of considerable interest. Here we present a constructive and explicit solution to this problem. Moments of such linear combinations appear in this construction.

math.CA

Reconstructions of piece-wise continuous and discrete functions using moments

The problem of recovering a moment-determinate multivariate function $f$ via its moment sequence is studied. Under mild conditions on $f$, the point-wise and $L_1$-rates of convergence for the proposed constructions are established. The cases where $f$ is the indicator function of a set, and represents a discrete probability mass function are also investigated. Calculations of the approximants and simulation studies are conducted to graphically illustrate the behavior of the approximations in several simple examples. Analytical and simulated errors of proposed approximations are recorded in Tables 1-3.

math.ST

Feedback Stabilization of Nonlinear Control Systems by Composition Operators

Feedback asymptotic stabilization of control systems is an important topic of control theory and applications. Broadly speaking, if the system $\dot{x} = f(x,u)$ is locally asymptotically stabilizable, then there exists a feedback control $u(x)$ ensuring the convergence to an equilibrium for any trajectory starting from a point sufficiently close to the equilibrium state. In this paper, we develop a reasonably natural and general composition operator approach to stabilizability. To begin with, we provide an extension of the classical Hautus lemma to the generalized context of composition operators and show that Brockett's theorem is still necessary for local asymptotic stabilizability in this generalized framework. Further, we employ a powerful version of the implicit function theorem--as given by Jittorntrum and Kumagai--to cover stabilization without differentiability requirements in this expanded context. Employing the obtained characterizations, we establish relationships between stabilizability in the conventional sense and in the generalized composition operator sense. This connection allows us to show that the stabilizability of a control system is equivalent to the stability of an associated system. That is, we reduce the question of stabilizability to that of stability.

math.OC

A Variational Approach to Local Asymptotic and Exponential Stabilization of Nonlinear Systems

Local asymptotic stabilizability is a topic of great theoretical interest and practical importance. Broadly, if a system $\dot{x} = f(x,u)$ is locally asymptotically stabilizable, we are guaranteed a feedback controller $u(x)$ that forces convergence to an equilibrium for trajectories initialized sufficiently close to it. A necessary condition was given by Brockett: such controllers exist only when $f$ is open at the equilibrium. Recently, Gupta, Jafari, Kipka and Mordukhovich considered a modification to this condition, replacing Brockett's topological openness by the linear openness property of modern variational analysis. In this paper, we show that under the linear openness assumption there is a local diffeomorphism of neighborhoods of the equilibirum on which the system is exponentially stabilizable by means of continuous stationary feedback laws. Introducing a transversality property and relating it to the above diffeomorphism, we prove that linear openness and transversality on a punctured neighborhood of an equilibrium is sufficient for local exponential stabilizability of systems with a rank deficient linearization.The main result goes beyond the usual Kalman and Hautus criteria for the existence of exponential stabilizing feedback laws, since it allows us to handle systems for which exponential stabilization is achieved through higher-order terms. However, it is implemented so far under a rather restrictive row-rank conditions. This suggests a twofold approach to the use of these properties: a point-wise version is enough to ensure stability via the linearization, while a local version is enough to overcome deficiencies in the linearization.

math.DS

Linear Openness and Feedback Stabilization of Nonlinear Control Systems

It is well known from the seminal Brockett's theorem that the openness property of the mapping on the right-hand side of a given nonlinear ODE control system is a necessary condition for the existence of locally asymptotically stabilizing continuous stationary feedback laws. However, this condition fails to be sufficient for such a feedback stabilization. In this paper we develop an approach of variational analysis to continuous feedback stabilization of nonlinear control systems with replacing openness by the linear openness property, which has been well understood and characterized in variational theory. It allows us, in particular, to obtain efficient conditions via the system data supporting the sufficiency in Brockett's theorem and ensuring local exponential stabilization by means of continuous stationary feedback laws. Furthermore, we derive new necessary conditions for local exponential and asymptotic stabilization of continuous-time control systems by using both continuous and smooth stationary feedback laws and establish also some counterparts of the obtained sufficient conditions for local asymptotic stabilization by continuous stationary feedback laws in the case of nonlinear discrete-time control systems.

math.OC

Sparse Hamburger Moment Sequences

Putinar and Vasilescu [6] have given an algebraic characterization of Hamburger moment sequences in several variables. In this paper we study some sparse moment subsequences of Hamburger moment sequences and consider the problem of completion of these moment subsequences.

math.CA

Sparse Hamburger Moment Sequences and Completions in Several Variables

Putinar and Vasilescu have given an algebraic characterization of Hamburger moment sequences in several variables. In this paper we give a characterization of sparse moment subsequences of Hamburger moment sequences and consider the problem of completion of these moment subsequences.

math.FA

Positive definite Hankel matrix completions and Hamburger moment completions

In this paper we give solutions to Hamburger moment problems with missing entries. The problem of completing partial positive sequences is considered. The main result is a characterization of positive definite completable patterns, namely patterns that guarantee the existence of Hamburger moment completion of a partial positive definite sequence. Moreover, several patterns which are not positive definite completable are given.

math.FA

Ellipsoidal cones in normed vector spaces

We give two characterizations of cones over ellipsoids in real normed vector spaces. Let $C$ be a closed convex cone with nonempty interior such that $C$ has a bounded section of codimension $1$. We show that $C$ is a cone over an ellipsoid if and only if every bounded section of $C$ has a center of symmetry. We also show that $C$ is a cone over an ellipsoid if and only if the affine span of $\partial C \cap \partial(a - C)$ has codimension $1$ for every point $a$ in the interior of $C$. These results generalize the finite-dimensional cases proved in (Jerónimo-Castro and McAllister, 2013).

math.FA

Characterization of Differentiable Copulas

This paper proposes a new class of copulas which characterize the set of all twice continuously differentiable copulas. We show that our proposed new class of copulas is a new generalized copula family that include not only asymmetric copulas but also all smooth copula families available in the current literature. Spearman's rho and Kendall's tau for our new Fourier copulas which are asymmetric are introduced. Furthermore, an approximation method is discussed in order to optimize Spearman's rho and the corresponding Kendall's tau.

stat.ME