Source author record

Alessandra Carbone

Alessandra Carbone appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
4topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2020arXiv

The complexity of protein interactions unravelled from structural disorder

The idea that structural disorder might be a novel mechanism of protein interaction is widespread in the Literature, although the number of statistically significant structural studies supporting this is surprisingly low. At variance with previous works, our conclusions rely exclusively on a large-scale analysis of all the 134337 X-ray crystallographic structures of the Protein Data Bank averaged over clusters of almost identical protein sequences. In this work, we explore the complexity of the organization of all the interaction interfaces observed when a protein lies in alternative complexes, showing that interfaces progressively add up in a hierarchical way. We further investigate the connection of this complexity with different measures of structural disorder: the standard missing residues and a new definition, called "soft disorder", that covers all the flexible and structurally amorphous residues of a protein. We show evidences that both the interaction interfaces and the soft disordered regions tend to involve roughly the same amino-acids of the protein, and preliminary results suggesting that soft disorder spots those surface regions where new interfaces are progressively accommodated by complex formation. Our results suggest that disordered regions not only carry crucial information about the location of alternative interfaces within complexes, but also of the order of the assembly. We verify these hypotheses in several examples. We finally compare our measures of disorder with several disorder predictors, showing that these latter are optimized to predict the residues that are missing in all the alternative structures of a protein, and they are not able to catch the progressive evolution of the disordered regions upon complex formation. Yet, the predicted residues, if not missing, tend to be characterized as soft disordered.

preprint1996arXiv

Looking from the inside and from the outside

One often sees a sharp distinction in mathematics between descriptions from the outside and from the inside. Think of defining a set in the plane through an algebraic equation, or dynamically as the closure of the orbit of some point under iterations of a given mapping. In logic one sees this dichotomy in the descriptions of sets of tautologies through semantics and proofs. Logic provides several tools for making outer descriptions of mathematical objects. This paper concerns a slightly complicated mixture of themes related to inner descriptions and formal proofs. We use the notion of feasibility to embed mathematical structures into spaces of logical formulas, from which we can obtain new structures through proofs. We present new geometries on finitely generated groups through proofs, and new structure on the rational numbers (or other fields) which is susceptible to dynamical processes, such as the action of $SL(2,Z)$ by projective transformations. We consider the topological notion of {\em Serre fibrations}. This entails more difficulties of formalization, but basic points arise already for {\em torus bundles}, which present exponential distortion through cycling in a nicely geometric way. One of our goals is to bring out mathematical structure related to cuts and cut elimination. Our geometry on groups through proofs is far from the word metric precisely because of the cut rule. We want to explore the idea that in general the existence of short proofs with cuts should be related to internal symmetry or dynamical processes in the underlying mathematical objects. We also want to bring ordinary mathematical proofs closer to proof theory. In this regard the topological example is attractive for presenting realistic difficulties.

preprint1996arXiv

Some Combinatorics behind Proofs

We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that there is a generalization of the interpolation theorem to much more naive structures about sets, and then we show how both classical and intuitionistic versions of the statement follow by interpreting properly the set-theoretic language. The theorem we present is a geometrical formulation of the well-known logical statement and gives sufficient conditions for a system of combinatorial nature to enjoy interpolation. Its objects might be graphs just as well as formulas or surfaces. The combinatorial mappings we use correspond whenever interpreted in a logical language to the notion of `logical flow graph' (i.e. a graph tracing the flow of occurrences of formulas in a proof; this notion has been introduced in (Buss, 1991). The idea of using the flow of occurrences to study the structure of proofs was already present in (Girard, 1987) with the concept of `proof net'.)