TY - JOUR T1 - The phototransduction machinery in the rod outer segment has a strong efficacy gradient Y1 - 2015 A1 - Monica Mazzolini A1 - Giuseppe Facchetti A1 - L. Andolfi A1 - R. Proietti Zaccaria A1 - S. Tuccio A1 - J. Treud A1 - Claudio Altafini A1 - Enzo M. Di Fabrizio A1 - Marco Lazzarino A1 - G. Rapp A1 - Vincent Torre PB - National Academy of Sciences UR - http://urania.sissa.it/xmlui/handle/1963/35157 N1 - Open Access article U1 - 35382 U2 - Neuroscience ER - TY - JOUR T1 - Achieving unanimous opinions in signed social networks Y1 - 2014 A1 - Claudio Altafini A1 - Gabriele Lini AB - Being able to predict the outcome of an opinion forming process is an important problem in social network theory. However, even for linear dynamics, this becomes a difficult task as soon as non-cooperative interactions are taken into account. Such interactions are naturally modeled as negative weights on the adjacency matrix of the social network. In this paper we show how the Perron-Frobenius theorem can be used for this task also beyond its standard formulation for cooperative systems. In particular we show how it is possible to associate the achievement of unanimous opinions with the existence of invariant cones properly contained in the positive orthant. These cases correspond to signed adjacency matrices having the eventual positivity property, i.e., such that in sufficiently high powers all negative entries have disappeared. More generally, we show how for social networks the achievement of a, possibily non-unanimous, opinion can be associated to the existence of an invariant cone fully contained in one of the orthants of n. PB - Institute of Electrical and Electronics Engineers Inc. UR - http://urania.sissa.it/xmlui/handle/1963/34935 U1 - 35137 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Common dynamical features of sensory adaptation in photoreceptors and olfactory sensory neurons. JF - Nature. Scientific Reports 3, Article number: 1251, Published : 13 February 2013 Y1 - 2013 A1 - Giovanna De Palo A1 - Giuseppe Facchetti A1 - Monica Mazzolini A1 - Anna Menini A1 - Vincent Torre A1 - Claudio Altafini AB -

Sensory systems adapt, i.e., they adjust their sensitivity to external stimuli according to the ambient level. In this paper we show that single cell electrophysiological responses of vertebrate olfactory receptors and of photoreceptors to different input protocols exhibit several common features related to adaptation, and that these features can be used to investigate the dynamical structure of the feedback regulation responsible for the adaptation. In particular, we point out that two different forms of adaptation can be observed, in response to steps and to pairs of pulses. These two forms of adaptation appear to be in a dynamical trade-off: the more adaptation to a step is close to perfect, the slower is the recovery in adaptation to pulse pairs and viceversa. Neither of the two forms is explained by the dynamical models currently used to describe adaptation, such as the integral feedback model.

