Searcharxiv⌕ Search

arXiv subjects

Antonio Trovato

Publications and source records attributed to Antonio Trovato.

At least 19 recordsLinked to original sources

Quantum algorithms for compact polymer thermodynamics

Efficient sampling from ensembles of Hamiltonian cycles is critical for predicting the thermodynamic properties of compact polymers, with applications including modeling protein and RNA folding and designing soft materials. Although classical Monte Carlo methods are widely regarded as the standard approach, their efficiency is strongly limited when applied to compact polymers. In this work, we enable a quadratic speedup in the estimation of thermodynamic properties of maximally compact polymers and heteropolymers by quantum computation. To this end, we encode the target thermodynamic ensemble into the amplitudes of a quantum state, i.e., a quantum sample, which can be processed via amplitude amplification. Using quantum equational reasoning, we construct a local parent Hamiltonian whose unique ground state realizes a quantum sample of all Hamiltonian cycles. This state can be prepared on quantum hardware using ground-state preparation methods, such as quantum annealing, and subsequently manipulated to generate quantum samples of polymers and heteropolymers at a target temperature. Finally, we approximate the quantum sample as a tensor network, revealing an entanglement area law. For fixed-width rectangular lattices, we obtain a time-efficient and compact encoding of the full ensemble of Hamiltonian cycles, enabling the efficient evaluation of expectation values, partition functions, and configuration probabilities via tensor contractions, without resorting to sampling.

quant-ph↗

A Preliminary Investigation on the Usage of Quantum Approximate Optimization Algorithms for Test Case Selection

Regression testing is key in verifying that software works correctly after changes. However, running the entire regression test suite can be impractical and expensive, especially for large-scale systems. Test suite optimization methods are highly effective but often become infeasible due to their high computational demands. In previous work, Trovato et al. proposed SelectQA, an approach based on quantum annealing that outperforms the traditional state-of-the-art methods, i.e., Additional Greedy and DIV-GA, in efficiency. This work envisions the usage of Quantum Approximate Optimization Algorithms (QAOAs) for test case selection by proposing QAOA-TCS. QAOAs merge the potential of gate-based quantum machines with the optimization capabilities of the adiabatic evolution. To prove the effectiveness of QAOAs for test case selection, we preliminarily investigate QAOA-TCS leveraging an ideal environment simulation before evaluating it on real quantum machines. Our results show that QAOAs perform better than the baseline algorithms in effectiveness while being comparable to SelectQA in terms of efficiency. These results encourage us to continue our experimentation with noisy environment simulations and real quantum machines.

quant-ph↗

Reformulating Regression Test Suite Optimization using Quantum Annealing -- an Empirical Study

Maintaining software quality is crucial in the dynamic landscape of software development. Regression testing ensures that software works as expected after changes are implemented. However, re-executing all test cases for every modification is often impractical and costly, particularly for large systems. Although very effective, traditional test suite optimization techniques are often impractical in resource-constrained scenarios, as they are computationally expensive. Hence, quantum computing solutions have been developed to improve their efficiency but have shown drawbacks in terms of effectiveness. We propose reformulating the regression test case selection problem to use quantum computation techniques better. Our objectives are (i) to provide more efficient solutions than traditional methods and (ii) to improve the effectiveness of previously proposed quantum-based solutions. We propose SelectQA, a quantum annealing approach that can outperform the quantum-based approach BootQA in terms of effectiveness while obtaining results comparable to those of the classic Additional Greedy and DIV-GA approaches. Regarding efficiency, SelectQA outperforms DIV-GA and has similar results with the Additional Greedy algorithm but is exceeded by BootQA.

cs.SE↗

Folding Rate Optimization Promotes Frustrated Interactions in Entangled Protein Structures

