TY - CONF
AB - A new technique for proving the adaptive indistinguishability of two systems, each composed of some component systems, is presented, using only the fact that corresponding component systems are non-adaptively indistinguishable. The main tool is the definition of a special monotone condition for a random system F, relative to another random system G, whose probability of occurring for a given distinguisher D is closely related to the distinguishing advantage ε of D for F and G, namely it is lower and upper bounded by ε and (1+ln1), respectively.
A concrete instantiation of this result shows that the cascade of two random permutations (with the second one inverted) is indistinguishable from a uniform random permutation by adaptive distinguishers which may query the system from both sides, assuming the components’ security only against non-adaptive one-sided distinguishers.
As applications we provide some results in various fields as almost k-wise independent probability spaces, decorrelation theory and computational indistinguishability (i.e., pseudo-randomness).
AU - Maurer, Ueli M
AU - Krzysztof Pietrzak
ID - 3208
TI - Composition of random systems: When two weak make one strong
VL - 2951
ER -
TY - JOUR
AB - The folding and stability of transmembrane proteins is a fundamental and unsolved biological problem. Here, single bacteriorhodopsin molecules were mechanically unfolded from native purple membranes using atomic force microscopy and force spectroscopy. The energy landscape of individual transmembrane α helices and polypeptide loops was mapped by monitoring the pulling speed dependence of the unfolding forces and applying Monte Carlo simulations. Single helices formed independently stable units stabilized by a single potential barrier. Mechanical unfolding of the helices was triggered by 3.9–7.7 Å extension, while natural unfolding rates were of the order of 10−3 s−1. Besides acting as individually stable units, helices associated pairwise, establishing a collective potential barrier. The unfolding pathways of individual proteins reflect distinct pulling speed-dependent unfolding routes in their energy landscapes. These observations support the two-stage model of membrane protein folding in which α helices insert into the membrane as stable units and then assemble into the functional protein.
AU - Harald Janovjak
AU - Struckmeier, Jens
AU - Hubain, Maurice
AU - Kessler, Max
AU - Kedrov, Alexej
AU - Mueller, Daniel J
ID - 3419
IS - 5
JF - Structure
TI - Probing the energy landscape of the membrane protein bacteriorhodopsin
VL - 12
ER -
TY - JOUR
AB - Single-molecule force-spectroscopy was employed to unfold and refold single sodium-proton antiporters (NhaA) of Escherichia coli from membrane patches. Although transmembrane α-helices and extracellular polypeptide loops exhibited sufficient stability to individually establish potential barriers against unfolding, two helices predominantly unfolded pairwise, thereby acting as one structural unit. Many of the potential barriers were detected unfolding NhaA either from the C-terminal or the N-terminal end. It was found that some molecular interactions stabilizing secondary structural elements were directional, while others were not. Additionally, some interactions appeared to occur between the secondary structural elements. After unfolding ten of the 12 helices, the extracted polypeptide was allowed to refold back into the membrane. After five seconds, the refolded polypeptide established all secondary structure elements of the native protein. One helical pair showed a characteristic spring like “snap in” into its folded conformation, while the refolding process of other helices was not detected in particular. Additionally, individual helices required characteristic periods of time to fold. Correlating these results with the primary structure of NhaA allowed us to obtain the first insights into how potential barriers establish and determine the folding kinetics of the secondary structure elements.
AU - Kedrov, Alexej
AU - Ziegler, Christine
AU - Harald Janovjak
AU - Kühlbrandt, Werner
AU - Mueller, Daniel J
ID - 3420
IS - 5
JF - Journal of Molecular Biology
TI - Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy
VL - 340
ER -
TY - CHAP
AU - Herbert Edelsbrunner
ID - 3574
T2 - Handbook of Discrete and Computational Geometry
TI - Biological applications of computational topology
ER -
TY - CHAP
AB - The Jacobi set of two Morse functions defined on a common - manifold is the set of critical points of the restrictions of one func- tion to the level sets of the other function. Equivalently, it is the set of points where the gradients of the functions are parallel. For a generic pair of Morse functions, the Jacobi set is a smoothly embed- ded 1-manifold. We give a polynomial-time algorithm that com- putes the piecewise linear analog of the Jacobi set for functions specified at the vertices of a triangulation, and we generalize all results to more than two but at most Morse functions.
AU - Herbert Edelsbrunner
AU - Harer, John
ID - 3575
T2 - Foundations of Computational Mathematics
TI - Jacobi sets of multiple Morse functions
VL - 312
ER -