-
Can vibrational sum frequency scattering spectra be measured from the surface of 40-100 nm aerosols in a cloud containing 10$^{6}$ particles/mL?
Authors:
Arianna Marchioro,
Thaddeus W. Golbek,
Adam S. Chatterley,
Tobias Weidner,
Sylvie Roke
Abstract:
Understanding the interfacial properties of aerosol particles is important for science and medicine, crucial for air quality, human health, and environmental chemistry. Qian et al. presented vibrational sum frequency scattering (SFS) measurements of organic molecules on aerosol particles.$^{1}$ Relating an aerosol sample with a 40 nm average size and 10 - 300 nm particle size distribution at a den…
▽ More
Understanding the interfacial properties of aerosol particles is important for science and medicine, crucial for air quality, human health, and environmental chemistry. Qian et al. presented vibrational sum frequency scattering (SFS) measurements of organic molecules on aerosol particles.$^{1}$ Relating an aerosol sample with a 40 nm average size and 10 - 300 nm particle size distribution at a density of 10$^{6}$ particle/mL to vibrational sum frequency scattering spectra recorded in a different apparatus, it was concluded that the vibrational spectra reported on the surface structure of the particles in the aerosol. Here, we show that the SF scattering power of such small particles with a density of 10$^{6}$ particle/mL is $\sim$ 10$^{7}$ smaller than the detection limit of the presented SFS experiment. We determine the detectable number density of particles, both theoretically and experimentally, to demonstrate the limits of the SFS method. We also propose possible reasons for the 10$^{7}$ order of magnitude discrepancy.
△ Less
Submitted 3 May, 2023; v1 submitted 3 June, 2022;
originally announced June 2022.
-
Relaxing the aquaporin crystal structure in a membrane with surface vibrational spectroscopy
Authors:
L. Schmüser,
M. Trefz,
S. J. Roeters,
W. Beckner,
J. Pfaendtner,
D. Otzen,
S. Woutersen,
M. Bonn,
D. Schneider,
T. Weidner
Abstract:
High-resolution structural information on membrane proteins is essential for understanding cell biology and for structure-based design of new medical drugs and drug delivery strategies. X-ray diffraction (XRD) can provide Ångstrom-level information about the structure of membrane proteins. Ideally protein structures should be solved in environments as close to the original biological context as po…
▽ More
High-resolution structural information on membrane proteins is essential for understanding cell biology and for structure-based design of new medical drugs and drug delivery strategies. X-ray diffraction (XRD) can provide Ångstrom-level information about the structure of membrane proteins. Ideally protein structures should be solved in environments as close to the original biological context as possible. However, it is virtually impossible to crystallize proteins within the complex environment of a biological membrane. Instead, membrane proteins are typically transferred from their native membrane environment into detergent micelles, chemically stabilized and crystallized, all of which can compromise the conformation. This makes it imperative to develop alternative high-resolution techniques which are compatible with biological conditions. Here, we describe how a combina-tion of surface-sensitive vibrational spectroscopy in model membranes and molecular dynamics simulations can account for the native membrane environment. We observe the structure of glycerol facilitator channel (GlpF), an aquaporin membrane channel finely tuned to selectively transport water and glycerol molecules across the membrane barrier. We find subtle but significant differences between the XRD structure and the in-ferred in situ structure of GlpF.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Model Checking Constraint LTL over Trees
Authors:
Alexander Kartzow,
Thomas Weidner
Abstract:
Constraint automata are an adaptation of Büchi-automata that process data words where the data comes from some relational structure S. Every transition of such an automaton comes with constraints in terms of the relations of S. A transition can only be fired if the current and the next data values satisfy all constraints of this transition. These automata have been used in the setting where S is a…
▽ More
Constraint automata are an adaptation of Büchi-automata that process data words where the data comes from some relational structure S. Every transition of such an automaton comes with constraints in terms of the relations of S. A transition can only be fired if the current and the next data values satisfy all constraints of this transition. These automata have been used in the setting where S is a linear order for deciding constraint LTL with constraints over S. In this paper, S is the infinitely branching infinite order tree T. We provide a PSPACE algorithm for emptiness of T-constraint automata. This result implies PSPACE-completeness of the satisfiability and the model checking problem for constraint LTL with constraints over T.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.