Many native structures of proteins accomodate complex topological motifs such as knots, lassos, and other geometrical entanglements. How proteins can fold quickly even in the presence of such topological obstacles is a debated question in structural biology. Recently, the hypothesis that energetic frustration might be a mechanism to avoid topological frustration has been put forward based on the empirical observation that loops involved in entanglements are stabilized by weak interactions between amino-acids at their extrema. To verify this idea, we use a toy lattice model for the folding of proteins into two almost identical structures, one entangled and one not. As expected, the folding time is longer when random sequences folds into the entangled structure. This holds also under an evolutionary pressure simulated by optimizing the folding time. It turns out that optmized protein sequences in the entangled structure are in fact characterized by frustrated interactions at the closures of entangled loops. This phenomenon is much less enhanced in the control case where the entanglement is not present. Our findings, which are in agreement with experimental observations, corroborate the idea that an evolutionary pressure shapes the folding funnel to avoid topological and kinetic traps.

cond-mat.soft↗

Sequence and structural patterns detected in entangled proteins reveal the importance of co-translational folding

Proteins must fold quickly to acquire their biologically functional three-dimensional native structures. Hence, these are mainly stabilized by local contacts, while intricate topologies such as knots are rare. Here, we reveal the existence of specific patterns adopted by protein sequences and structures to deal with backbone self-entanglement. A large scale analysis of the Protein Data Bank shows that loops significantly intertwined with another chain portion are typically closed by weakly bound amino acids. Why is this energetic frustration maintained? A possible picture is that entangled loops are formed only toward the end of the folding process to avoid kinetic traps. Consistently, these loops are more frequently found to be wrapped around a portion of the chain on their N-terminal side, the one translated earlier at the ribosome. Finally, these motifs are less abundant in natural native states than in simulated protein-like structures, yet they appear in 32% of proteins, which in some cases display an amazingly complex intertwining.

q-bio.BM↗

Exploring the correlation between the folding rates of proteins and the entanglement of their native states

The folding of a protein towards its native state is a rather complicated process. However there are empirical evidences that the folding time correlates with the contact order, a simple measure of the spatial organisation of the native state of the protein. Contact order is related to the average length of the main chain loops formed by amino acids which are in contact. Here we argue that folding kinetics can be influenced also by the entanglement that loops may undergo within the overall three dimensional protein structure. In order to explore such possibility, we introduce a novel descriptor, which we call "maximum intrachain contact entanglement". Specifically, we measure the maximum Gaussian entanglement between any looped portion of a protein and any other non-overlapping subchain of the same protein, which is easily computed by discretized line integrals on the coordinates of the $C_α$ atoms. By analyzing experimental data sets of two-state and multistate folders, we show that also the new index is a good predictor of the folding rate. Moreover, being only partially correlated with previous methods, it can be integrated with them to yield more accurate predictions.

cond-mat.soft↗

Bubble-bound state of triple-stranded DNA: Efimov Physics in DNA with repulsion

The presence of a thermodynamic phase of a three-stranded DNA, namely, a mixed phase of bubbles of two bound strands and a single one, is established for large dimensions ($d\geq 5$) by using exact real space renormalization group (RG) transformations and exact computations of specific heat for finite length chains. Similar exact computations for the fractal Sierpinski gasket of dimension $d<2$ establish the stability of the phase in presence of repulsive three chain interaction. In contrast to the Efimov DNA, where three strands are bound though no two are bound, the mixed phase appears on the bound side of the two chain melting temperature. Both the Efimov-DNA and the mixed phase are formed due to strand exchange mechanism.

cond-mat.soft↗

Linking in domain-swapped protein dimers

The presence of knots has been observed in a small fraction of single-domain proteins and related to their thermodynamic and kinetic properties. The exchanging of identical structural elements, typical of domain-swapped proteins, make such dimers suitable candidates to validate the possibility that mutual entanglement between chains may play a similar role for protein complexes. We suggest that such entanglement is captured by the linking number. This represents, for two closed curves, the number of times that each curve winds around the other. We show that closing the curves is not necessary, as a novel parameter $G'$, termed Gaussian entanglement, is strongly correlated with the linking number. Based on $110$ non redundant domain-swapped dimers, our analysis evidences a high fraction of chains with a significant intertwining, that is with $|G'| > 1$. We report that Nature promotes configurations with negative mutual entanglement and surprisingly, it seems to suppress intertwining in long protein dimers. Supported by numerical simulations of dimer dissociation, our results provide a novel topology-based classification of protein-swapped dimers together with some preliminary evidence of its impact on their physical and biological properties.

