-
The class and dynamics of $α$-balanced Polish groups
Authors:
Shaun Allison,
Aristotelis Panagiotopoulos
Abstract:
For each ordinal $α<ω_1$, we introduce the class of $α$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop…
▽ More
For each ordinal $α<ω_1$, we introduce the class of $α$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop a boundedness principle for CLI groups by showing that $α$-balancedness is an initial segment of a regular coanalytic rank.
In the spirit of Hjorth's turbulence theory we also introduce "generic $α$-unbalancedness": a new dynamical condition for Polish $G$-spaces which serves as an obstruction to classification by actions of $α$-balanced Polish groups. We use this to provide, for each $α<ω_1$, an action of an $α$-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against actions of any $β$-balanced Polish group with $β<α$.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Solvent Selectivity controls Micro- versus Macro-phase Separation in Multiblock Chains
Authors:
Athanassios Z. Panagiotopoulos
Abstract:
Monte Carlo simulations in the grand canonical ensemble were used to obtain critical parameters and conditions leading to microphase separation for block copolymers with solvophilic and solvophobic segments. Solvent selectivity was systematically varied to distinguish between systems that undergo macrophase separation to ones that microphase separate in the dilute phase, prior to macrophase separa…
▽ More
Monte Carlo simulations in the grand canonical ensemble were used to obtain critical parameters and conditions leading to microphase separation for block copolymers with solvophilic and solvophobic segments. Solvent selectivity was systematically varied to distinguish between systems that undergo macrophase separation to ones that microphase separate in the dilute phase, prior to macrophase separating. Finite-size scaling was used to obtain the critical parameters. Interestingly, corrections to scaling increase significantly for systems that form finite aggregates. The threshold value of solvent selectivity for aggregation was determined for symmetric diblock chains of varying length. The results indicate that long diblock copolymers form micelles in the dilute phase prior to macrophase separation, even in marginally selective solvents. The dependence of critical temperature on solvent selectivity was obtained for triblock, multiblock, and alternating chains. For highly selective solvents, strong structuring of both dilute and dense phases makes it harder to reach equilibrium.
△ Less
Submitted 30 May, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Sequence Dependence of Critical Properties for 2-letter Chains
Authors:
Athanassios Z. Panagiotopoulos
Abstract:
Histogram-reweighting grand canonical Monte Carlo simulations are used to obtain the critical properties of lattice chains composed of solvophilic and solvophobic monomers. The model is a modification of one proposed by Larson \emph{et al.} [J. Chem. Phys. 83, 2411 (1985)], lowering the ``contrast'' between beads of different type to prevent aggregation into finite-size micelles that would mask tr…
▽ More
Histogram-reweighting grand canonical Monte Carlo simulations are used to obtain the critical properties of lattice chains composed of solvophilic and solvophobic monomers. The model is a modification of one proposed by Larson \emph{et al.} [J. Chem. Phys. 83, 2411 (1985)], lowering the ``contrast'' between beads of different type to prevent aggregation into finite-size micelles that would mask true phase separation between bulk high- and low-density phases. Oligomeric chains of length between 5 and 24 beads are studied. Mixed-field finite-size scaling methods are used to obtain the critical properties with typical relative accuracies of better than $10^{-4}$ for the critical temperature and $10^{-3}$ for the critical volume fraction. Diblock chains are found to have lower critical temperatures and volume fractions relative to the corresponding homopolymers. Addition of solvophilic blocks of increasing length to a fixed-length solvophobic segment results in a decrease of both critical temperature and critical volume fraction, with an eventual slow asymptotic approach to the long-chain limiting behavior. Moving a single solvophobic or solvophilic bead along a chain leads to a minimum or maximum in the critical temperature, with no change in critical volume fraction. Chains of identical length and composition have a significant spread in their critical properties, depending on their precise sequence. The present study has implications on understanding biomolecular phase separation and for develo** design rules for synthetic polymers with specific phase separation properties. It also provides data potentially useful for the further development of theoretical models for polymer and surfactant phase behavior.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
The homeomorphisms of the Sierpiński carpet are not classifiable by countable structures
Authors:
Dhruv Kulshreshtha,
Aristotelis Panagiotopoulos
Abstract:
We show that the homeomorphisms of the Sierpiński carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.
We show that the homeomorphisms of the Sierpiński carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.
△ Less
Submitted 11 April, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
Probing LLMs for Joint Encoding of Linguistic Categories
Authors:
Giulio Starace,
Konstantinos Papakostas,
Rochelle Choenni,
Apostolos Panagiotopoulos,
Matteo Rosati,
Alina Leidinger,
Ekaterina Shutova
Abstract:
Large Language Models (LLMs) exhibit impressive performance on a range of NLP tasks, due to the general-purpose linguistic knowledge acquired during pretraining. Existing model interpretability research (Tenney et al., 2019) suggests that a linguistic hierarchy emerges in the LLM layers, with lower layers better suited to solving syntactic tasks and higher layers employed for semantic processing.…
▽ More
Large Language Models (LLMs) exhibit impressive performance on a range of NLP tasks, due to the general-purpose linguistic knowledge acquired during pretraining. Existing model interpretability research (Tenney et al., 2019) suggests that a linguistic hierarchy emerges in the LLM layers, with lower layers better suited to solving syntactic tasks and higher layers employed for semantic processing. Yet, little is known about how encodings of different linguistic phenomena interact within the models and to what extent processing of linguistically-related categories relies on the same, shared model representations. In this paper, we propose a framework for testing the joint encoding of linguistic categories in LLMs. Focusing on syntax, we find evidence of joint encoding both at the same (related part-of-speech (POS) classes) and different (POS classes and related syntactic dependency relations) levels of linguistic hierarchy. Our cross-lingual experiments show that the same patterns hold across languages in multilingual LLMs.
△ Less
Submitted 28 October, 2023;
originally announced October 2023.
-
A critical perspective for emerging ultra-thin solar cells with ultra-high power-per-weight outputs
Authors:
Apostolos Panagiotopoulos,
Temur Maksudov,
George Kakavelakis,
George Perrakis,
Essa A. Alharbi,
Dimitar Kutsarov,
Furkan H. Isikgor,
Salman Alfihed,
Konstantinos Petridis,
Maria Kafesaki,
S. Ravi P. Silva,
Thomas D. Anthopoulos,
Michael Graetzel
Abstract:
Ultrathin, solution-processed emerging solar cells with high power-per-weight (PPW) outputs demonstrate unique potential for applications where low weight, high power output, and flexibility are indispensable. The following perspective explores the literature of emerging PVs and highlights the maximum reported PPW values of Perovskite Solar Cells (PSCs) 29.4 W/g, Organic Solar Cells (OSCs) 32.07 W…
▽ More
Ultrathin, solution-processed emerging solar cells with high power-per-weight (PPW) outputs demonstrate unique potential for applications where low weight, high power output, and flexibility are indispensable. The following perspective explores the literature of emerging PVs and highlights the maximum reported PPW values of Perovskite Solar Cells (PSCs) 29.4 W/g, Organic Solar Cells (OSCs) 32.07 W/g and Quantum Dot Solar Cells (QDSC) 15.02 W/g, respectively. The record PPW values of OSCs and PSCs are approximately one order of magnitude higher compared to their inorganic ultrathin solar cells counterparts (approx. 3.2 W/g for CIGS and a-Si). This consists emerging PVs, very attractive for a variety of applications where the PPW is the key parameter. In particular, both OSCs and PSCs can be implemented in different scenarios of applications (indoor and biocompatible applications for OSCs and outdoor and high-energy radiation conversion conditions for the PSCs) due to their unique optoelectronic and physiochemical properties. Finally, our theoretical optical and electrical simulation and optimization study for the most promising and well-suited PV technologies, showed an impressive maximum realistic theoretical PPW limit of 74.3 and 93.7 W/g for PSCs and OSCs, respectively. Our finding shows that the literature PSCs and OSCs towards high PPW outputs, is not quite close to the theoretical maximum and thus more work needs to be done to further increase the PPW output of these promising PV technologies.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Why does dissolving salt in water decrease its dielectric permittivity
Authors:
Chunyi Zhang,
Shuwen Yue,
Athanassios Z. Panagiotopoulos,
Michael L. Klein,
Xifan Wu
Abstract:
The dielectric permittivity of salt water decreases on dissolving more salt. For nearly a century, this phenomenon has been explained by invoking saturation in the dielectric response of the solvent water molecules. Herein, we employ an advanced deep neural network (DNN), built using data from density functional theory, to study the dielectric permittivity of sodium chloride solutions. Notably, th…
▽ More
The dielectric permittivity of salt water decreases on dissolving more salt. For nearly a century, this phenomenon has been explained by invoking saturation in the dielectric response of the solvent water molecules. Herein, we employ an advanced deep neural network (DNN), built using data from density functional theory, to study the dielectric permittivity of sodium chloride solutions. Notably, the decrease in the dielectric permittivity as a function of concentration, computed using the DNN approach, agrees well with experiments. Detailed analysis of the computations reveals that the dominant effect, caused by the intrusion of ionic hydration shells into the solvent hydrogen-bond network, is the disruption of dipolar correlations among water molecules. Accordingly, the observed decrease in the dielectric permittivity is mostly due to increasing suppression of the collective response of solvent waters.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
A first-principles machine-learning force field for heterogeneous ice nucleation on microcline feldspar
Authors:
Pablo M. Piaggi,
Annabella Selloni,
Athanassios Z. Panagiotopoulos,
Roberto Car,
Pablo G. Debenedetti
Abstract:
The formation of ice in the atmosphere affects precipitation and cloud properties, and plays a key role in the climate of our planet. Although ice can form directly from liquid water at deeply supercooled conditions, the presence of foreign particles can aid ice formation at much warmer temperatures. Over the past decade, experiments have highlighted the remarkable efficiency of feldspar minerals…
▽ More
The formation of ice in the atmosphere affects precipitation and cloud properties, and plays a key role in the climate of our planet. Although ice can form directly from liquid water at deeply supercooled conditions, the presence of foreign particles can aid ice formation at much warmer temperatures. Over the past decade, experiments have highlighted the remarkable efficiency of feldspar minerals as ice nuclei compared to other particles present in the atmosphere. However, the exact mechanism of ice formation on feldspar surfaces has yet to be fully understood. Here, we develop a first-principles machine-learning model for the potential energy surface aimed at studying ice nucleation at microcline feldspar surfaces. The model is able to reproduce with high fidelity the energies and forces derived from density-functional theory (DFT) based on the SCAN exchange and correlation functional. We apply the machine-learning force field to study different fully-hydroxylated terminations of the (100), (010), and (001) surfaces of microcline exposed to vacuum. Our calculations suggest that terminations that do not minimize the number of broken bonds are preferred in vacuum. We also study the structure of supercooled liquid water in contact with microcline surfaces, and find that water density correlations extend up to around 1 nm from the surfaces. Finally, we show that the force field maintains a high accuracy during the simulation of ice formation at microcline surfaces, even for large systems of around 30,000 atoms. Future work will be directed towards the calculation of nucleation free energy barriers and rates using the force field developed herein, and understanding the role of different microcline surfaces on ice nucleation.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Incompleteness Theorems for Observables in General Relativity
Authors:
Aristotelis Panagiotopoulos,
George Sparling,
Marios Christodoulou
Abstract:
The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In fact, we show that it is consistent with the Zermelo-Fraenkel and Dependent Choice axioms that no complete observable for rich collections of spacetimes exists…
▽ More
The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In fact, we show that it is consistent with the Zermelo-Fraenkel and Dependent Choice axioms that no complete observable for rich collections of spacetimes exists whatsoever. In a nutshell, this implies that the Problem of Observables is to 'analysis' what the Delian Problem was to 'straightedge and compass'. Our results remain true even after restricting the space of solutions to vacuum solutions. In other words, the issue can be traced to the presence of local degrees of freedom. We discuss the next steps in a research program that aims to further uncover this novel connection between theoretical physics and descriptive set theory.
△ Less
Submitted 25 September, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
VISION DIFFMASK: Faithful Interpretation of Vision Transformers with Differentiable Patch Masking
Authors:
Angelos Nalmpantis,
Apostolos Panagiotopoulos,
John Gkountouras,
Konstantinos Papakostas,
Wilker Aziz
Abstract:
The lack of interpretability of the Vision Transformer may hinder its use in critical real-world applications despite its effectiveness. To overcome this issue, we propose a post-hoc interpretability method called VISION DIFFMASK, which uses the activations of the model's hidden layers to predict the relevant parts of the input that contribute to its final predictions. Our approach uses a gating m…
▽ More
The lack of interpretability of the Vision Transformer may hinder its use in critical real-world applications despite its effectiveness. To overcome this issue, we propose a post-hoc interpretability method called VISION DIFFMASK, which uses the activations of the model's hidden layers to predict the relevant parts of the input that contribute to its final predictions. Our approach uses a gating mechanism to identify the minimal subset of the original input that preserves the predicted distribution over classes. We demonstrate the faithfulness of our method, by introducing a faithfulness task, and comparing it to other state-of-the-art attribution methods on CIFAR-10 and ImageNet-1K, achieving compelling results. To aid reproducibility and further extension of our work, we open source our implementation: https://github.com/AngelosNal/Vision-DiffMask
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Phase Separation and Aggregation in Multiblock Chains
Authors:
Athanassios Z. Panagiotopoulos
Abstract:
This article focuses on phase and aggregation behavior for linear chains composed of blocks of hydrophilic and hydrophobic segments. Phase and conformational transitions of patterned chains are relevant for understanding liquid-liquid separation of biomolecular condensates, which play a prominent role in cellular biophysics, but also for surfactant and polymer applications. Previous studies of sim…
▽ More
This article focuses on phase and aggregation behavior for linear chains composed of blocks of hydrophilic and hydrophobic segments. Phase and conformational transitions of patterned chains are relevant for understanding liquid-liquid separation of biomolecular condensates, which play a prominent role in cellular biophysics, but also for surfactant and polymer applications. Previous studies of simple models for multiblock chains have shown that, depending on the sequence pattern and chain length, such systems can fall into one of two categories: displaying either phase separation or aggregation into finite-size clusters. The key new result of the present study is that both formation of finite-size aggregates and phase separation can be observed for certain chain architectures at appropriate conditions of temperature and concentration. For such systems, a bulk dense liquid condenses from a dilute phase that already contains multi-chain finite-size aggregates. The computational approach involves several distinct steps using histogram-reweighting grand canonical Monte Carlo simulations, which are described here in some level of detail.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
A Deep Potential model for liquid-vapor equilibrium and cavitation rates of water
Authors:
Ignacio Sanchez-Burgos,
Maria Carolina Muniz,
Jorge R. Espinosa,
Athanassios Z. Panagiotopoulos
Abstract:
Computational studies of liquid water and its phase transition into vapor have traditionally been performed using classical water models. Here we utilize the Deep Potential methodology -- a machine learning approach -- to study this ubiquitous phase transition, starting from the phase diagram in the liquid-vapor coexistence regime. The machine learning model is trained on ab initio energies and fo…
▽ More
Computational studies of liquid water and its phase transition into vapor have traditionally been performed using classical water models. Here we utilize the Deep Potential methodology -- a machine learning approach -- to study this ubiquitous phase transition, starting from the phase diagram in the liquid-vapor coexistence regime. The machine learning model is trained on ab initio energies and forces based on the SCAN density functional which has been previously shown to reproduce solid phases and other properties of water. Here, we compute the surface tension, saturation pressure and enthalpy of vaporization for a range of temperatures spanning from 300 to 600 K, and evaluate the Deep Potential model performance against experimental results and the semi-empirical TIP4P/2005 classical model. Moreover, by employing the seeding technique, we evaluate the free energy barrier and nucleation rate at negative pressures for the isotherm of 296.4 K. We find that the nucleation rates obtained from the Deep Potential model deviate from those computed for the TIP4P/2005 water model, due to an underestimation in the surface tension from the Deep Potential model. From analysis of the seeding simulations, we also evaluate the Tolman length for the Deep Potential water model, which is (0.091 $\pm$ 0.008) nm at 296.4 K. Lastly, we identify that water molecules display a preferential orientation in the liquid-vapor interface, in which H atoms tend to point towards the vapor phase to maximize the enthalpic gain of interfacial molecules. We find that this behaviour is more pronounced for planar interfaces than for the curved interfaces in bubbles. This work represents the first application of Deep Potential models to the study of liquid-vapor coexistence and water cavitation.
△ Less
Submitted 2 February, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
The definable content of homological invariants II: Čech cohomology and homotopy classification
Authors:
Jeffrey Bergfalk,
Martino Lupini,
Aristotelis Panagiotopoulos
Abstract:
This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor…
▽ More
This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functors $\check{\mathrm{H}}^n$ on the category of locally compact separable metric spaces each factor into (i) what we term their definable version, a functor $\check{\mathrm{H}}^n_{\mathrm{def}}$ taking values in the category $\mathsf{GPC}$ of groups with a Polish cover (a category first introduced in this work's predecessor), followed by (ii) a forgetful functor from $\mathsf{GPC}$ to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of map** telescopes of $d$-spheres or $d$-tori for any $d\geq 1$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent map** telescopes of either sort on which the classical cohomology functors are constant. We then apply the functors $\check{\mathrm{H}}^n_{\mathrm{def}}$ to show that a seminal problem in the development of algebraic topology, namely Borsuk and Eilenberg's 1936 problem of classifying, up to homotopy, the maps from a solenoid complement $S^3\backslashΣ$ to the $2$-sphere, is essentially hyperfinite but not smooth.
In the course of this work, we record Borel definable versions of a number of classical results bearing on both the combinatorial and homotopical formulations of Čech cohomology; in aggregate, this work may be regarded as laying foundations for the descriptive set theoretic study of the homotopy relation on the space of maps from a locally compact Polish space to a polyhedron, a relation which embodies a substantial variety of classification problems arising throughout mathematics.
△ Less
Submitted 25 April, 2024; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Liquid-liquid transition in water from first principles
Authors:
Thomas E. Gartner III,
Pablo M. Piaggi,
Roberto Car,
Athanassios Z. Panagiotopoulos,
Pablo G. Debenedetti
Abstract:
A longstanding question in water research is the possibility that supercooled liquid water can undergo a liquid-liquid phase transition (LLT) into high- and low-density liquids. We used several complementary molecular simulation techniques to evaluate the possibility of an LLT in an ab initio neural network model of water trained on density functional theory calculations with the SCAN exchange cor…
▽ More
A longstanding question in water research is the possibility that supercooled liquid water can undergo a liquid-liquid phase transition (LLT) into high- and low-density liquids. We used several complementary molecular simulation techniques to evaluate the possibility of an LLT in an ab initio neural network model of water trained on density functional theory calculations with the SCAN exchange correlation functional. We conclusively show the existence of a first-order LLT and an associated critical point in the SCAN description of water, representing the first definitive computational evidence for an LLT in water from first principles.
△ Less
Submitted 2 November, 2022; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Every CBER is smooth below the Carlson-Simpson generic partition
Authors:
Aristotelis Panagiotopoulos,
Allison Wang
Abstract:
Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of $\mathcal{E}_{\infty}$. In contrast, we show that there is a hypersmooth equivalence relation on $\mathcal{E}_{\infty}$ which is Borel bireducible with $E_1$ on every Carlson-Simp…
▽ More
Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of $\mathcal{E}_{\infty}$. In contrast, we show that there is a hypersmooth equivalence relation on $\mathcal{E}_{\infty}$ which is Borel bireducible with $E_1$ on every Carlson-Simpson cube. Our arguments are classical and require no background in forcing.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Homogeneous ice nucleation in an ab initio machine learning model of water
Authors:
Pablo M. Piaggi,
Jack Weis,
Athanassios Z. Panagiotopoulos,
Pablo G. Debenedetti,
Roberto Car
Abstract:
Molecular simulations have provided valuable insight into the microscopic mechanisms underlying homogeneous ice nucleation. While empirical models have been used extensively to study this phenomenon, simulations based on first-principles calculations have so far proven prohibitively expensive. Here, we circumvent this difficulty by using an efficient machine learning model trained on density-funct…
▽ More
Molecular simulations have provided valuable insight into the microscopic mechanisms underlying homogeneous ice nucleation. While empirical models have been used extensively to study this phenomenon, simulations based on first-principles calculations have so far proven prohibitively expensive. Here, we circumvent this difficulty by using an efficient machine learning model trained on density-functional theory (DFT) energies and forces. We compute nucleation rates at atmospheric pressure, over a broad range of supercoolings, using the seeding technique and systems of up to hundreds of thousands of atoms simulated with ab initio accuracy. The key quantity provided by the seeding technique is the size of the critical cluster (i.e., a size such that the cluster has equal probabilities of growing or melting at the given supersaturation) which is used together with the equations of classical nucleation theory to compute nucleation rates. We find that nucleation rates for our model at moderate supercoolings are in good agreement with experimental measurements within the error of our calculation. We also study the impact of properties such as the thermodynamic driving force, interfacial free energy, and stacking disorder on the calculated rates.
△ Less
Submitted 24 August, 2022; v1 submitted 2 March, 2022;
originally announced March 2022.
-
Dissolving salt is not equivalent to applying a pressure on water
Authors:
Chunyi Zhang,
Shuwen Yue,
Athanassios Z. Panagiotopoulos,
Michael L. Klein,
Xifan Wu
Abstract:
Salt water is ubiquitous, playing crucial roles in geological and physiological processes. Despite centuries of investigations, whether or not water's structure is drastically changed by dissolved ions is still debated. Based on density functional theory, we employ machine learning based molecular dynamics to model sodium chloride, potassium chloride, and sodium bromide solutions at different conc…
▽ More
Salt water is ubiquitous, playing crucial roles in geological and physiological processes. Despite centuries of investigations, whether or not water's structure is drastically changed by dissolved ions is still debated. Based on density functional theory, we employ machine learning based molecular dynamics to model sodium chloride, potassium chloride, and sodium bromide solutions at different concentrations. The resulting reciprocal-space structure factors agree quantitatively with neutron diffraction data. Here we provide clear evidence that the ions in salt water do not distort the structure of water in the same way as neat water responds to elevated pressure. Rather, the computed structural changes are restricted to the ionic first solvation shells intruding into the hydrogen bond network, beyond which the oxygen radial-distribution function does not undergo major change relative to neat water. Our findings suggest that the widely cited pressure-like effect on the solvent in Hofmeister series ionic solutions should be carefully revisited.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
A deep potential model with long-range electrostatic interactions
Authors:
Linfeng Zhang,
Han Wang,
Maria Carolina Muniz,
Athanassios Z. Panagiotopoulos,
Roberto Car,
Weinan E
Abstract:
Machine learning models for the potential energy of multi-atomic systems, such as the deep potential (DP) model, make possible molecular simulations with the accuracy of quantum mechanical density functional theory, at a cost only moderately higher than that of empirical force fields. However, the majority of these models lack explicit long-range interactions and fail to describe properties that d…
▽ More
Machine learning models for the potential energy of multi-atomic systems, such as the deep potential (DP) model, make possible molecular simulations with the accuracy of quantum mechanical density functional theory, at a cost only moderately higher than that of empirical force fields. However, the majority of these models lack explicit long-range interactions and fail to describe properties that derive from the Coulombic tail of the forces. To overcome this limitation we extend the DP model by approximating the long-range electrostatic interaction between ions (nuclei+core electrons) and valence electrons with that of distributions of spherical Gaussian charges located at ionic and electronic sites. The latter are rigorously defined in terms of the centers of the maximally localized Wannier distributions, whose dependence on the local atomic environment is modeled accurately by a deep neural network. In the deep potential long-range (DPLR) model, the electrostatic energy of the Gaussian charge system is added to short-range interactions that are represented as in the standard DP model. The resulting potential energy surface is smooth and possesses analytical forces and virial. Missing effects in the standard DP scheme are recovered, improving on accuracy and predictive power. By including long-range electrostatics, DPLR correctly extrapolates to large systems the potential energy surface learned from quantum mechanical calculations on smaller systems. We illustrate the approach with three examples, the potential energy profile of the water dimer, the free energy of interaction of a water molecule with a liquid water slab, and the phonon dispersion curves of the NaCl crystal.
△ Less
Submitted 16 February, 2022; v1 submitted 26 December, 2021;
originally announced December 2021.
-
Leveraging Selective Prediction for Reliable Image Geolocation
Authors:
Apostolos Panagiotopoulos,
Giorgos Kordopatis-Zilos,
Symeon Papadopoulos
Abstract:
Reliable image geolocation is crucial for several applications, ranging from social media geo-tagging to fake news detection. State-of-the-art geolocation methods surpass human performance on the task of geolocation estimation from images. However, no method assesses the suitability of an image for this task, which results in unreliable and erroneous estimations for images containing no geolocatio…
▽ More
Reliable image geolocation is crucial for several applications, ranging from social media geo-tagging to fake news detection. State-of-the-art geolocation methods surpass human performance on the task of geolocation estimation from images. However, no method assesses the suitability of an image for this task, which results in unreliable and erroneous estimations for images containing no geolocation clues. In this paper, we define the task of image localizability, i.e. suitability of an image for geolocation, and propose a selective prediction methodology to address the task. In particular, we propose two novel selection functions that leverage the output probability distributions of geolocation models to infer localizability at different scales. Our selection functions are benchmarked against the most widely used selective prediction baselines, outperforming them in all cases. By abstaining from predicting non-localizable images, we improve geolocation accuracy from 27.8% to 70.5% at the city-scale, and thus make current geolocation models reliable for real-world applications.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension
Authors:
Aristotelis Panagiotopoulos,
Assaf Shani
Abstract:
The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\inω$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria und…
▽ More
The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\inω$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria under which the $P$-shift is generically ergodic relative to the injective part of the $Q$-shift, when $Q$ has algebraic dimension $\leq n$. We use this to show that the sequence of pairwise $*$-reduction-incomparable equivalence relations defined in [KP21] is a strictly increasing sequence in the Borel reduction hierarchy. We also use our main theorem to exhibit an equivalence relation of pinned cardinal $\aleph_1^{+}$ which strongly resembles the equivalence relation of pinned cardinal $\aleph_1^{+}$ from [Zap11], but which does not Borel reduce to the latter. It remains open whether they are actually incomparable under Borel reductions.
Our proofs rely on the study of symmetric models whose symmetries come from the group $Q$. We show that when $Q$ is "locally finite" -- e.g. when $Q=\mathrm{Aut}(\mathcal{M})$, where $\mathcal{M}$ is a locally finite countable structure with no algebraicity -- the corresponding symmetric model admits a theory of supports which is analogous to that in the basic Cohen model.
△ Less
Submitted 14 April, 2024; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Universality vs Genericity and $C_4$-free graphs
Authors:
Aristotelis Panagiotopoulos,
Katrin Tent
Abstract:
We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fraïssé classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structu…
▽ More
We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fraïssé classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structure, strengthening a result of A. Hajnal and J. Pach.
△ Less
Submitted 22 June, 2022; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Vapor-liquid equilibrium of water with the MB-pol many-body potential
Authors:
Maria Carolina Muniz,
Thomas E. Gartner III,
Marc Riera,
Christopher Knight,
Shuwen Yue,
Francesco Paesani,
Athanassios Z. Panagiotopoulos
Abstract:
Among the many existing molecular models of water, the MB-pol many-body potential has emerged as a remarkably accurate model, capable of reproducing thermodynamic, structural, and dynamic properties across water's solid, liquid, and vapor phases. In this work, we assessed the performance of MB-pol with respect to an important set of properties related to vapor-liquid coexistence and interfacial be…
▽ More
Among the many existing molecular models of water, the MB-pol many-body potential has emerged as a remarkably accurate model, capable of reproducing thermodynamic, structural, and dynamic properties across water's solid, liquid, and vapor phases. In this work, we assessed the performance of MB-pol with respect to an important set of properties related to vapor-liquid coexistence and interfacial behavior. Through direct coexistence classical molecular dynamics simulations at temperatures 400 K < T < 600 K, we calculated properties such as equilibrium coexistence densities, vapor-liquid interfacial tension, vapor pressure, and enthalpy of vaporization, and compared the MB-pol results to experimental data. We also compared rigid vs. fully flexible variants of the MB-pol model and evaluated system size effects for the properties studied. We found that the MB-pol model predictions are in good agreement with experimental data, even for temperatures approaching the vapor-liquid critical point; this agreement was largely insensitive to system size or the rigid vs. flexible treatment of the intramolecular degrees of freedom. These results attest to the chemical accuracy of MB-pol and its high degree of transferability, thus enabling MB-pol's application across a large swath of water's phase diagram.
△ Less
Submitted 28 April, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Phase equilibrium of water with hexagonal and cubic ice using the SCAN functional
Authors:
Pablo M. Piaggi,
Athanassios Z. Panagiotopoulos,
Pablo G. Debenedetti,
Roberto Car
Abstract:
Machine learning models are rapidly becoming widely used to simulate complex physicochemical phenomena with ab initio accuracy. Here, we use one such model as well as direct density functional theory (DFT) calculations to investigate the phase equilibrium of water, hexagonal ice (Ih), and cubic ice (Ic), with an eye towards studying ice nucleation. The machine learning model is based on deep neura…
▽ More
Machine learning models are rapidly becoming widely used to simulate complex physicochemical phenomena with ab initio accuracy. Here, we use one such model as well as direct density functional theory (DFT) calculations to investigate the phase equilibrium of water, hexagonal ice (Ih), and cubic ice (Ic), with an eye towards studying ice nucleation. The machine learning model is based on deep neural networks and has been trained on DFT data obtained using the SCAN exchange and correlation functional. We use this model to drive enhanced sampling simulations aimed at calculating a number of complex properties that are out of reach of DFT-driven simulations and then employ an appropriate reweighting procedure to compute the corresponding properties for the SCAN functional. This approach allows us to calculate the melting temperature of both ice polymorphs, the driving force for nucleation, the heat of fusion, the densities at the melting temperature, the relative stability of ice Ih and Ic, and other properties. We find a correct qualitative prediction of all properties of interest. In some cases, quantitative agreement with experiment is better than for state-of-the-art semiempirical potentials for water. Our results also show that SCAN correctly predicts that ice Ih is more stable than ice Ic.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
The automorphism group of the random poset does not admit a generic pair
Authors:
Aleksandra Kwiatkowska,
Aristotelis Panagiotopoulos
Abstract:
We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss.
EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.
We show that the conjugacy class of every pair of automoprhisms of the random poset is meager. This answers a question of Truss; see also Kuske-Truss.
EDIT. Work in progress, at the moment there is a gap in the proof of Theorem 2.
△ Less
Submitted 29 April, 2023; v1 submitted 8 December, 2020;
originally announced December 2020.
-
In-Situ Monitoring of the Charge Carrier Dynamics of CH$_3$NH$_3$PbI$_3$ Perovskite Crystallization Process
Authors:
Efthymis Serpetzoglou,
Ioannis Konidakis,
Temur Maksudov,
Apostolos Panagiotopoulos,
Emmanuel Kymakis,
Emmanuel Stratakis
Abstract:
Although methylammonium lead iodide (CH$_3$NH$_3$PbI$_3$) perovskite has attracted enormous scientific attention over the last decade or so, important information on the charge extraction dynamics and recombination processes in perovskite devices is still missing. Herein we present a novel approach to evaluate the quality of CH$_3$NH$_3$PbI$_3$ layers, via in-situ monitoring of the perovskite laye…
▽ More
Although methylammonium lead iodide (CH$_3$NH$_3$PbI$_3$) perovskite has attracted enormous scientific attention over the last decade or so, important information on the charge extraction dynamics and recombination processes in perovskite devices is still missing. Herein we present a novel approach to evaluate the quality of CH$_3$NH$_3$PbI$_3$ layers, via in-situ monitoring of the perovskite layer charge carrier dynamics during the thermal annealing crystallization process, by means of time-resolved femtosecond transient absorption spectroscopy (TAS). In particular, CH$_3$NH$_3$PbI$_3$ films were deposited on two types of polymeric hole transport layers (HTL), poly(3,4-ethylenedioxythiophene)-poly-(styrenesulfonate) (PEDOT:PSS) and poly-(triarylamine) (PTAA), that are known to provide different carrier transport characteristics in perovskite solar cells. In order to monitor the evolution of the perovskite charge carrier dynamics during the crystallization process, the so-formed CH$_3$NH$_3$PbI$_3$/HTL architectures were studied in-situ by TAS at three different annealing temperatures, i.e. 90, 100 and 110 oC. It is revealed that the annealing time period required in order to achieve the optimum perovskite film quality in terms of the decay dynamics strongly depends on the annealing temperature, as well as, on the employed HTL. For both HTLs, the required period decreases as higher annealing temperature is used, while, for the more hydrophobic PTAA polymer, longer annealing periods were required in order to obtain the optimum charge carrier dynamics. The correlation of the TAS finding with the structural and morphological features of the perovskite films is analysed and provides useful insights on the charge extraction dynamics and recombination processes in perovskite optoelectronic devices.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
The definable content of homological invariants I: $\mathrm{Ext}$ & $\mathrm{lim}^1$
Authors:
Jeffrey Bergfalk,
Martino Lupini,
Aristotelis Panagiotopoulos
Abstract:
This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting…
▽ More
This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting definable invariants provide far stronger means of classification.
In the present work we focus on the first derived functors of $\mathrm{Hom}(-,-)$ and $\mathrm{lim}(-)$. The resulting definable $\mathrm{Ext}(B,F)$ for pairs of countable abelian groups $B,F$ and definable $\mathrm{lim}^{1}(\boldsymbol{A})$ for towers $\boldsymbol{A}$ of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable $\textrm{Ext}(-,\mathbb{Z})$ is a fully faithful contravariant functor from the category of finite rank torsion-free abelian groups $Λ$ with no free summands; this contrasts with the fact that there are uncountably many non-isomorphic such groups $Λ$ with isomorphic classical invariants $\textrm{Ext}(Λ,\mathbb{Z}) $. To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover and we prove several rigidity results for non-Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of the $p$-adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem $\mathcal{R}(\mathrm{Aut}(Λ)\curvearrowright\mathrm{Ext}(Λ,\mathbb{Z}))$ of classifying all group extensions of $Λ$ by $\mathbb{Z}$ up to base-free isomorphism, when $Λ=\mathbb{Z}[1/p]^{d}$ for prime numbers $p$ and $ d\geq 1$.
△ Less
Submitted 3 November, 2022; v1 submitted 20 August, 2020;
originally announced August 2020.
-
The natural polyphenol fortunellin and its structural analogs are inhibitors of the SARS-CoV-2 main proteinase dimerization, as revealed by molecular simulation studies
Authors:
Athanasios A. Panagiotopoulos,
Danai-Maria Kotzampasi,
George Sourvinos,
Marilena Kampa,
Stergios Pirintsos,
Elias Castanas,
Vangelis Daskalakis
Abstract:
3CL-Pro (or M-Pro) is the SARS-CoV-2 main protease, acting as a homodimer, is responsible for the cleavage of the large polyprotein 1ab transcript in proteins acting on viral growth and replication. 3CL-Pro has been one of the most studied SARS-CoV-2 proteins and the subject of therapeutic interventions, targeting its catalytic domain. A number of drug candidates have been reported, including some…
▽ More
3CL-Pro (or M-Pro) is the SARS-CoV-2 main protease, acting as a homodimer, is responsible for the cleavage of the large polyprotein 1ab transcript in proteins acting on viral growth and replication. 3CL-Pro has been one of the most studied SARS-CoV-2 proteins and the subject of therapeutic interventions, targeting its catalytic domain. A number of drug candidates have been reported, including some natural products. Here, we investigated in silico, through binding and molecular dynamics simulations, the natural product space for the identification of candidates of 3CL-Pro dimerization inhibitors. We report that fortunellin (acacetin 7-O-neohesperidoside), a natural flavonoid O-glycoside, is a potent inhibitor of 3CL-Pro dimerization. A search of the ZINC natural products database identified another 16 related molecules, including apilin and rhoifolin, with interesting pharmacological properties. We propose that fortunellin and its structural analogs might be the basis of novel pharmaceuticals and dietary supplements against SARS-CoV-2 induced COVID-19 disease.
△ Less
Submitted 15 September, 2020; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Dynamical obstructions to classification by (co)homology and other TSI-group invariants
Authors:
Shaun Allison,
Aristotelis Panagiotopoulos
Abstract:
In the spirit of Hjorth's turbulence theory, we introduce "unbalancedness": a new dynamical obstruction to classifying orbit equivalence relations by actions of Polish groups which admit a two side invariant metric (TSI). Since abelian groups are TSI, unbalancedness can be used for identifying which classification problems cannot be solved by classical homology and cohomology theories.
In terms…
▽ More
In the spirit of Hjorth's turbulence theory, we introduce "unbalancedness": a new dynamical obstruction to classifying orbit equivalence relations by actions of Polish groups which admit a two side invariant metric (TSI). Since abelian groups are TSI, unbalancedness can be used for identifying which classification problems cannot be solved by classical homology and cohomology theories.
In terms of applications, we show that Morita equivalence of continuous-trace $C^*$-algebras, as well as isomorphism of Hermitian line bundles, are not classifiable by actions of TSI groups. In the process, we show that the Wreath product of any two non-compact subgroups of $S_{\infty}$ admits an action whose orbit equivalence relation is generically ergodic against any action of a TSI group and we deduce that there is an orbit equivalence relation of a CLI group which is not classifiable by actions of TSI groups.
△ Less
Submitted 7 May, 2021; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Shear induced ordering in systems with competing interactions: A machine learning study
Authors:
Jakub Pękalski,
Wojciech Rządkowski,
Athanassios Z. Panagiotopoulos
Abstract:
When short-range attractions are combined with long-range repulsions in colloidal particle systems, complex microphases can emerge. Here, we study a system of isotropic particles which can form lamellar structures or a disordered fluid phase when temperature is varied. We show that at equilibrium the lamellar structure crystallizes, while out of equilibrium the system forms a variety of structures…
▽ More
When short-range attractions are combined with long-range repulsions in colloidal particle systems, complex microphases can emerge. Here, we study a system of isotropic particles which can form lamellar structures or a disordered fluid phase when temperature is varied. We show that at equilibrium the lamellar structure crystallizes, while out of equilibrium the system forms a variety of structures at different shear rates and temperatures above melting. The shear-induced ordering is analyzed by means of principal component analysis and artificial neural networks, which are applied to data of reduced dimensionality. Our results reveal the possibility of inducing ordering by shear, potentially providing a feasible route to the fabrication of ordered lamellar structures from isotropic particles.
△ Less
Submitted 30 April, 2020; v1 submitted 17 February, 2020;
originally announced February 2020.
-
The generic combinatorial simplex
Authors:
Aristotelis Panagiotopoulos,
Sławomir Solecki
Abstract:
We employ projective Fraïssé theory to define the "generic combinatorial $n$-simplex" as the pro-finite, simplicial complex that is canonically associated with a family of simply defined selection maps between finite triangulations of the simplex. The generic combinatorial $n$-simplex is a combinatorial object that can be used to define the geometric realization of a simplicial complex without any…
▽ More
We employ projective Fraïssé theory to define the "generic combinatorial $n$-simplex" as the pro-finite, simplicial complex that is canonically associated with a family of simply defined selection maps between finite triangulations of the simplex. The generic combinatorial $n$-simplex is a combinatorial object that can be used to define the geometric realization of a simplicial complex without any reference to the Euclidean space. It also reflects dynamical properties of its homeomorphism group down to finite combinatorics.
As part of our study of the generic combinatorial simplex, we define and prove results on domination closure for Fraïssé classes, and we develop further the theories of stellar moves and cellular maps. We prove that the domination closure of selection maps contains the class of face-preserving simplicial maps that are cellular on each face of the $n$-simplex and is contained in the class of simplicial, face-preserving near-homeomorphisms. Under the PL-Poincaré conjecture, this gives a characterization of the domination closure of selections.
△ Less
Submitted 26 May, 2021; v1 submitted 3 January, 2020;
originally announced January 2020.
-
Model for disordered proteins with strongly sequence-dependent liquid phase behavior
Authors:
Antonia Statt,
Helena Casademunt,
Clifford P. Brangwynne,
Athanassios Z. Panagiotopoulos
Abstract:
Phase separation of intrinsically disordered proteins is important for the formation of membraneless organelles, or biomolecular condensates, which play key roles in the regulation of biochemical processes within cells. In this work, we investigated the phase separation of different sequences of a coarse-grained model for intrinsically disordered proteins and discovered a surprisingly rich phase b…
▽ More
Phase separation of intrinsically disordered proteins is important for the formation of membraneless organelles, or biomolecular condensates, which play key roles in the regulation of biochemical processes within cells. In this work, we investigated the phase separation of different sequences of a coarse-grained model for intrinsically disordered proteins and discovered a surprisingly rich phase behavior. We studied both the fraction of total hydrophobic parts and the distribution of hydrophobic parts. Not surprisingly, sequences with larger hydrophobic fractions showed conventional liquid-liquid phase separation. The location of the critical point was systematically influenced by the terminal beads of the sequence, due to changes in interfacial composition and tension. For sequences with lower hydrophobicity, we observed not only conventional liquid-liquid phase separation, but also reentrant phase behavior, in which the liquid phase density decreases at lower temperatures. For some sequences, we observed formation of open phases consisting of aggregates, rather than a normal liquid. These aggregates had overall lower densities than the conventional liquid phases, and exhibited complex geometries with large interconnected string-like or membrane-like clusters. Our findings suggest that minor alterations in the ordering of residues may lead to large changes in the phase behavior of the protein, a fact of significant potential relevance for biology.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
On Polish groups admitting non-essentially countable actions
Authors:
Alexander S. Kechris,
Maciej Malicki,
Aristotelis Panagiotopoulos,
Joseph Zielinski
Abstract:
It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish gr…
▽ More
It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non-essential countability. Finally, we provide the following variant of a theorem of Solecki: every infinite-dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.
△ Less
Submitted 2 November, 2020; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Self-powered, flexible and room temperature operated solution processed hybrid metal halide p-type sensing element for efficient hydrogen detection
Authors:
E. Gagaoudakis,
A. Panagiotopoulos,
T. Maksudov,
M. Moschogiannaki,
D. Katerinopoulou,
G. Kakavelakis,
G. Kiriakidis,
V. Binas,
E. Kymakis,
K. Petridis
Abstract:
Hydrogen (H2) is a well-known reduction gas and for safety reasons is very important to be detected. The most common systems employed along its detection are metal oxide-based elements. However, the latter demand complex and expensive manufacturing techniques, while they also need high temperatures or UV light to operate effectively. In this work, we first report a solution processed hybrid mixed…
▽ More
Hydrogen (H2) is a well-known reduction gas and for safety reasons is very important to be detected. The most common systems employed along its detection are metal oxide-based elements. However, the latter demand complex and expensive manufacturing techniques, while they also need high temperatures or UV light to operate effectively. In this work, we first report a solution processed hybrid mixed halide spin coated perovskite films that have been successfully applied as portable, flexible, self-powered, fast and sensitive hydrogen sensing elements, operating at room temperature. The minimum concentrations of H2 gas that could be detected was down to 10 ppm. This work provides a new pathway on gases interaction with perovskite materials, launches new questions that must be addressed regarding the sensing mechanisms involved due to the utilization of halide perovskite sensing elements while also demonstrates the potential that these materials have on beyond solar cell applications.
△ Less
Submitted 14 September, 2019;
originally announced September 2019.
-
Definable (co)homology, pro-torus rigidity, and (co)homological classification
Authors:
Jeffrey Bergfalk,
Martino Lupini,
Aristotelis Panagiotopoulos
Abstract:
We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact metrizable spaces up to homotopy. In particular, we show that pro-tori are completely classified up to homeomorphism by their definable homology. This is in con…
▽ More
We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact metrizable spaces up to homotopy. In particular, we show that pro-tori are completely classified up to homeomorphism by their definable homology. This is in contrast with the fact that, for example, there exist uncountably many pairwise non-homeomorphic solenoids with the same Steenrod homology groups. We similarly develop a definable cohomology theory which strengthens Čech cohomology and we show that it completely classifies complements of pro-tori up to homeomorphism.
We also apply definable cohomology theory to the study of the space $\left[ X,S^{2}\right] $ of homotopy classes of continuous functions from a solenoid complement $X$ to the $2$-sphere, which was initiated by Borsuk and Eilenberg in 1936. It was proved by Eilenberg and Steenrod in 1940 that the space $\left[ X,S^{2}\right] $ is uncountable. We will strengthen this result, by showing that each orbit of the canonical action $\mathrm{Homeo}% \left( X\right) \curvearrowright \left[ X,S^{2}\right] $ is countable, and hence that such an action has uncountably many orbits. This can be seen as a rigidity result, and will be deduced from a rigidity result for definable automorphisms of the Čech cohomology of $X$. We will also show that these results still hold if one replaces solenoids with pro-tori.
We conclude by applying the machinery developed herein to bound the Borel complexity of several well-studied classification problems in mathematics, such as that of automorphisms of continuous-trace $C^{*}$-algebras up to unitary equivalence, or that of Hermitian line bundles, up to isomorphism, over a locally compact second countable space.
△ Less
Submitted 22 April, 2024; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Examples of weak amalgamation classes
Authors:
Adam Krawczyk,
Alex Kruckman,
Wiesław Kubiś,
Aristotelis Panagiotopoulos
Abstract:
We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum-sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit.
We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum-sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit.
△ Less
Submitted 13 July, 2021; v1 submitted 22 July, 2019;
originally announced July 2019.
-
Quantized bounding volume hierarchies for neighbor search in molecular simulations on graphics processing units
Authors:
Michael P. Howard,
Antonia Statt,
Felix Madutsa,
Thomas M. Truskett,
Athanassios Z. Panagiotopoulos
Abstract:
We present an algorithm for neighbor search in molecular simulations on graphics processing units (GPUs) based on bounding volume hierarchies (BVHs). The BVH is compressed into a low-precision, quantized representation to increase the BVH traversal speed compared to a previous implementation. We find that neighbor search using the quantized BVH is roughly two to four times faster than current stat…
▽ More
We present an algorithm for neighbor search in molecular simulations on graphics processing units (GPUs) based on bounding volume hierarchies (BVHs). The BVH is compressed into a low-precision, quantized representation to increase the BVH traversal speed compared to a previous implementation. We find that neighbor search using the quantized BVH is roughly two to four times faster than current state-of-the-art methods using uniform grids (cell lists) for a suite of benchmarks for common molecular simulation models. Based on the benchmark results, we recommend using the BVH instead of a single cell list for neighbor list generation in molecular simulations on GPUs.
△ Less
Submitted 25 March, 2019; v1 submitted 23 January, 2019;
originally announced January 2019.
-
Nucleation in aqueous NaCl solutions shifts from 1-step to 2-step mechanism on crossing the spinodal
Authors:
Hao Jiang,
Pablo G. Debenedetti,
Athanassios Z. Panagiotopoulos
Abstract:
In this work, we use large-scale molecular dynamics simulations coupled to free energy calculations to identify for the first time a limit of stability (spinodal) and a change in the nucleation mechanism in aqueous NaCl solutions. This is a system of considerable atmospheric, geological and technical significance. We find that the supersaturated metastable NaCl solution reaches its limit of stabil…
▽ More
In this work, we use large-scale molecular dynamics simulations coupled to free energy calculations to identify for the first time a limit of stability (spinodal) and a change in the nucleation mechanism in aqueous NaCl solutions. This is a system of considerable atmospheric, geological and technical significance. We find that the supersaturated metastable NaCl solution reaches its limit of stability at sufficiently high salt concentrations, as indicated by the composition dependence of the salt chemical potential, indicating the transition to a phase separation by spinodal decomposition. However, the metastability limit of the NaCl solution does not correspond to spinodal decomposition with respect to crystallization. We find that beyond this spinodal, a liquid/amorphous separation occurs in the aqueous solution, whereby the ions first form disordered clusters. We term these clusters as "amorphous salt". We also identify a transition from one- to two-step crystallization mechanism driven by a spinodal. In particular, crystallization from aqueous NaCl solution beyond the spinodal is a two-step process, in which the ions first phase-separate into disordered amorphous salt clusters, followed by the crystallization of ions in the amorphous salt phase. In contrast, in the aqueous NaCl solution at concentrations lower than the spinodal, crystallization occurs via a one-step process, as the ions aggregate directly into crystalline nuclei. The change of mechanism with increasing supersaturation underscores the importance of an accurate determination of the driving force for phase separation. The study has broader implications on the mechanism for nucleation of crystals from solutions at high supersaturations.
△ Less
Submitted 24 December, 2018; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Unexpected secondary flows in reverse nonequilibrium shear flow simulations
Authors:
Antonia Statt,
Michael P. Howard,
Athanassios Z. Panagiotopoulos
Abstract:
We simulated two particle-based fluid models, namely multiparticle collision dynamics and dissipative particle dynamics, under shear using reverse nonequilibrium simulations (RNES). In cubic periodic simulation boxes, the expected shear flow profile for a Newtonian fluid developed, consistent with the fluid viscosities. However, unexpected secondary flows along the shear gradient formed when the s…
▽ More
We simulated two particle-based fluid models, namely multiparticle collision dynamics and dissipative particle dynamics, under shear using reverse nonequilibrium simulations (RNES). In cubic periodic simulation boxes, the expected shear flow profile for a Newtonian fluid developed, consistent with the fluid viscosities. However, unexpected secondary flows along the shear gradient formed when the simulation box was elongated in the flow direction. The standard shear flow profile was obtained when the simulation box was longer in the shear-gradient dimension than the flow dimension, while the secondary flows were always present when the flow dimension was at least 25% larger than the shear-gradient dimension. The secondary flows satisfy the boundary conditions imposed by the RNES and have a lower rate of viscous dissipation in the fluid than the corresponding unidirectional flows. This work highlights a previously unappreciated limitation of RNES for generating shear flow in simulation boxes that are elongated in the flow dimension, an important consideration when applying RNES to complex fluids like polymer solutions.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
Higher dimensional obstructions for star reductions
Authors:
Alex Kruckman,
Aristotelis Panagiotopoulos
Abstract:
A $*$-reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $*$-reduction between orbit equivalence relations induces generically an embedding between the associated Becker graphs. We introduce a notion of dimension for Polish $G$-spaces which is generically preserved under $*$-reductio…
▽ More
A $*$-reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $*$-reduction between orbit equivalence relations induces generically an embedding between the associated Becker graphs. We introduce a notion of dimension for Polish $G$-spaces which is generically preserved under $*$-reductions. For every natural number $n$ we define a free action of $S_{\infty}$ whose dimension is $n$ on every invariant Baire measurable non-meager set. We also show that the $S_{\infty}$-space which induces the equivalence relation $=^{+}$ of countable sets of reals is $\infty$-dimensional on every invariant Baire measurable non-meager set. We conclude that the orbit equivalence relations associated to all these actions are pairwise incomparable with respect to $*$-reductions.
△ Less
Submitted 3 November, 2021; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Influence of hydrodynamic interactions on stratification in drying mixtures
Authors:
Antonia Statt,
Michael P. Howard,
Athanassios Z. Panagiotopoulos
Abstract:
Nonequilibrium molecular dynamics simulations are used to investigate the influence of hydrodynamic interactions on vertical segregation (stratification) in drying mixtures of long and short polymer chains. In agreement with previous computer simulations and theoretical modeling, the short polymers stratify on top of the long polymers at the top of the drying film when hydrodynamic interactions be…
▽ More
Nonequilibrium molecular dynamics simulations are used to investigate the influence of hydrodynamic interactions on vertical segregation (stratification) in drying mixtures of long and short polymer chains. In agreement with previous computer simulations and theoretical modeling, the short polymers stratify on top of the long polymers at the top of the drying film when hydrodynamic interactions between polymers are neglected. However, no stratification occurs at the same drying conditions when hydrodynamic interactions are incorporated through an explicit solvent model. Our analysis demonstrates that models lacking hydrodynamic interactions do not faithfully represent stratification in drying mixtures, in agreement with recent analysis of an idealized model for diffusiophoresis, and must be incorporated into such models in future.
△ Less
Submitted 30 March, 2018;
originally announced April 2018.
-
A combinatorial model for the Menger curve
Authors:
Aristotelis Panagiotopoulos,
Slawomir Solecki
Abstract:
We represent the universal Menger curve as the topological realization $|\mathbb{M}|$ of the projective Fraïssé limit ${\mathbb M}$ of the class of all finite connected graphs. We show that $\mathbb{M}$ satisfies combinatorial analogues of the Mayer-Oversteegen-Tymchatyn homogeneity theorem and the Anderson-Wilson projective universality theorem. Our arguments involve only $0$-dimensional topology…
▽ More
We represent the universal Menger curve as the topological realization $|\mathbb{M}|$ of the projective Fraïssé limit ${\mathbb M}$ of the class of all finite connected graphs. We show that $\mathbb{M}$ satisfies combinatorial analogues of the Mayer-Oversteegen-Tymchatyn homogeneity theorem and the Anderson-Wilson projective universality theorem. Our arguments involve only $0$-dimensional topology and constructions on finite graphs. Using the topological realization $\mathbb{M}\mapsto|\mathbb{M}|$, we transfer some of these properties to the Menger curve: we prove the approximate projective homogeneity theorem, recover Anderson's finite homogeneity theorem, and prove a variant of Anderson-Wilson's theorem. The finite homogeneity theorem is the first instance of an "injective" homogeneity theorem being proved using the projective Fraïssé method. We indicate how our approach to the Menger curve may extend to higher dimensions.
△ Less
Submitted 4 January, 2020; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Efficient mesoscale hydrodynamics: multiparticle collision dynamics with massively parallel GPU acceleration
Authors:
Michael P. Howard,
Athanassios Z. Panagiotopoulos,
Arash Nikoubashman
Abstract:
We present an efficient open-source implementation of the multiparticle collision dynamics (MPCD) algorithm that scales to run on hundreds of graphics processing units (GPUs). We especially focus on optimizations for modern GPU architectures and communication patterns between multiple GPUs. We show that a mixed-precision computing model can improve performance compared to a fully double-precision…
▽ More
We present an efficient open-source implementation of the multiparticle collision dynamics (MPCD) algorithm that scales to run on hundreds of graphics processing units (GPUs). We especially focus on optimizations for modern GPU architectures and communication patterns between multiple GPUs. We show that a mixed-precision computing model can improve performance compared to a fully double-precision model while still providing good numerical accuracy. We report weak and strong scaling benchmarks of a reference MPCD solvent and a benchmark of a polymer solution with research-relevant interactions and system size. Our MPCD software enables simulations of mesoscale hydrodynamics at length and time scales that would be otherwise challenging or impossible to access.
△ Less
Submitted 6 March, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Notes on the Hybrid Monte Carlo Method
Authors:
Jeremy C. Palmer,
Amir Haji-Akbari,
Rakesh S. Singh,
Fausto Martelli,
Roberto Car,
Athanassios Z. Panagiotopoulos,
Pablo G. Debenedetti
Abstract:
We discuss the detailed balance condition for hybrid Monte Carlo method
We discuss the detailed balance condition for hybrid Monte Carlo method
△ Less
Submitted 21 December, 2017;
originally announced December 2017.
-
Forward Flux Sampling Calculation of Homogeneous Nucleation Rates from Aqueous NaCl Solutions
Authors:
Hao Jiang,
Amir Haji-Akbari,
Pablo G. Debenedetti,
Athanassios Z. Panagiotopoulos
Abstract:
We used molecular dynamics simulations and the path sampling technique known as forward flux sampling to study homogeneous nucleation of NaCl crystals from supersaturated aqueous solutions at 298 K and 1 bar. Nucleation rates were obtained for a range of salt concentrations for the Joung-Cheatham NaCl force field combined with the SPC/E water model. The calculated nucleation rates are significantl…
▽ More
We used molecular dynamics simulations and the path sampling technique known as forward flux sampling to study homogeneous nucleation of NaCl crystals from supersaturated aqueous solutions at 298 K and 1 bar. Nucleation rates were obtained for a range of salt concentrations for the Joung-Cheatham NaCl force field combined with the SPC/E water model. The calculated nucleation rates are significantly lower than available experimental measurements. The estimates for the nucleation rates in this work do not rely on classical nucleation theory, but the pathways observed in the simulations suggest that the nucleation process is better described by classical nucleation theory than an alternative interpretation based on Ostwald's step rule, in contrast to some prior simulations of related models. In addition to the size of NaCl nucleus, we find that the crystallinity of a nascent cluster plays an important role in the nucleation process. Nuclei with high crystallinity were found to have higher growth probability and longer lifetimes, possibly because they are less exposed to hydration water.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
From Compact to Open Clusters in Systems with Competing Interactions
Authors:
Jakub Pȩkalski,
Andrew P. Santos,
Athanassios Z. Panagiotopoulos
Abstract:
Colloidal particles, amphiphiles, and functionalized nanoparticles are examples of systems that frequently exhibit short-range attractions coupled with long-range repulsions. In this work, we observe striking differences in the dynamics of self-assembled clusters that form in a simple isotropic model of such systems when the strength of attraction is varied. We find that while attraction-dominated…
▽ More
Colloidal particles, amphiphiles, and functionalized nanoparticles are examples of systems that frequently exhibit short-range attractions coupled with long-range repulsions. In this work, we observe striking differences in the dynamics of self-assembled clusters that form in a simple isotropic model of such systems when the strength of attraction is varied. We find that while attraction-dominated particles self-assemble into compact clusters with properties similar to micelles formed by amphiphilic molecules, repulsion-dominated particles self-assemble into open clusters which have much shorter life-times. There is also a significantly different dependence of the solution osmotic pressure versus composition: formation of compact clusters causes a decrease in the pressure vs. density slope, while formation of open clusters does not effect the pressure. This thermodynamic quantity turns out to be much more sensitive in picking out different clustering characteristics than the overall aggregation curves or cluster shapes. Our results have significant implications in develo** design principles for stable cluster self-assembly and detection in both laboratory settings and in computer simulations.
△ Less
Submitted 31 May, 2017; v1 submitted 3 March, 2017;
originally announced March 2017.
-
Games orbits play and obstructions to Borel reducibility
Authors:
Martino Lupini,
Aristotelis Panagiotopoulos
Abstract:
We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion providing an obstruction to classification by orbits of CLI groups. We apply this criterion to the relation of equality of countable sets of reals, and the rela…
▽ More
We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion providing an obstruction to classification by orbits of CLI groups. We apply this criterion to the relation of equality of countable sets of reals, and the relations of unitary conjugacy of unitary and selfadjoint operators on the separable infinite-dimensional Hilbert space.
△ Less
Submitted 14 April, 2018; v1 submitted 25 December, 2016;
originally announced December 2016.
-
Compact spaces as quotients of projective Fraisse limits
Authors:
Aristotelis Panagiotopoulos
Abstract:
We develop a theory of projective Fraisse limits in the spirit of Irwin- Solecki. The structures here will additionally support dual semantics as in [Sl10, Sl12]. Let Y be a compact metrizable space and let G be a closed subgroup of Homeo(Y). We show that there is always a projective Frasse limit K and a closed definable equivalence relation r on K, so that the quotient of K under r is homeomorphi…
▽ More
We develop a theory of projective Fraisse limits in the spirit of Irwin- Solecki. The structures here will additionally support dual semantics as in [Sl10, Sl12]. Let Y be a compact metrizable space and let G be a closed subgroup of Homeo(Y). We show that there is always a projective Frasse limit K and a closed definable equivalence relation r on K, so that the quotient of K under r is homeomorphic to Y and the projection of K on Y induces a continuous group embedding of Aut(K) into G with dense image.
△ Less
Submitted 24 April, 2017; v1 submitted 17 January, 2016;
originally announced January 2016.
-
Response to Comment [arXiv:1407.6854] on Palmer et al., Nature, 510, 385, 2014
Authors:
Jeremy C. Palmer,
Pablo G. Debenedetti,
Roberto Car,
Athanassios Z. Panagiotopoulos
Abstract:
We respond to a Comment [arXiv:1407.6854 (2014)] on our recent Nature paper [Nature, 510, 385 (2014)]. We categorically disprove the arguments provided in arXiv:1407.6854 (2014) and thereby further substantiate the evidence we presented in our recent study, demonstrating the existence of a metastable liquid-liquid transition in a molecular model of water. We will make our code publicly available s…
▽ More
We respond to a Comment [arXiv:1407.6854 (2014)] on our recent Nature paper [Nature, 510, 385 (2014)]. We categorically disprove the arguments provided in arXiv:1407.6854 (2014) and thereby further substantiate the evidence we presented in our recent study, demonstrating the existence of a metastable liquid-liquid transition in a molecular model of water. We will make our code publicly available shortly along with proper user documentation that is currently under development.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Extentability of Automorphisms of Generic Substructures
Authors:
Aristotelis Panagiotopoulos
Abstract:
We show that if g is a generic (in the sense of Baire category) isometry of a generic subspace of the Urysohn metric space U, then g does not extend to a full isometry of U. The same holds for the Urysohn sphere S. Let M be a Fraisse L-structure, where L is a relational countable language and M has no algebraicity. We provide necessary and sufficient conditions for the following to hold: for a gen…
▽ More
We show that if g is a generic (in the sense of Baire category) isometry of a generic subspace of the Urysohn metric space U, then g does not extend to a full isometry of U. The same holds for the Urysohn sphere S. Let M be a Fraisse L-structure, where L is a relational countable language and M has no algebraicity. We provide necessary and sufficient conditions for the following to hold: for a generic substructure A of M, every automorphism f in Aut(A) extends to a full automorphism f in Aut(M). From our analysis, a dichotomy arises and some structural results are derived that, in particular, apply to omega-stable Fraisse structures without algebraicity.
△ Less
Submitted 25 October, 2014; v1 submitted 4 April, 2014;
originally announced April 2014.
-
Phase behavior of the Lattice Restricted Primitive Model with nearest-neighbor exclusion
Authors:
Alexandre Diehl,
Athanassios Z. Panagiotopoulos
Abstract:
The global phase behavior of the lattice restricted primitive model with nearest neighbor exclusion has been studied by grand canonical Monte Carlo simulations. The phase diagram is dominated by a fluid (or charge-disordered solid) to charge-ordered solid transition that terminates at the maximum density, $ρ^*_{max}=\sqrt2$ and reduced temperature $T^*\approx0.29$. At that point, there is a firs…
▽ More
The global phase behavior of the lattice restricted primitive model with nearest neighbor exclusion has been studied by grand canonical Monte Carlo simulations. The phase diagram is dominated by a fluid (or charge-disordered solid) to charge-ordered solid transition that terminates at the maximum density, $ρ^*_{max}=\sqrt2$ and reduced temperature $T^*\approx0.29$. At that point, there is a first-order phase transition between two phases of the same density, one charge-ordered and the other charge-disordered. The liquid-vapor transition for the model is metastable, lying entirely within the fluid-solid phase envelope.
△ Less
Submitted 3 March, 2006;
originally announced March 2006.