PB - SISSA U1 - 6453 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Early phase of plasticity-related gene regulation and SRF dependent transcription in the hippocampus JF - PloS one. Volume 8, Issue 7, July 2013 : e68078 Y1 - 2013 A1 - Giovanni Iacono A1 - Claudio Altafini A1 - Vincent Torre AB - Hippocampal organotypic cultures are a highly reliable in vitro model for studying neuroplasticity: in this paper, we analyze the early phase of the transcriptional response induced by a 20 µM gabazine treatment (GabT), a GABA-Ar antagonist, by using Affymetrix oligonucleotide microarray, RT-PCR based time-course and chromatin-immuno-precipitation. The transcriptome profiling revealed that the pool of genes up-regulated by GabT, besides being strongly related to the regulation of growth and synaptic transmission, is also endowed with neuro-protective and pro-survival properties. By using RT-PCR, we quantified a time-course of the transient expression for 33 of the highest up-regulated genes, with an average sampling rate of 10 minutes and covering the time interval [10:90] minutes. The cluster analysis of the time-course disclosed the existence of three different dynamical patterns, one of which proved, in a statistical analysis based on results from previous works, to be significantly related with SRF-dependent regulation (p-value<0.05). The chromatin immunoprecipitation (chip) assay confirmed the rich presence of working CArG boxes in the genes belonging to the latter dynamical pattern and therefore validated the statistical analysis. Furthermore, an in silico analysis of the promoters revealed the presence of additional conserved CArG boxes upstream of the genes Nr4a1 and Rgs2. The chip assay confirmed a significant SRF signal in the Nr4a1 CArG box but not in the Rgs2 CArG box. PB - Public Library of Science UR - http://hdl.handle.net/1963/7287 N1 - The article is composed of 15 pages U1 - 7332 U2 - Neuroscience U4 - -1 ER - TY - JOUR T1 - Stabilization of Stochastic Quantum Dynamics via Open and Closed Loop Control JF - IEEE Transactions on Automatic Control. Volume 58, Issue 1, 2013, Article number6228517, Pages 74-85 Y1 - 2013 A1 - Claudio Altafini A1 - Francesco Ticozzi A1 - K. Nishio AB - In this paper, we investigate parametrization-free solutions of the problem of quantum pure state preparation and subspace stabilization by means of Hamiltonian control, continuous measurement, and quantum feedback, in the presence of a Markovian environment. In particular, we show that whenever suitable dissipative effects are induced either by the unmonitored environment, or by non-Hermitian measurements, there is no need for feedback, as open-loop time-invariant control is sufficient to achieve stabilization of the target set in probability. Constructive necessary and sufficient conditions on the form of the control Hamiltonian can be provided in this case. When time-invariant control is not sufficient, state stabilization can be attained by the addition of filtering-based feedback control UR - http://hdl.handle.net/1963/6503 U1 - 6448 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Decompositions of large-scale biological systems based on dynamical properties JF - Bioinformatics (Oxford, England). 2012 Jan; 28(1):76-83 Y1 - 2012 A1 - Nicola Soranzo A1 - Fahimeh Ramezani A1 - Giovanni Iacono A1 - Claudio Altafini AB - MOTIVATION: Given a large-scale biological network represented as an influence graph, in this article we investigate possible decompositions of the network aimed at highlighting specific dynamical properties.\\r\\nRESULTS: The first decomposition we study consists in finding a maximal directed acyclic subgraph of the network, which dynamically corresponds to searching for a maximal open-loop subsystem of the given system. Another dynamical property investigated is strong monotonicity. We propose two methods to deal with this property, both aimed at decomposing the system into strongly monotone subsystems, but with different structural characteristics: one method tends to produce a single large strongly monotone component, while the other typically generates a set of smaller disjoint strongly monotone subsystems.\\r\\nAVAILABILITY: Original heuristics for the methods investigated are described in the article. PB - Oxford University Press UR - http://hdl.handle.net/1963/5226 U1 - 5049 U2 - Physics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Detection of transcriptional triggers in the dynamics of microbial growth: application to the respiratory-versatile bacterium Shewanella oneidensis JF - Nucleic Acids Research, Volume 40, Issue 15, August 2012, Pages 7132-7149 Y1 - 2012 A1 - Q Beg A1 - Mattia Zampieri A1 - N Klitgord A1 - S Collins A1 - M Serres A1 - Daniel Segrè A1 - Claudio Altafini AB - The capacity of microorganisms to respond to variable external conditions requires a coordination of environment-sensing mechanisms and decisionmaking regulatory circuits. Here, we seek to understand the interplay between these two processes by combining high-throughput measurement of time-dependent mRNA profiles with a novel computational approach that searches for key genetic triggers of transcriptional changes. Our approach helped us understand the regulatory strategies of a respiratorily versatile bacterium with promising bioenergy and bioremediation applications, Shewanella oneidensis, in minimal and rich media. By comparing expression profiles across these two conditions, we unveiled components of the transcriptional program that depend mainly on the growth phase. Conversely, by integrating our time-dependent data with a previously available large compendium of static perturbation responses, we identified transcriptional changes that cannot be explained solely by internal network dynamics, but are rather triggered by specific genes acting as key mediators of an environment-dependent response. These transcriptional triggers include known and novel regulators that respond to carbon, nitrogen and oxygen limitation. Our analysis suggests a sequence of physiological responses, including a coupling between nitrogen depletion and glycogen storage, partially recapitulated through dynamic flux balance analysis, and experimentally confirmed by metabolite measurements. Our approach is broadly applicable to other systems PB - SISSA UR - http://hdl.handle.net/1963/6506 U1 - 6452 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - A dynamical feedback model for adaptation in the olfactory transduction pathway JF - Biophysical Journal. Volume 102, Issue 12, 20 June 2012, Pages 2677-2686 Y1 - 2012 A1 - Giovanna De Palo A1 - Anna Boccaccio A1 - Andrew Miri A1 - Anna Menini A1 - Claudio Altafini AB - Olfactory transduction exhibits two distinct types of adaptation, which we denote multipulse and step adaptation. In terms of measured transduction current, multipulse adaptation appears as a decrease in the amplitude of the second of two consecutive responses when the olfactory neuron is stimulated with two brief pulses. Step adaptation occurs in response to a sustained steplike stimulation and is characterized by a return to a steady-state current amplitude close to the prestimulus value, after a transient peak. In this article, we formulate a dynamical model of the olfactory transduction pathway, which includes the kinetics of the CNG channels, the concentration of Ca ions flowing through them, and the Ca-complexes responsible for the regulation. Based on this model, a common dynamical explanation for the two types of adaptation is suggested. We show that both forms of adaptation can be well described using different time constants for the kinetics of Ca ions (faster) and the kinetics of the feedback mechanisms (slower). The model is validated on experimental data collected in voltage-clamp conditions using different techniques and animal species. PB - Biophysical Society, Elsevier UR - http://hdl.handle.net/1963/7019 U1 - 7012 U2 - Neuroscience U4 - -1 ER - TY - JOUR T1 - Dynamics of opinion forming in structurally balanced social networks JF - PloS one. 2012 ; 7(6):e38135 Y1 - 2012 A1 - Claudio Altafini AB - A structurally balanced social network is a social community that splits into two antagonistic factions (typical example being a two-party political system). The process of opinion forming on such a community is most often highly predictable, with polarized opinions reflecting the bipartition of the network. The aim of this paper is to suggest a class of dynamical systems, called monotone systems, as natural models for the dynamics of opinion forming on structurally balanced social networks. The high predictability of the outcome of a decision process is explained in terms of the order-preserving character of the solutions of this class of dynamical systems. If we represent a social network as a signed graph in which individuals are the nodes and the signs of the edges represent friendly or hostile relationships, then the property of structural balance corresponds to the social community being splittable into two antagonistic factions, each containing only friends. PB - PLoS UR - http://hdl.handle.net/1963/6051 U1 - 5942 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Exploring the low-energy landscape of large-scale signed social networks JF - Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. Volume 86, Issue 3, 26 September 2012, Article number036116 Y1 - 2012 A1 - Giuseppe Facchetti A1 - Giovanni Iacono A1 - Claudio Altafini AB - Analogously to a spin glass, a large-scale signed social network is characterized by the presence of disorder, expressed in this context (and in the social network literature) by the concept of structural balance. If, as we have recently shown, the signed social networks currently available have a limited amount of true disorder (or frustration), it is also interesting to investigate how this frustration is organized, by exploring the landscape of near-optimal structural balance. What we obtain in this paper is that while one of the networks analyzed shows a unique valley of minima, and a funneled landscape that gradually and smoothly worsens as we move away from the optimum, another network shows instead several distinct valleys of optimal or near-optimal structural balance, separated by energy barriers determined by internally balanced subcommunities of users, a phenomenon similar to the replica-symmetry breaking of spin glasses. Multiple, essentially isoenergetic, arrangements of these communities are possible. Passing from one valley to another requires one to destroy the internal arrangement of these balanced subcommunities and then to reform it again. It is essentially this process of breaking the internal balance of the subcommunities which gives rise to the energy barriers. PB - SISSA UR - http://hdl.handle.net/1963/6504 U1 - 6451 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Modeling and control of quantum systems: An introduction JF - IEEE Transactions on Automatic Control. Volume 57, Issue 8, 2012, Article number6189035, Pages 1898-1917 Y1 - 2012 A1 - Claudio Altafini A1 - Francesco Ticozzi AB - The scope of this work is to provide a self-contained introduction to a selection of basic theoretical aspects in the modeling and control of quantum mechanical systems, as well as a brief survey on the main approaches to control synthesis. While part of the existing theory, especially in the open-loop setting, stems directly from classical control theory (most notably geometric control and optimal control), a number of tools specifically tailored for quantum systems have been developed since the 1980s, in order to take into account their distinctive features: the probabilistic nature of atomic-scale physical systems, the effect of dissipation and the irreversible character of the measurements have all proved to be critical in feedback-design problems. The relevant dynamical models for both closed and open quantum systems are presented, along with the main results on their controllability and stability. A brief review of several currently available control design methods is meant to provide the interested reader with a roadmap for further studies PB - Institute of Electrical and Electronics Engineers UR - http://hdl.handle.net/1963/6505 U1 - 6449 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Predicting and characterizing selective multiple drug treatments for metabolic diseases and cancer. JF - BMC Systems Biology. 29 August 2012, Page 115 Y1 - 2012 A1 - Giuseppe Facchetti A1 - Claudio Altafini A1 - Mattia Zampieri AB - Background: In the field of drug discovery, assessing the potential of multidrug therapies is a difficult task because of the combinatorial complexity (both theoretical and experimental) and because of the requirements on the selectivity of the therapy. To cope with this problem, we have developed a novel method for the systematic in silico investigation of synergistic effects of currently available drugs on genome-scale metabolic networks. The algorithm finds the optimal combination of drugs which guarantees the inhibition of an objective function, while minimizing the side effect on the overall network. Results: Two different applications are considered: finding drug synergisms for human metabolic diseases (like diabetes, obesity and hypertension) and finding antitumoral drug combinations with minimal side effect on the normal human metabolism.The results we obtain are consistent with some of the available therapeutic indications and predict some new multiple drug treatments.A cluster analysis on all possible interactions among the currently available drugs indicates a limited variety on the metabolic targets for the approved drugs. Conclusion: The in silico prediction of drug synergism can represent an important tool for the repurposing of drug in a realistic perspective which considers also the selectivty of the therapy. Moreover, for a more profitable exploitation of drug-drug interactions, also drugs which show a too low efficacy but which have a non-common mechanism of action, can be reconsider as potential ingredients of new multicompound therapeutic indications.Needless to say the clues provided by a computational study like ours need in any case to be thoroughly evaluated experimentally. PB - BioMed Central UR - http://hdl.handle.net/1963/6515 U1 - 6450 U2 - Mathematics U4 - 1 ER - TY - JOUR T1 - Adaptation as a genome-wide autoregulatory principle in the stress response of yeast. JF - IET systems biology. 2011 Jul; 5(4):269-79 Y1 - 2011 A1 - F Eduati A1 - B Di Camillo A1 - G Toffolo A1 - Claudio Altafini A1 - Giovanna De Palo A1 - Mattia Zampieri AB - The gene expression response of yeast to various types of stresses/perturbations shows a common functional and dynamical pattern for the vast majority of genes, characterised by a quick transient peak (affecting primarily short genes) followed by a return to the pre-stimulus level. Kinetically, this process of adaptation following the transient excursion can be modelled using a genome-wide autoregulatory mechanism by means of which yeast aims at maintaining a preferential concentration in its mRNA levels. The resulting feedback system explains well the different time constants observable in the transient response, while being in agreement with all the known experimental dynamical features. For example, it suggests that a very rapid transient can be induced also by a slowly varying concentration of the gene products. PB - The Institution of Engineering and Technology UR - http://hdl.handle.net/1963/5106 U1 - 4922 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Computing global structural balance in large-scale signed social networks. JF - Proceedings of the National Academy of Sciences of the United States of America. Volume 108, Issue 52, 27 December 2011, Pages 20953-20958 Y1 - 2011 A1 - Giuseppe Facchetti A1 - Giovanni Iacono A1 - Claudio Altafini KW - Combinatorial optimization AB - Structural balance theory affirms that signed social networks (i.e., graphs whose signed edges represent friendly/hostile interactions among individuals) tend to be organized so as to avoid conflictual situations, corresponding to cycles of negative parity. Using an algorithm for ground-state calculation in large-scale Ising spin glasses, in this paper we compute the global level of balance of very large online social networks and verify that currently available networks are indeed extremely balanced. This property is explainable in terms of the high degree of skewness of the sign distributions on the nodes of the graph. In particular, individuals linked by a large majority of negative edges create mostly \\\"apparent disorder,\\\" rather than true \\\"frustration.\\\" PB - National Academy of Sciences UR - http://hdl.handle.net/1963/6426 N1 - Free fulltext article in Pubmed Central U1 - 6362 U2 - Physics U4 - -1 ER - TY - JOUR T1 - A system-level approach for deciphering the transcriptional response to prion infection JF - Bioinformatics (Oxford, England). 2011 Dec; 27(24):3407-14 Y1 - 2011 A1 - Mattia Zampieri A1 - Giuseppe Legname A1 - Daniel Segrè A1 - Claudio Altafini AB - MOTIVATION: Deciphering the response of a complex biological system to an insulting event, at the gene expression level, requires adopting theoretical models that are more sophisticated than a one-to-one comparison (i.e. t-test). Here, we investigate the ability of a novel reverse engineering approach (System Response Inference) to unveil non-obvious transcriptional signatures of the system response induced by prion infection.\\r\\nRESULTS: To this end, we analyze previously published gene expression data, from which we extrapolate a putative full-scale model of transcriptional gene-gene dependencies in the mouse central nervous system. Then, we use this nominal model to interpret the gene expression changes caused by prion replication, aiming at selecting the genes primarily influenced by this perturbation. Our method sheds light on the mode of action of prions by identifying key transcripts that are the most likely to be responsible for the overall transcriptional rearrangement from a nominal regulatory network. As a first result of our inference, we have been able to predict known targets of prions (i.e. PrP(C)) and to unveil the potential role of previously unsuspected genes.\\r\\nCONTACT: altafini@sissa.it\\r\\nSUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. PB - Oxford University Press UR - http://hdl.handle.net/1963/5745 U1 - 5600 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Feedback schemes for radiation damping suppression in NMR: a control-theoretical perspective JF - Systems and Control Letters, 59 (12):782-786, 2010 Y1 - 2010 A1 - Claudio Altafini A1 - Paola Cappellaro A1 - David Cory AB - In NMR spectroscopy, the collective measurement is weakly invasive and its back-action is called radiation damping. The aim of this paper is to provide a control-theoretical analysis of the problem of suppressing this radiation damping. It is shown that the two feedback schemes commonly used in the NMR practice correspond one to a high gain oputput feedback for the simple case of maintaining the spin 1/2 in its inverted state, and the second to a 2-degree of freedom control design with a prefeedback that exactly cancels the radiation damping field. A general high gain feedback stabilization design not requiring the knowledge of the radiation damping time constant is also investigated. PB - Elsevier UR - http://hdl.handle.net/1963/4384 U1 - 4132 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - A kinetic mechanism inducing oscillations in simple chemical reactions networks JF - Mathematical Biosciences and Engineering 7(2):301-312, 2010 Y1 - 2010 A1 - Julien Coatleven A1 - Claudio Altafini AB - It is known that a kinetic reaction network in which one or more secondary substrates are acting as cofactors may exhibit an oscillatory behavior. The aim of this work is to provide a description of the functional form of such a cofactor action guaranteeing the\\r\\nonset of oscillations in sufficiently simple reaction networks. PB - American Institute of Mathematical Sciences UR - http://hdl.handle.net/1963/2393 U1 - 2304 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Monotonicity, frustration, and ordered response: an analysis of the energy landscape of perturbed large-scale biological networks JF - BMC Systems Biology 2010, 4:83 Y1 - 2010 A1 - Giovanni Iacono A1 - Claudio Altafini AB - Background. \\nFor large-scale biological networks represented as signed graphs, the index of frustration measures how far a network is from a monotone system, i.e., how incoherently the system responds to perturbations.\\nResults. \\nIn this paper we find that the frustration is systematically lower in transcriptional networks (modeled at functional level) than in signaling and metabolic networks (modeled at stoichiometric level). A possible interpretation of this result is in terms of energetic cost of an interaction: an erroneous or contradictory transcriptional action costs much more than a signaling/metabolic error, and therefore must be avoided as much as possible. Averaging over all possible perturbations, however, we also find that unlike for transcriptional networks, in the signaling/metabolic networks the probability of finding the system in its least frustrated configuration tends to be high also in correspondence of a moderate energetic regime, meaning that, in spite of the higher frustration, these networks can achieve a globally ordered response to perturbations even for moderate values of the strength of the interactions. Furthermore, an analysis of the energy landscape shows that signaling and metabolic networks lack energetic barriers around their global optima, a property also favouring global order.\\nConclusion. \\nIn conclusion, transcriptional and signaling/metabolic networks appear to have systematic differences in both the index of frustration and the transition to global order. These differences are interpretable in terms of the different functions of the various classes of networks. PB - BioMed Central UR - http://hdl.handle.net/1963/4055 U1 - 347 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Characterization of the time course of changes of the evoked electrical activity in a model of a chemically-induced neuronal plasticity JF - BMC Research Notes (2009) 2:13 Y1 - 2009 A1 - Frederic D. Broccard A1 - Silvia Pegoraro A1 - Maria Elisabetta Ruaro A1 - Claudio Altafini A1 - Vincent Torre AB - BACKGROUND: Neuronal plasticity is initiated by transient elevations of neuronal networks activity leading to changes of synaptic properties and providing the basis for memory and learning 1. An increase of electrical activity can be caused by electrical stimulation 2 or by pharmacological manipulations: elevation of extracellular K+ 3, blockage of inhibitory pathways 4 or by an increase of second messengers intracellular concentrations 5. Neuronal plasticity is mediated by several biochemical pathways leading to the modulation of synaptic strength, density of ionic channels and morphological changes of neuronal arborisation 6. On a time scale of a few minutes, neuronal plasticity is mediated by local protein trafficking 7 while, in order to sustain modifications beyond 2-3 h, changes of gene expression are required 8. FINDINGS: In the present manuscript we analysed the time course of changes of the evoked electrical activity during neuronal plasticity and we correlated it with a transcriptional analysis of the underlying changes of gene expression. Our investigation shows that treatment for 30 min. with the GABAA receptor antagonist gabazine (GabT) causes a potentiation of the evoked electrical activity occurring 2-4 hours after GabT and the concomitant up-regulation of 342 genes. Inhibition of the ERK1/2 pathway reduced but did not abolish the potentiation of the evoked response caused by GabT. In fact not all the genes analysed were blocked by ERK1/2 inhibitors. CONCLUSION: These results are in agreement with the notion that neuronal plasticity is mediated by several distinct pathways working in unison. PB - BioMed Central UR - http://hdl.handle.net/1963/3706 U1 - 599 U2 - Neuroscience U3 - Neurobiology ER - TY - JOUR T1 - Controllability and simultaneous controllability of isospectral bilinear control systems on complex flag manifolds JF - Systems Control Lett. 58 (2009) 213-216 Y1 - 2009 A1 - Claudio Altafini AB - For isospectral bilinear control systems evolving on the so-called complex flag manifolds (i.e., on the orbits of the Hermitian matrices under unitary conjugation action) it is shown that controllability is almost always verified. Easy and generic sufficient conditions are provided. The result applies to the problem of density operator controllability of finite dimensional quantum mechanical systems. In addition, we show that systems having different drifts (corresponding for example to different Larmor frequencies) are simultaneously controllable by the same control field. PB - Elsevier UR - http://hdl.handle.net/1963/3523 U1 - 741 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - ERNEST: a toolbox for chemical reaction network theory JF - Bioinformatics 25 (2009) 2853-2854 Y1 - 2009 A1 - Nicola Soranzo A1 - Claudio Altafini AB - Summary: ERNEST Reaction Network Equilibria Study Toolbox is a MATLAB package which, by checking various different criteria on the structure of a chemical reaction network, can exclude the multistationarity of the corresponding reaction system. The results obtained are independent of the rate constants of the reactions, and can be used for model discrimination.\\nAvailability and Implementation: The software, implemented in MATLAB, is available under the GNU GPL free software license from http://people.sissa.it/~altafini/papers/SoAl09/. It requires the MATLAB Optimization Toolbox. PB - Oxford University Press UR - http://hdl.handle.net/1963/3826 U1 - 501 U2 - Physics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Investigating the Conformational Stability of Prion Strains through a Kinetic Replication Model JF - PLoS Comput Biol 2009;5(7): e1000420 Y1 - 2009 A1 - Mattia Zampieri A1 - Giuseppe Legname A1 - Claudio Altafini AB - Prion proteins are known to misfold into a range of different aggregated forms, showing different phenotypic and pathological states. Understanding strain specificities is an important problem in the field of prion disease. Little is known about which PrPSc structural properties and molecular mechanisms determine prion replication, disease progression and strain phenotype. The aim of this work is to investigate, through a mathematical model, how the structural stability of different aggregated forms can influence the kinetics of prion replication. The model-based results suggest that prion strains with different conformational stability undergoing in vivo replication are characterizable in primis by means of different rates of breakage. A further role seems to be played by the aggregation rate (i.e. the rate at which a prion fibril grows). The kinetic variability introduced in the model by these two parameters allows us to reproduce the different characteristic features of the various strains (e.g., fibrils\\\' mean length) and is coherent with all experimental observations concerning strain-specific behavior. PB - PLoS UR - http://hdl.handle.net/1963/3989 U1 - 413 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - mRNA stability and the unfolding of gene expression in the long-period yeast metabolic cycle JF - BMC Systems Biology (2009) 3:18 Y1 - 2009 A1 - Nicola Soranzo A1 - Mattia Zampieri A1 - Lorenzo Farina A1 - Claudio Altafini AB - Background: In yeast, genome-wide periodic patterns associated with energy-metabolic oscillations have been shown recently for both short (approx. 40 min) and long (approx. 300 min) periods.\\nResults: The dynamical regulation due to mRNA stability is found to be an important aspect of the genome-wide coordination of the long-period yeast metabolic cycle. It is shown that for periodic genes, arranged in classes according either to expression profile or to function, the pulses of mRNA abundance have phase and width which are directly proportional to the corresponding turnover rates.\\nConclusion: The cascade of events occurring during the yeast metabolic cycle (and their correlation with mRNA turnover) reflects to a large extent the gene expression program observable in other dynamical contexts such as the response to stresses/stimuli. PB - BioMed Central UR - http://hdl.handle.net/1963/3630 U1 - 674 U2 - Physics U3 - Statistical and Biological Physics ER - TY - JOUR T1 - Discerning static and causal interactions in genome-wide reverse engineering problems JF - Bioinformatics 24 (2008) 1510-1515 Y1 - 2008 A1 - Mattia Zampieri A1 - Nicola Soranzo A1 - Claudio Altafini AB - Background. In the past years devicing methods for discovering gene regulatory mechanisms at a genome-wide level has become a fundamental topic in the field of system biology. The aim is to infer gene-gene interactions in a more sophisticated and reliable way through the continuously improvement of reverse engineering algorithms exploiting microarray technologies. Motivation. This work is inspired by the several studies suggesting that co-expression is mostly related to \\\"static\\\" stable binding relationships, like belonging to the same protein complex, rather than other types of interactions more of a \\\"causal\\\" and transient nature (metabolic pathway or transcription factor-binding site interaction). Discerning static relationships from causal ones on the basis of their characteristic regulatory structures and in particular identifing \\\"dense modules\\\" with protein complex, and \\\"sparse modules\\\" with causal interactions such as those between transcription factor and corresponding binding site, the performances of different network inference algorithms in artificial and real networks (derived from E.coli and S.cerevisiae) can be tested and compared. Results. Our study shows that methods that try to prune indirect interactions from the inferred gene networks may fail to retrieve genes co-participating in a protein complex. On the other hand they are more robust in the identification of transcription factor-binding sites dependences when multiple transcription factors regulate the expression of the same gene. In the end we confirm the stronger co-expression regarding genes belonging to a protein complex than transcription factor-binding site, according, also, to the effect of multiple transcription factors and a low expression variance. UR - http://hdl.handle.net/1963/2757 U1 - 1943 U2 - Physics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Origin of Co-Expression Patterns in E.coli and S.cerevisiae Emerging from Reverse Engineering Algorithms JF - PLoS ONE 3 (2008) e2981 Y1 - 2008 A1 - Mattia Zampieri A1 - Nicola Soranzo A1 - Daniele Bianchini A1 - Claudio Altafini AB - Background: The concept of reverse engineering a gene network, i.e., of inferring a genome-wide graph of putative genegene interactions from compendia of high throughput microarray data has been extensively used in the last few years to deduce/integrate/validate various types of \\\"physical\\\" networks of interactions among genes or gene products. Results: This paper gives a comprehensive overview of which of these networks emerge significantly when reverse engineering large collections of gene expression data for two model organisms, E.coli and S.cerevisiae, without any prior information. For the first organism the pattern of co-expression is shown to reflect in fine detail both the operonal structure of the DNA and the regulatory effects exerted by the gene products when co-participating in a protein complex. For the second organism we find that direct transcriptional control (e.g., transcription factor-binding site interactions) has little statistical significance in comparison to the other regulatory mechanisms (such as co-sharing a protein complex, colocalization on a metabolic pathway or compartment), which are however resolved at a lower level of detail than in E.coli. Conclusion: The gene co-expression patterns deduced from compendia of profiling experiments tend to unveil functional categories that are mainly associated to stable bindings rather than transient interactions. The inference power of this systematic analysis is substantially reduced when passing from E.coli to S.cerevisiae. This extensive analysis provides a way to describe the different complexity between the two organisms and discusses the critical limitations affecting this type of methodologies. UR - http://hdl.handle.net/1963/2722 U1 - 1379 U2 - Physics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Comparing association network algorithms for reverse engineering of large scale gene regulatory networks: synthetic vs real data JF - Bioinformatics 23 (2007) 1640-1647 Y1 - 2007 A1 - Nicola Soranzo A1 - Ginestra Bianconi A1 - Claudio Altafini AB - Motivation: Inferring a gene regulatory network exclusively from microarray expression profiles is a difficult but important task. The aim of this work is to compare the predictive power of some of the most popular algorithms in different conditions (like data taken at equilibrium or time courses) and on both synthetic and real microarray data. We are in particular interested in comparing similarity measures both of linear type (like correlations and partial correlations) and of nonlinear type (mutual information and conditional mutual information), and in investigating the underdetermined case (less samples than genes). Results: In our simulations we see that all network inference algorithms obtain better performances from data produced with \\\"structural\\\" perturbations, like gene knockouts at steady state, than with any dynamical perturbation. The predictive power of all algorithms is confirmed on a reverse engineering problem from E. coli gene profiling data: the edges of the \\\"physical\\\" network of transcription factor-binding sites are significantly overrepresented among the highest weighting edges of the graph that we infer directly from the data without any structure supervision. Comparing synthetic and in vivo data on the same network graph allows us to give an indication of how much more complex a real transcriptional regulation program is with respect to an artificial model. Availability: Software and supplementary material are freely available at the URL http://people.sissa.it/~altafini/papers/SoBiAl07/ UR - http://hdl.handle.net/1963/2028 U1 - 2168 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - Feedback control of spin systems Y1 - 2007 A1 - Claudio Altafini AB - The feedback stabilization problem for ensembles of coupled spin 1/2 systems is discussed from a control theoretic perspective. The noninvasive nature of the bulk measurement allows for a fully unitary and deterministic closed loop. The Lyapunov-based feedback design presented does not require spins that are selectively addressable. With this method, it is possible to obtain control inputs also for difficult tasks, like suppressing undesired couplings in identical spin systems. JF - Quantum Inf. Process. 6 (2007) 9-36 UR - http://hdl.handle.net/1963/1808 N1 - Proc. of the 44th IEEE Conf. on Decision and Control,. Seville, Spain, December 2005 (to appear). U1 - 2406 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Feedback stabilization of quantum ensembles: a global convergence analysis on complex flag manifolds JF - 45th IEEE Conference on Decision and Control (2007) 2471-2476 Y1 - 2007 A1 - Claudio Altafini AB - In an N-level quantum mechanical system, the problem of unitary feedback stabilization of mixed density operators to periodic orbits admits a natural Lyapunov-based time-varying feedback design. A global description of the domain of attraction of the closed-loop system can be provided based on a \\\"root-space\\\"-like structure of the space of density operators. This convex set foliates as a complex flag manifold where each leaf is identified with the coadjoint orbit of the eigenvalues of the density operator. The converging conditions are time-independent but depend from the topology of the flag manifold: it is shown that the closed loop must have a number of equilibria at least equal to the Euler characteristic of the manifold, thus imposing obstructions of topological nature to global stabilizability. UR - http://hdl.handle.net/1963/1729 U1 - 2422 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - RPRT T1 - Almost Global Stochastic Feedback Stabilization of Conditional Quantum Dynamics Y1 - 2006 A1 - Claudio Altafini A1 - Francesco Ticozzi AB - We propose several parametrization-free solutions to the problem of quantum state reduction control by means of continuous measurement and smooth quantum feedback. In particular, we design a feedback law for which almost global stochastic feedback stabilization can be proved analytically by means of Lyapunov techinques. This synthesis arises very naturally from the physics of the problem, as it relies on the variance associated with the quantum filtering process. UR - http://hdl.handle.net/1963/1727 U1 - 2424 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Homogeneous polynomial forms for simultaneous stabilizability of families of linear control systems: a tensor product approach JF - IEEE Trans. Automat. Control 51 (2006) 1566-1571 Y1 - 2006 A1 - Claudio Altafini AB - The paper uses the formalism of tensor products in order to deal with the problem of simultaneous\\nstabilizability of a family of linear control systems by means of Lyapunov functions which are homogeneous polynomial forms. While the feedback synthesis seems to be nonconvex, the simultaneous stability by means of homogeneous polynomial forms of the uncontrollable modes yields (convex) necessary but not sufficient conditions for simultaneous stabilizability. UR - http://hdl.handle.net/1963/2226 U1 - 2018 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Reflection symmetries for multiqubit density operators JF - J. Math. Phys. 47 (2006) 032104 Y1 - 2006 A1 - Claudio Altafini A1 - Timothy F. Havel AB - For multiqubit density operators in a suitable tensorial basis, we show that a number of nonunitary operations used in the detection and synthesis of entanglement are classifiable as reflection symmetries, i.e., orientation changing rotations. While one-qubit reflections correspond to antiunitary symmetries, as is known for example from the partial transposition criterion, reflections on the joint density of two or more qubits are not accounted for by the Wigner Theorem and are well-posed only for sufficiently mixed states. One example of such nonlocal reflections is the unconditional NOT operation on a multiparty density, i.e., an operation yelding another density and such that the sum of the two is the identity operator. This nonphysical operation is admissible only for sufficiently mixed states. UR - http://hdl.handle.net/1963/2121 U1 - 2122 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Commuting multiparty quantum observables and local compatibility JF - Phys. Rev. A 72 (2005) 012112 Y1 - 2005 A1 - Claudio Altafini AB - A formula for the commutator of tensor product matrices is used to shows that, for qubits, compatibility of quantum multiparty observables almost never implies local compatibility at each site and to predict when this happens/does not happen in a concise manner. In particular, it is shown that two ``fully nontrivial\\\'\\\' $n$-qubit observables are compatible locally and globally if and only if they are equal up to sign. In addition, the formula gives insight into the construction of new paradoxes of the type of the Kochen-Specker Theorem, which can then be easily rephrased into proposals for new no hidden variable experiments of the type of the ``Bell Theorem without inequalities\\\'\\\'. UR - http://hdl.handle.net/1963/2228 U1 - 2016 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Explicit Wei–Norman formulae for matrix Lie groups via Putzer\\\'s method JF - Systems and Control Letters, 54 (11):1121-1130, 2005 Y1 - 2005 A1 - Claudio Altafini AB - The Wei–Norman formula locally relates the Magnus solution of a system of linear time-varying ODEs with the solution expressed in terms of products of exponentials by means of a set of nonlinear differential equations in the parameters of the two types of solutions. A closed form expression of such formula is proposed based on the use of Putzer\\\'s method. PB - Elsevier UR - http://hdl.handle.net/1963/4538 U1 - 4299 U2 - Mathematics U3 - Functional Analysis and Applications U4 - -1 ER - TY - JOUR T1 - Coherent control of open quantum dynamical systems JF - Phys. Rev. A 70 (2004) 062321 Y1 - 2004 A1 - Claudio Altafini AB - A systematic analysis of the behavior of the quantum Markovian master equation driven by coherent control fields is proposed. Its irreversible character is formalized using control-theoretic notions and the sets of states that can be reached via cohere nt controls are described. The analysis suggests to which extent (and how) it is possible to counteract the effect of dissipation. UR - http://hdl.handle.net/1963/2227 U1 - 2017 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Reduction by group symmetry of second order variational problems on a semidirect product of Lie groups with positive definite Riemannian metric JF - ESAIM: COCV 10 (2004) 526-548 Y1 - 2004 A1 - Claudio Altafini AB - For a Riemannian structure on a semidirect product of Lie groups, the variational problems can be reduced using the group symmetry. Choosing the Levi-Civita connection of a positive definite metric tensor, instead of any of the canonical connections for the Lie group, simplifies the reduction of the variations but complicates the expression for the Lie algebra valued covariant derivatives. The origin of the discrepancy is in the semidirect product structure, which implies that the Riemannian exponential map and the Lie group exponential map do not coincide. The consequence is that the reduced equations look more complicated than the original ones. The main scope of this paper is to treat the reduction of second order variational problems (corresponding to geometric splines) on such semidirect products of Lie groups. Due to the semidirect structure, a number of extra terms appears in the reduction, terms that are calculated explicitely. The result is used to compute the necessary conditions of an optimal control problem for a simple mechanical control system having invariant Lagrangian equal to the kinetic energy corresponding to the metric tensor. As an example, the case of a rigid body on the Special Euclidean group is considered in detail. PB - EDP Sciences UR - http://hdl.handle.net/1963/3521 U1 - 743 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Representing multiqubit unitary evolutions via Stokes tensors JF - Phys. Rev. A 70 (2004) 032331 Y1 - 2004 A1 - Claudio Altafini AB - For the Stokes tensor parametrization of a multiqubit density operator, we provide an explicit formulation of the corresponding unitary dynamics at the infinitesimal level. The main advantage of this formalism (clearly reminiscent of the ideas of ``coherences\\\'\\\' and ``coupling Hamiltonians\\\'\\\' of spin systems) is that the pattern of correlation between qubits and the pattern of infinitesimal correlation are highlighted simultaneously and can be used constructively for qubit manipulation. For example, it allows to compute explicitly a Rodrigues\\\' formula for the one-parameter orbits of nonlocal Hamiltonians. The result is easily generalizable to orbits of Cartan subalgebras and allows to express the Cartan decomposition of unitary propagators as a linear action directly in terms of the infinitesimal generators. UR - http://hdl.handle.net/1963/2307 U1 - 1709 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Tensor of coherences parametrization of multiqubit density operators for entanglement characterization JF - Phys. Rev. A 69 (2004) 012311 Y1 - 2004 A1 - Claudio Altafini AB - For multiqubit densities, the tensor of coherences (or Stokes tensor) is a real parameterization obtained by the juxtaposition of the affine Bloch vectors of each qubit. While it maintains the tensorial structure of the underlying space, it highlights the pattern of correlations, both classical and quantum, between the subsystems and, due to the affine parameterization, it contains in its components all reduced densities of all orders. The main purpose of our use of this formalism is to deal with entanglement. For example, the detection of bipartite entanglement is straightforward, as it is the synthesis of densities having positive partial transposes between desired qubits. In addition, finding explicit mixtures for families of separable states becomes a feasible issue for few qubit symmetric densities (we compute it for Werner states) and, more important, it provides some insight on the possible origin of entanglement for such densities. PB - American Physical Society UR - http://hdl.handle.net/1963/2845 U1 - 1855 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Controllability properties for finite dimensional quantum Markovian master equations JF - J. Math. Phys. 44 (2003) 2357-2372 Y1 - 2003 A1 - Claudio Altafini AB - Various notions from geometric control theory are used to characterize the behavior of the Markovian master equation for N-level quantum mechanical systems driven by unitary control and to describe the structure of the sets of reachable states. It is shown that the system can be accessible but neither small-time controllable nor controllable in finite time. In particular, if the generators of quantum dynamical semigroups are unital, then the reachable sets admit easy characterizations as they monotonically grow in time. The two level case is treated in detail. PB - American Institute of Physics UR - http://hdl.handle.net/1963/2909 U1 - 1791 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Geometric motion control for a kinematically redundant robotic chain: application to a holonomic mobile manipulator JF - J. Robotic Syst. 20 (2003) 211-227 Y1 - 2003 A1 - Claudio Altafini AB - For kinematically redundant robotic manipulators, the extra degrees of freedom available allows freedom in the generation of the trajectories of the end-effector. In this paper, for this scope, we use techniques for motion control of rigid bodies on Riemannian manifolds (and Lie groups in particular) to design workspace control algorithms for the end-effector of the robotic chain and then to pull them back to joint space, all respecting the different geometric structures of the two underlying model spaces. The trajectory planner makes use of geometric splines. Examples of the different kinds of curves that are obtained via the De Casteljau algorithm in correspondence of different metric structures in SE(3) are reported. The feedback module, instead, consists of a Lyapunov based PD controller defined from a suitable notion of error distance on the Lie group. The motivating application of our work is a holonomic mobile manipulator for which simulation results are described in detail. PB - Wiley UR - http://hdl.handle.net/1963/3019 U1 - 1314 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Motion on submanifolds of noninvariant holonomic constraints for a kinematic control system evolving on a matrix Lie group JF - Syst. Control Lett. 50 (2003) 241-250 Y1 - 2003 A1 - Claudio Altafini A1 - Ruggero Frezza AB - For a control system on a matrix Lie group with one or more configuration constraints that are not left/right invariant, finding the combinations of (kinematic) control inputs satisfying the motion constraints is not a trivial problem. Two methods, one coordinate-dependent and the other coordinate-free are suggested. The first is based on the Wei-Norman formula; the second on the calculation of the annihilator of the coadjoint action of the constraint one-form at each point of the group manifold. The results are applied to a control system on SE(3) with a holonomic inertial constraint involving the noncommutative part in a nontrivial way. The difference in terms of compactness of the result between the two methods is considerable. PB - Elsevier UR - http://hdl.handle.net/1963/3018 U1 - 1315 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Parameter differentiation and quantum state decomposition for time varying Schrödinger equations JF - Rep. Math. Phys. 52 (2003) 381-400 Y1 - 2003 A1 - Claudio Altafini AB - For the unitary operator, solution of the Schroedinger equation corresponding to a time-varying Hamiltonian, the relation between the Magnus and the product of exponentials expansions can be expressed in terms of a system of first order differential equations in the parameters of the two expansions. A method is proposed to compute such differential equations explicitly and in a closed form. PB - Elsevier UR - http://hdl.handle.net/1963/3017 U1 - 1316 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Controllability of quantum mechanical systems by root space decomposition of su(N) JF - J.Math.Phys. 43(2002), no.5, 2051 Y1 - 2002 A1 - Claudio Altafini PB - SISSA Library UR - http://hdl.handle.net/1963/1613 U1 - 2505 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - Following a path of varying curvature as an output regulation problem JF - IEEE Trans. Automatic Control 47 (2002) 1551-1556 Y1 - 2002 A1 - Claudio Altafini AB - Given a path of nonconstant curvature, local asymptotic stability can be proven for the general n trailer whenever the curvature can be considered as the output of an exogenous dynamical system. The controllers that provide convergence to zero of the tracking error chosen for the path-following problem are composed of a prefeedback that input-output linearizes the system, plus a linear controller. PB - IEEE UR - http://hdl.handle.net/1963/3143 U1 - 1190 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - On the generation of sequential unitary gates from continuous time Schrodinger equations driven by external fields JF - Quantum Inf.Process. 1 (2002),no.3,207 Y1 - 2002 A1 - Claudio Altafini PB - SISSA Library UR - http://hdl.handle.net/1963/1614 U1 - 2504 U2 - Mathematics U3 - Functional Analysis and Applications ER - TY - JOUR T1 - The reachable set of a linear endogenous switching system JF - Systems Control Lett. 47 (2002) 343-353 Y1 - 2002 A1 - Claudio Altafini AB - In this work, switching systems are named endogenous when their switching pattern is controllable. Linear endogenous switching systems can be considered as a particular class of bilinear control systems. The key idea is that both types of systems are equivalent to polysystems, i.e. to systems whose flow is piecewise smooth. The reachable set of a linear endogenous switching system can be studied consequently. The main result is that, in general, it has the structure of a semigroup, even when the Lie algebra rank condition is satisfied since the logic inputs cannot reverse the direction of the flow. The adaptation of existing controllability criteria for bilinear systems is straightforward. PB - Elsevier UR - http://hdl.handle.net/1963/3142 U1 - 1191 U2 - Mathematics U3 - Functional Analysis and Applications ER -