cond-mat.soft↗

Melting behavior and different bound states in three-stranded DNA models

Thermal denaturation of DNA is often studied with coarse-grained models in which native sequential base pairing is mimicked by the existence of attractive interactions only between monomers at the same position along strands (Poland and Scheraga models). Within this framework, the existence of a three strand DNA bound state in conditions where a duplex DNA would be in the denaturated state was recently predicted from a study of three directed polymer models on simplified hierarchical lattices ($d>2$) and in $1+1$ dimensions. Such phenomenon which is similar to the Efimov effect in nuclear physics was named Efimov-DNA. In this paper we study the melting of the three-stranded DNA on a Sierpinski gasket of dimensions $d<2$ by assigning extra weight factors to fork openings and closings, to induce a two-strand DNA melting. In such a context we can find again the existence of the Efimov-DNA-like state but quite surprisingly we discover also the presence of a different phase, to be called a mixed state, where the strands are pair-wise bound but without three chain contacts. Whereas the Efimov DNA turns out to be a crossover near melting, the mixed phase is a thermodynamic phase.

cond-mat.stat-mech↗

Protein sequence and structure: Is one more fundamental than the other?

We argue that protein native state structures reside in a novel "phase" of matter which confers on proteins their many amazing characteristics. This phase arises from the common features of all globular proteins and is characterized by a sequence-independent free energy landscape with relatively few low energy minima with funnel-like character. The choice of a sequence that fits well into one of these predetermined structures facilitates rapid and cooperative folding. Our model calculations show that this novel phase facilitates the formation of an efficient route for sequence design starting from random peptides.

q-bio.BM↗

Fibril elongation mechanisms of HET-s prion-forming domain: Topological evidence for growth polarity

The prion-forming C-terminal domain of the fungal prion HET-s forms infectious amyloid fibrils at physiological pH. The conformational switch from the non-prion soluble form to the prion fibrillar form is believed to have a functional role, since HET-s in its prion form participates in a recognition process of different fungal strains. Based on the knowledge of the high-resolution structure of HET-s(218-289) (the prion forming-domain) in its fibrillar form, we here present a numerical simulation of the fibril growth process which emphasizes the role of the topological properties of the fibrillar structure. An accurate thermodynamic analysis of the way an intervening HET-s chain is recruited to the tip of the growing fibril suggests that elongation proceeds through a dock and lock mechanism. First, the chain docks onto the fibril by forming the longest $β$-strands. Then, the re-arrangement in the fibrillar form of all the rest of molecule takes place. Interestingly, we predict also that one side of the HET-s fibril is more suitable for substaining its growth with respect to the other. The resulting strong polarity of fibril growth is a consequence of the complex topology of HET-s fibrillar structure, since the central loop of the intervening chain plays a crucially different role in favouring or not the attachment of the C-terminus tail to the fibril, depending on the growth side.

cond-mat.soft↗

A simplified exactly solvable model for beta-amyloid aggregation

We propose an exactly solvable simplified statistical mechanical model for the thermodynamics of beta-amyloid aggregation, generalizing a well-studied model for protein folding. The monomer concentration is explicitly taken into account as well as a non trivial dependence on the microscopic degrees of freedom of the single peptide chain, both in the alpha-helix folded isolated state and in the fibrillar one. The phase diagram of the model is studied and compared to the outcome of fibril formation experiments which is qualitatively reproduced.

q-bio.BM↗

When a DNA Triple helix melts: An analog of the Efimov state

The base sequences of DNA contain the genetic code and to decode it a double helical DNA has to open its base pairs. Recent studies have shown that one can use a third strand to identify the base sequences without opening the double helix but by forming a triple helix. It is predicted here that such a three chain system exhibits the unusual behaviour of the existence of a three chain bound state in the absence of any two being bound. This phenomenon is analogous to the Efimov state in three particle quantum mechanics. A scaling theory is used to justify the Efimov connection. Real space renormalization group (RG), and exact numerical calculations are used to validate the prediction of a biological Efimov effect.

cond-mat.soft↗

A Condensation-Ordering Mechanism in Nanoparticle-Catalyzed Peptide Aggregation

Nanoparticles introduced in living cells are capable of strongly promoting the aggregation of peptides and proteins. We use here molecular dynamics simulations to characterise in detail the process by which nanoparticle surfaces catalyse the self- assembly of peptides into fibrillar structures. The simulation of a system of hundreds of peptides over the millisecond timescale enables us to show that the mechanism of aggregation involves a first phase in which small structurally disordered oligomers assemble onto the nanoparticle and a second phase in which they evolve into highly ordered beta-sheets as their size increases.

q-bio.BM↗

Emergence of Secondary Motifs in Tube-Like Polymers in a Solvent

We study the effects of two kinds of interactions in tube-like polymers and demonstrate that they result in the formation of secondary motifs. The first has an entropic origin and is a measure of the effective space available to the solvent. The second arises from solvophobic interactions of the solvent with the polymers and leads to an energy proportional to the contact surface between the tube and solvent particles. The solvent molecules are modeled as hard spheres and the two interactions are considered separately with the solvent density affecting their relative strength. In addition to analytical calculations, we present the results of numerical simulations in order to understand the role played by the finite length of short polymers and the discrete versus continuum descriptions of the system in determining the preferred conformation.

cond-mat.stat-mech↗

Symmetry, shape, and order

Packing problems have been of great interest in many diverse contexts for many centuries. The optimal packing of identical objects has been often invoked to understand the nature of low temperature phases of matter. In celebrated work, Kepler conjectured that the densest packing of spheres is realized by stacking variants of the face-centered cubic lattice and has a packing fraction of $π/(3\sqrt{2}) \sim 0.7405$. Much more recently, an unusually high density packing of approximately 0.770732 was achieved for congruent ellipsoids. Such studies are relevant for understanding the structure of crystals, glasses, the storage and jamming of granular materials, ceramics, and the assembly of viral capsid structures. Here we carry out analytical studies of the stacking of close-packed planar layers of systems made up of truncated cones possessing uniaxial symmetry. We present examples of high density packing whose order is characterized by a {\em broken symmetry} arising from the shape of the constituent objects. We find a biaxial arrangement of solid cones with a packing fraction of $π/4$. For truncated cones, there are two distinct regimes, characterized by different packing arrangements, depending on the ratio $c$ of the base radii of the truncated cones with a transition at $c^*=\sqrt{2}-1$.

cond-mat.stat-mech↗

Structural motifs of biomolecules

Biomolecular structures are assemblies of emergent anisotropic building modules such as uniaxial helices or biaxial strands. We provide an approach to understanding a marginally compact phase of matter that is occupied by proteins and DNA. This phase, which is in some respects analogous to the liquid crystal phase for chain molecules, stabilizes a range of shapes that can be obtained by sequence-independent interactions occurring intra- and intermolecularly between polymeric molecules. We present a singularityfree self-interaction for a tube in the continuum limit and show that this results in the tube being positioned in the marginally compact phase. Our work provides a unified framework for understanding the building blocks of biomolecules.

q-bio.BM↗

Geometry of proteins: hydrogen bonding, sterics and marginally compact tubes

The functionality of proteins is related to their structure in the native state. Protein structures are made up of emergent building blocks of helices and almost planar sheets. A simple coarse-grained geometrical model of a flexible tube barely subject to compaction provides a unified framework for understanding the common character of globular proteins.We argue that a recent critique of the tube idea is not well founded.

q-bio.BM↗