title: On Choice of Hyper-parameter in Extreme Value Theory based on Machine Learning Techniques

abstract: Extreme value theory (EVT) is a statistical tool for analysis of extreme events. It has a strong theoretical background, however, we need to choose hyper-parameters to apply EVT. In recent studies of machine learning, techniques of choosing hyper-parameters have been well-studied. In this paper, we propose a new method of choosing hyper-parameters in EVT based on machine learning techniques. We also experiment our method to real-world data and show good usability of our method.


title: A Rational Entailment for Expressive Description Logics via Description Logic Programs

abstract: Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (DLs). We show here how to model a rational form of entailment for expressive DLs, such as SROIQ, providing a novel reasoning procedure that compiles a non-monotone DL knowledge base into a description logic program (dl-program).


title: The bihamiltonian structures of the DR/DZ hierarchies at the approximation up to genus one

abstract: In a recent paper, giving an arbitrary homogeneous cohomological field theory (CohFT), Rossi, Shadrin, and the first author proposed a simple formula for a bracket on the space local functionals that conjecturally gives a second Hamiltonian structure for the double ramification hierarchy associated to the CohFT. In this paper we prove this conjecture at the approximation up to genus 1 and relate this bracket to the second Poisson bracket of the Dubrovin-Zhang hierarchy by an explicit Miura transformation.


title: On the Nature of Freezing/Melting Water in Ionic Polysulfones

abstract: We investigate the behavior of hydrated sulfonated polysulfones over a range of ion contents through differential scanning calorimetry (DSC), Fourier transform infrared spectroscopy (FTIR), and molecular dynamics (MD) simulations. Experimental evidence shows that at comparable ion contents, the spacing between the ionic groups along the polymer backbone can significantly impact the amount of melting water present in the polymer. When we only consider water molecules that can hydrogen bond to four neighboring water molecules as the melting water, the MD simulation results are found to agree with the experimental data. The states of water measured by DSC can therefore be described as "aggregated" (or bulk-like) for the melting component, and "isolated" for the nonmelting part. Using this physical picture, a polymer with more aggregated ions has a higher content of melting water, while a polymer at the same ion content but with more dispersed ions has a lower content of melting water. Therefore, ions should be well dispersed to minimize the amount of bulk-like water in ionic polymer membranes.


title: DPEx-II: A New Dusty Plasma Device Capable of Producing Large Sized DC Coulomb Crystals

abstract: The creation of a spatially extended stable DC complex plasma crystal is a big experimental challenge and a topical area of research in the field of dusty plasmas. In this paper we describe a newly built and commissioned dusty plasma experimental device, DPEx-II, at the Institute for Plasma Research. The device can support the formation of large sized Coulomb crystals in a DC glow discharge plasma. The plasma in this L-shaped table-top glass chamber is produced between a circular anode and a long tray shaped cathode. It is characterized with the help of various electrostatic probes over a range of discharge conditions. The dust particles are introduced by a dust dispenser to form a strongly coupled Coulomb crystal in the cathode sheath region. The unique asymmetric electrode configuration minimizes the heating of dust particles and facilitates the formation of crystalline structures with a maximum achievable dimension of 40~cm X 15~cm using this device. A larger crystal has numerous advantages over smaller ones, such as higher structural homogeneity, fewer defects, lower statistical errors due to finite size effects etc.. A host of diagnostics tools are provided to characterize the Coulomb crystal. Results of a few initial experiments aimed at demonstrating the technical capabilities of the device and its potential for future dusty plasma research, are reported.


title: Entropy of the composition of two spherical twists

abstract: Given a categorical dynamical system, i.e. a triangulated category together with an endofunctor, one can try to understand the complexity of the system by computing the entropy of the endofunctor. Computing the entropy of the composition of two endofunctors is hard, and in general the result doesn't have to be related to the entropy of the single pieces. In this paper we compute the entropy of the composition of two spherical twists around spherical objects, showing that it depends on the dimension of the graded vector space of morphisms between them. As a consequence of these computations we produce new counterexamples to Kikuta-Takahashi's conjecture. In particular, we describe the first counterexamples in odd dimension and examples for the $d$-Calabi-Yau Ginzburg dg algebra associated to the $A_2$ quiver.


title: Practical and Configurable Network Traffic Classification Using Probabilistic Machine Learning

abstract: Network traffic classification that is widely applicable and highly accurate is valuable for many network security and management tasks. A flexible and easily configurable classification framework is ideal, as it can be customized for use in a wide variety of networks. In this paper, we propose a highly configurable and flexible machine learning traffic classification method that relies only on statistics of sequences of packets to distinguish known, or approved, traffic from unknown traffic. Our method is based on likelihood estimation, provides a measure of certainty for classification decisions, and can classify traffic at adjustable certainty levels. Our classification method can also be applied in different classification scenarios, each prioritizing a different classification goal. We demonstrate how our classification scheme and all its configurations perform well on real-world traffic from a high performance computing network environment.


title: Flexoelectric fluid membranes in electric field. Shape equations and exact solutions

abstract: The shape equation for an axisymmetric fluid membrane is derived, assuming action of an uniform external electric field. The flexoelectric contribution to the free energy of the membrane, stemming from the latter is accounted within the theory by Steigmann and Agrawal. Additionally, we have introduced, in the aforementioned functional, another term associated with a curvature induced membrane polarization, as the latter was first hypothesized by A. Petrov. Some exact Naito-type solutions of the studied equation are given, with the free parameters linked to the model ones.


title: Evaluation and Utility of Wilsonian Naturalness

abstract: We demonstrate that many Naturalness tests of particle theories discussed in the literature can be reformulated as straightforward algorithmic finetuning assessments in the matching of Wilsonian effective theories above and below particle mass thresholds. Implications of this EFT formulation of Wilsonian Naturalness are discussed for several theories, including the Standard Model, heavy singlet scalar theory, supersymmetry, Grand Unified Theories, twin Higgs theories, and theories of extra dimensions. We argue that the Wilsonian Naturalness algorithm presented here constitutes an unambiguous, a priori, and meaningful test that the Standard Model passes and which "the next good theory" of particle physics is very likely to pass.


title: A New Approach for Semantic Web Matching

abstract: In this work we propose a new approach for semantic web matching to improve the performance of Web Service replacement. Because in automatic systems we should ensure the self-healing, self-configuration, self-optimization and self-management, all services should be always available and if one of them crashes, it should be replaced with the most similar one. Candidate services are advertised in Universal Description, Discovery and Integration (UDDI) all in Web Ontology Language (OWL). By the help of bipartite graph, we did the matching between the crashed service and a Candidate one. Then we chose the best service, which had the maximum rate of matching. In fact we compare two services` functionalities and capabilities to see how much they match. We found that the best way for matching two web services, is comparing the functionalities of them.


title: Decentralized LTL Enforcement

abstract: We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority. A so-called enforcer is attached to each system component and observes its local trace. Should the global trace violate the specification, the enforcers coordinate to correct their local traces. We formalize the decentralized runtime enforcement problem and define the expected properties of enforcers, namely soundness, transparency and optimality. We present two enforcement algorithms. In the first one, the enforcers explore all possible local modifications to find the best global correction. Although this guarantees an optimal correction, it forces the system to synchronize and is more costly, computation and communication wise. In the second one, each enforcer makes a local correction before communicating. The reduced cost of this version comes at the price of the optimality of the enforcer corrections.


title: Circular motion around a regular rotating Hayward black hole

abstract: In this article, we explore the geodesics motion of neutral test particles and the process of energy extraction from a regular rotating Hayward black hole. We analyse the effect of spin, as well as deviation parameter $g$, on ergoregion, event horizon and static limit of the said black hole. By making use of geodesic equations on the equatorial plane, we determine the innermost stable circular and photon orbits. Moreover, we investigate the effective potentials and effective force to have information on motion and the stability of circular orbits. On studying the negative energy states, we figure out the energy limits of Penrose mechanism. Using Penrose mechanism, we found expression for the efficiency of energy extraction and observed that both spin and deviation parameters, contribute to the efficiency of energy extraction. Finally, the obtained results are compared with that acquired from Kerr and braneworld Kerr black holes.


title: Adaptive Large Neighborhood Search for Vehicle Routing Problems with Transshipment Facilities Arising in City Logistics

abstract: In this paper, we investigate vehicle routing problems with third-party transshipment facilities that arise in the context of city logistics. Contrary to classical vehicle routing problems, where each customer request is delivered directly to its destination, the problems considered in this paper feature the alternative possibility of delivering customer requests to third-party transshipment facilities, such as urban consolidation centers, for a fee. We present an adaptive large neighborhood search with an embedded random variable neighborhood descent as a local search component and a set-partitioning problem for the recombination of routes to solve various versions of the problem. Thereby, we consider location-dependent time windows as well as heterogeneous fleets and propose several new procedures that consider transshipment facilities within the components of our adaptive large neighborhood search. The proposed method is tested on benchmark instances from the literature as well as newly created benchmark instances. It shows promising results, leading to multiple improvements over existing algorithms from the literature. Moreover, a real-world study is presented to gain managerial insights on the impact of transshipment fees, order size, and heterogeneous fleets on the transshipment decisions.


title: Controlling Solvent Quality by Time: Self-Avoiding Sprints in Nonequilibrium Polymerization

abstract: A fundamental paradigm in polymer physics is that macromolecular conformations in equilibrium can be described by universal scaling laws, being key for structure, dynamics, and function of soft (biological) matter and in the materials sciences. Here, we reveal that during diffusion-influenced, nonequilibrium chain-growth polymerization, scaling laws change qualitatively, in particular, the growing polymers exhibit a surprising self-avoiding walk (SAW) behavior in poor and theta-solvents. Our analysis, based on monomer-resolved reaction-diffusion computer simulations, demonstrates that this phenomenon is a result of i) nonequilibrium monomer density depletion correlations around the active polymerization site, leading to a locally directed and self-avoiding growth, in conjunction with ii) chain (Rouse) relaxation times larger than the competing polymerization reaction time. These intrinsic nonequilibrium mechanisms are facilitated by fast and persistent reaction-driven diffusion (sprints) of the active site, with analogies to pseudo-chemotactic active Brownian particles. Our findings have implications for time-controlled structure formation in polymer processing, as in, e.g., reactive self-assembly, photo-crosslinking, and 3D printing.


title: The Wiener--Hopf Technique, its Generalisations and Applications: Constructive and Approximate Methods

abstract: This paper reviews the modern state of the Wiener--Hopf factorization method and its generalizations. The main constructive results for matrix Wiener--Hopf are presented, approximation methods are outlined and the main areas of applications are mentioned. The aim of the paper is to sketched some perspective of the development of this method, importance of bringing together pure and applied analysis to most effectively use of the Wiener--Hopf technique.


title: MinP Score Tests with an Inequality Constrained Parameter Space

abstract: Score tests have the advantage of requiring estimation alone of the model restricted by the null hypothesis, which often is much simpler than models defined under the alternative hypothesis. This is typically so when the alternative hypothesis involves inequality constraints. However, existing score tests address only jointly testing all parameters of interest; a leading example is testing all ARCH parameters or variances of random coefficients being zero or not. In such testing problems rejection of the null hypothesis does not provide evidence on rejection of specific elements of parameter of interest. This paper proposes a class of one-sided score tests for testing a model parameter that is subject to inequality constraints. Proposed tests are constructed based on the minimum of a set of $p$-values. The minimand includes the $p$-values for testing individual elements of parameter of interest using individual scores. It may be extended to include a $p$-value of existing score tests. We show that our tests perform better than/or perform as good as existing score tests in terms of joint testing, and has furthermore the added benefit of allowing for simultaneously testing individual elements of parameter of interest. The added benefit is appealing in the sense that it can identify a model without estimating it. We illustrate our tests in linear regression models, ARCH and random coefficient models. A detailed simulation study is provided to examine the finite sample performance of the proposed tests and we find that our tests perform well as expected.


title: PakeMail: authentication and key management in decentralized secure email and messaging via PAKE

abstract: We propose the use of PAKE for achieving and enhancing entity authentication (EA) and key management (KM) in the context of decentralized end-to-end encrypted email and secure messaging, i.e., where neither a public key infrastructure nor trusted third parties are used. This approach not only simplifies the EA process by requiring users to share only a low-entropy secret, e.g., a memorable word, but it also allows us to establish a high-entropy secret key; this key enables a series of cryptographic enhancements and security properties, which are hard to achieve using out-of-band (OOB) authentication. We first study a few vulnerabilities in voice-based OOB authentication, in particular a combinatorial attack against lazy users, which we analyze in the context of a secure email solution. We then propose tackling public key authentication by solving the problem of "secure equality test" using PAKE, and discuss various protocols and their properties. This method enables the automation of important KM tasks (e.g. key renewal and future key pair authentications), reduces the impact of human errors, and lends itself to the asynchronous nature of email and modern messaging. It also provides cryptographic enhancements including multi-device synchronization and secure secret storage/retrieval, and paves the path for forward secrecy, deniability and post-quantum security. We also discuss the use of auditable PAKEs for mitigating a class of online guess and abort attacks in authentication protocols. To demonstrate the feasibility of our proposal, we present PakeMail, an implementation of the core idea, and discuss some of its cryptographic details, implemented features and efficiency aspects. We conclude with some design and security considerations, followed by future lines of work.


title: Optimal projection to improve parametric importance sampling in high dimension

abstract: In this paper we propose a dimension-reduction strategy in order to improve the performance of importance sampling in high dimension. The idea is to estimate variance terms in a small number of suitably chosen directions. We first prove that the optimal directions, i.e., the ones that minimize the Kullback--Leibler divergence with the optimal auxiliary density, are the eigenvectors associated to extreme (small or large) eigenvalues of the optimal covariance matrix. We then perform extensive numerical experiments that show that as dimension increases, these directions give estimations which are very close to optimal. Moreover, we show that the estimation remains accurate even when a simple empirical estimator of the covariance matrix is used to estimate these directions. These theoretical and numerical results open the way for different generalizations, in particular the incorporation of such ideas in adaptive importance sampling schemes.


title: Search for exotic decays of the Higgs boson into long-lived particles in $pp$ collisions at $\sqrt{s} = 13$ TeV using displaced vertices in the ATLAS inner detector

abstract: A novel search for exotic decays of the Higgs boson into pairs of long-lived neutral particles, each decaying into a bottom quark pair, is performed using 139 fb$^{-1}$ of $\sqrt{s} = 13$ TeV proton-proton collision data collected with the ATLAS detector at the LHC. Events consistent with the production of a Higgs boson in association with a leptonically decaying $Z$ boson are analysed. Long-lived particle (LLP) decays are reconstructed from inner-detector tracks as displaced vertices with high mass and track multiplicity relative to Standard Model processes. The analysis selection requires the presence of at least two displaced vertices, effectively suppressing Standard Model backgrounds. The residual background contribution is estimated using a data-driven technique. No excess over Standard Model predictions is observed, and upper limits are set on the branching ratio of the Higgs boson to LLPs. Branching ratios above 10% are excluded at 95% confidence level for LLP mean proper lifetimes $c\tau$ as small as 4 mm and as large as 100 mm. For LLP masses below 40 GeV, these results represent the most stringent constraint in this lifetime regime.


title: A generalized hypothesis test for community structure in networks

abstract: Researchers theorize that many real-world networks exhibit community structure where within-community edges are more likely than between-community edges. While numerous methods exist to cluster nodes into different communities, less work has addressed this question: given some network, does it exhibit statistically meaningful community structure? We answer this question in a principled manner by framing it as a statistical hypothesis test in terms of a general and model-agnostic community structure parameter. Leveraging this parameter, we propose a simple and interpretable test statistic used to formulate two separate hypothesis testing frameworks. The first is an asymptotic test against a baseline value of the parameter while the second tests against a baseline model using bootstrap-based thresholds. We prove theoretical properties of these tests and demonstrate how the proposed method yields rich insights into real-world data sets.


title: Long time behaviors for the inhomogeneous NLS with a potential in $\mathbb{R}^3$

abstract: In this article, we aim to study the scattering of the solution to the focusing inhomogeneous nonlinear Schr\"odinger equation with a potential of form \begin{align*} i\partial_t u+\Delta u- Vu=-|x|^{-b}|u|^{p-1}u \end{align*} in the energy space $H^1(\R^3)$. We prove a scattering criterion, and then we use it together with Morawetz estimate to show the scattering theory, which generalizes the results of Dinh \cite{DD} to the non-radial symmetric case.


title: Dynamic Modeling and Control of a Two-Reactor Metal Hydride Energy Storage System

abstract: Metal hydrides have been studied for use in energy storage, hydrogen storage, and air-conditioning (A/C) systems. A common architecture for A/C and energy storage systems is two metal hydride reactors connected to each other so that hydrogen can flow between them, allowing for cyclic use of the hydrogen. This paper presents a nonlinear dynamic model and multivariate control strategy of such a system. Each reactor is modelled as a shell-and-tube heat exchanger connected to a circulating fluid, and a compressor drives hydrogen flow between the reactors. We further develop a linear state-space version of this model integrated with a model predictive controller to determine the fluid mass flow rates and compressor pressure difference required to achieve desired heat transfer rates between the metal hydride and the fluid. A series of case studies demonstrates that this controller can track desired heat transfer rates in each reactor, even in the presence of time-varying circulating fluid inlet temperatures, thereby enabling the use of a two-reactor system for energy storage or integration with a heat pump.


title: Blending search queries with social media data to improve forecasts of economic indicators

abstract: The forecasting of political, economic, and public health indicators using internet activity has demonstrated mixed results. For example, while some measures of explicitly surveyed public opinion correlate well with social media proxies, the opportunity for profitable investment strategies to be driven solely by sentiment extracted from social media appears to have expired. Nevertheless, the internet's space of potentially predictive input signals is combinatorially vast and will continue to invite careful exploration. Here, we combine unemployment related search data from Google Trends with economic language on Twitter to attempt to nowcast and forecast: 1. State and national unemployment claims for the US, and 2. Consumer confidence in G7 countries. Building off of a recently developed search-query-based model, we show that incorporating Twitter data improves forecasting of unemployment claims, while the original method remains marginally better at nowcasting. Enriching the input signal with temporal statistical features (e.g., moving average and rate of change) further reduces errors, and improves the predictive utility of the proposed method when applied to other economic indices, such as consumer confidence.


title: Transformer-Based Behavioral Representation Learning Enables Transfer Learning for Mobile Sensing in Small Datasets

abstract: While deep learning has revolutionized research and applications in NLP and computer vision, this has not yet been the case for behavioral modeling and behavioral health applications. This is because the domain's datasets are smaller, have heterogeneous datatypes, and typically exhibit a large degree of missingness. Therefore, off-the-shelf deep learning models require significant, often prohibitive, adaptation. Accordingly, many research applications still rely on manually coded features with boosted tree models, sometimes with task-specific features handcrafted by experts. Here, we address these challenges by providing a neural architecture framework for mobile sensing data that can learn generalizable feature representations from time series and demonstrates the feasibility of transfer learning on small data domains through finetuning. This architecture combines benefits from CNN and Trans-former architectures to (1) enable better prediction performance by learning directly from raw minute-level sensor data without the need for handcrafted features by up to 0.33 ROC AUC, and (2) use pretraining to outperform simpler neural models and boosted decision trees with data from as few a dozen participants.


title: Using Causal Analysis for Conceptual Deep Learning Explanation

abstract: Model explainability is essential for the creation of trustworthy Machine Learning models in healthcare. An ideal explanation resembles the decision-making process of a domain expert and is expressed using concepts or terminology that is meaningful to the clinicians. To provide such an explanation, we first associate the hidden units of the classifier to clinically relevant concepts. We take advantage of radiology reports accompanying the chest X-ray images to define concepts. We discover sparse associations between concepts and hidden units using a linear sparse logistic regression. To ensure that the identified units truly influence the classifier's outcome, we adopt tools from Causal Inference literature and, more specifically, mediation analysis through counterfactual interventions. Finally, we construct a low-depth decision tree to translate all the discovered concepts into a straightforward decision rule, expressed to the radiologist. We evaluated our approach on a large chest x-ray dataset, where our model produces a global explanation consistent with clinical knowledge.


title: Drug-Target Interaction Prediction with Graph Attention networks

abstract: Motivation: Predicting Drug-Target Interaction (DTI) is a well-studied topic in bioinformatics due to its relevance in the fields of proteomics and pharmaceutical research. Although many machine learning methods have been successfully applied in this task, few of them aim at leveraging the inherent heterogeneous graph structure in the DTI network to address the challenge. For better learning and interpreting the DTI topological structure and the similarity, it is desirable to have methods specifically for predicting interactions from the graph structure. Results: We present an end-to-end framework, DTI-GAT (Drug-Target Interaction prediction with Graph Attention networks) for DTI predictions. DTI-GAT incorporates a deep neural network architecture that operates on graph-structured data with the attention mechanism, which leverages both the interaction patterns and the features of drug and protein sequences. DTI-GAT facilitates the interpretation of the DTI topological structure by assigning different attention weights to each node with the self-attention mechanism. Experimental evaluations show that DTI-GAT outperforms various state-of-the-art systems on the binary DTI prediction problem. Moreover, the independent study results further demonstrate that our model can be generalized better than other conventional methods. Availability: The source code and all datasets are available at https://github.com/Haiyang-W/DTI-GRAPH


title: Secure Charging and Payment System for Electric Land Vehicles with Authentication Protocol

abstract: It is obvious that fossil fuels are a limited resource and will be replaced by other energy sources in the future considering economic and en-vironmental problems. Electricity comes to the forefront among the sources that are candidates to replace fossil fuels. In the near future, electric land, air and sea vehicles will start to take more place in daily life. For this reason, systems for the charging systems of these devices and post-charge payments have been developed. There is no general standard on this issue yet. In this study, a charge and payment system, which is safe against known cyber-attacks for use in electric land ve-hicles, and which prioritizes privacy, is proposed. A system has been proposed to verify each other wired or wirelessly with an authentication protocol, where the data communication is encrypted, and the payment transactions are performed securely and invoiced to the vehicle owners.


title: Electromagnetic and gravitational interactions from Lagrangian mechanics

abstract: Background fields of electromagnetic and gravitational type emerge in the low kinetic energy limit of any regular Lagrangian system and, in particular, in the corresponding limit of any spacetime theory in which the free motion of test particles is described by an unspecified regular Lagrangian. Electromagnetic and gravitational type interactions are therefore a universal feature of low kinetic energy Lagrangian systems. These background interactions can be consistently turned into dynamic Einstein-Maxwell fields by promoting the Lagrangian function to a dynamic scalar field on the tangent bundle of the configuration space. Accordingly, Einstein-Maxwell theory can be deduced from the assumption that the motion of elementary test particles in spacetime is described by Lagrangian mechanics. For higher kinetic energy-type values, identified with the square of the invariant mass of the particle, the Lagrangian induces higher rank interactions that seem however too weak to have been detected in spacetime physics, but which might prove relevant at the Planck scale.


title: Signatures of the orthogonality catastrophe in a coherently driven impurity

abstract: We consider a fixed impurity immersed in a Fermi gas at finite temperature. We take the impurity to have two internal spin states, where the $\uparrow$ state is assumed to interact with the medium such that it exhibits the orthogonality catastrophe, while the $\downarrow$ state is a bare noninteracting particle. Introducing a Rabi coupling between the impurity states therefore allows us to investigate the coupling between a discrete spectral peak and the Fermi-edge singularity, i.e., between states with and without a quasiparticle residue. Combining an exact treatment of the uncoupled impurity Green's functions with a variational approach to treat the Rabi driven dynamics, we find that the system features Rabi oscillations whose frequency scales as a non-trivial power of the Rabi drive at low temperatures. This reflects the power law of the Fermi-edge singularity and, importantly, this behavior is qualitatively different from the case of a mobile impurity quasiparticle where the scaling is linear. We therefore argue that the scaling law serves as an experimentally implementable probe of the orthogonality catastrophe. We additionally simulate rf spectroscopy beyond linear response, finding a remarkable agreement with an experiment using heavy impurities [Kohstall $\textit{et al.}$, Nature $\textbf{485}$, 615 (2012)], thus demonstrating the power of our approach.


title: On the First, the Second and the Third Stems of the Stable Homotopy Groups of Spheres

abstract: We describe the first stem of the stable homotopy groups of spheres by using some Puppe sequences, Thom complexes, K-Theory and Adams operations following the ideas of J. Frank Adams. We also touch upon the second and the third stems in this perspective. Neither spectral squences nor Steenrod operations are used.


title: Functional Magnetic Resonance Imaging data augmentation through conditional ICA

abstract: Advances in computational cognitive neuroimaging research are related to the availability of large amounts of labeled brain imaging data, but such data are scarce and expensive to generate. While powerful data generation mechanisms, such as Generative Adversarial Networks (GANs), have been designed in the last decade for computer vision, such improvements have not yet carried over to brain imaging. A likely reason is that GANs training is ill-suited to the noisy, high-dimensional and small-sample data available in functional neuroimaging. In this paper, we introduce Conditional Independent Components Analysis (Conditional ICA): a fast functional Magnetic Resonance Imaging (fMRI) data augmentation technique, that leverages abundant resting-state data to create images by sampling from an ICA decomposition. We then propose a mechanism to condition the generator on classes observed with few samples. We first show that the generative mechanism is successful at synthesizing data indistinguishable from observations, and that it yields gains in classification accuracy in brain decoding problems. In particular it outperforms GANs while being much easier to optimize and interpret. Lastly, Conditional ICA enhances classification accuracy in eight datasets without further parameters tuning.


title: Cherry Maps with Different Critical Exponents: Bifurcation of Geometry

abstract: We consider order preserving $C^3$ circle maps with a flat piece, irrational rotation number and critical exponents $(\ell_1, \ell_2)$. We detect a change in the geometry of the system. For $(\ell_1, \ell_2) \in [1,2]^2$ the geometry is degenerate and it becomes bounded for $(\ell_1, \ell_2) \in [2,\infty)^2 \setminus \{(2,2)\}$. When the rotation number is of the form $[abab\cdots]$; for some $a,b\in\mathbb{N}^*$, the geometry is bounded for $(\ell_1, \ell_2)$ belonging above a curve defined on $]1, +\infty [^2$. As a consequence we estimate the Hausdorff dimension of the non-wandering set $K_f= \mathcal{S}^1 \setminus \bigcup_{i=0}^\infty f^{-i}(U)$. Precisely, the Hausdorff dimension of this set is equal to zero when the geometry is degenerate and it is strictly positive when the geometry is bounded.


title: Conservative Offline Distributional Reinforcement Learning

abstract: Many reinforcement learning (RL) problems in practice are offline, learning purely from observational data. A key challenge is how to ensure the learned policy is safe, which requires quantifying the risk associated with different actions. In the online setting, distributional RL algorithms do so by learning the distribution over returns (i.e., cumulative rewards) instead of the expected return; beyond quantifying risk, they have also been shown to learn better representations for planning. We propose Conservative Offline Distributional Actor Critic (CODAC), an offline RL algorithm suitable for both risk-neutral and risk-averse domains. CODAC adapts distributional RL to the offline setting by penalizing the predicted quantiles of the return for out-of-distribution actions. We prove that CODAC learns a conservative return distribution -- in particular, for finite MDPs, CODAC converges to an uniform lower bound on the quantiles of the return distribution; our proof relies on a novel analysis of the distributional Bellman operator. In our experiments, on two challenging robot navigation tasks, CODAC successfully learns risk-averse policies using offline data collected purely from risk-neutral agents. Furthermore, CODAC is state-of-the-art on the D4RL MuJoCo benchmark in terms of both expected and risk-sensitive performance.


title: Universal linear optics by programmable multimode interference

abstract: We introduce a constructive algorithm for universal linear electromagnetic transformations between the $N$ input and $N$ output modes of a dielectric slab. The approach uses out-of-plane phase modulation programmed down to $N^2$ degrees of freedom. The total area of these modulators equals that of the entire slab: our scheme satisfies the minimum area constraint for programmable linear optical transformations. We also present error correction schemes that enable high-fidelity unitary transformations at large $N$. This ``programmable multimode interferometer'' (ProMMI) thus translates the algorithmic simplicity of Mach-Zehnder meshes into a holographically programmed slab, yielding DoF-limited compactness and error tolerance while eliminating the dominant sidewall-related optical losses and directional-coupler-related patterning challenges.


title: Transitioning from file-based HPC workflows to streaming data pipelines with openPMD and ADIOS2

abstract: This paper aims to create a transition path from file-based IO to streaming-based workflows for scientific applications in an HPC environment. By using the openPMP-api, traditional workflows limited by filesystem bottlenecks can be overcome and flexibly extended for in situ analysis. The openPMD-api is a library for the description of scientific data according to the Open Standard for Particle-Mesh Data (openPMD). Its approach towards recent challenges posed by hardware heterogeneity lies in the decoupling of data description in domain sciences, such as plasma physics simulations, from concrete implementations in hardware and IO. The streaming backend is provided by the ADIOS2 framework, developed at Oak Ridge National Laboratory. This paper surveys two openPMD-based loosely-coupled setups to demonstrate flexible applicability and to evaluate performance. In loose coupling, as opposed to tight coupling, two (or more) applications are executed separately, e.g. in individual MPI contexts, yet cooperate by exchanging data. This way, a streaming-based workflow allows for standalone codes instead of tightly-coupled plugins, using a unified streaming-aware API and leveraging high-speed communication infrastructure available in modern compute clusters for massive data exchange. We determine new challenges in resource allocation and in the need of strategies for a flexible data distribution, demonstrating their influence on efficiency and scaling on the Summit compute system. The presented setups show the potential for a more flexible use of compute resources brought by streaming IO as well as the ability to increase throughput by avoiding filesystem bottlenecks.


title: Collective Effects -- an introduction

abstract: Collective effects in particle accelerators are one of the key constituents for determining the ultimate particle accelerator performance. Their role is becoming increasingly important as particle accelerators are being pushed ever closer towards the intensity and beam brightness frontiers. They are slightly peculiar in their nature as their impact and significance depend not only on external fields but also on the beam properties themselves. This results in a highly coupled and convoluted system. In these lectures we will give a brief overview over collective effects in particle accelerators in general. We will cover the topics in a highly conceptual and illustrative manner. The goal will be for the students to get an intuitive impression on the nature and the aftermath of collective effects. The lectures will cover different types of collective effects along with their manifestation in accelerators and briefly outline the limitations they impose along with a few means for potential mitigation techniques.


title: Tight Secure Key Rates for CV-QKD with 8PSK Modulation

abstract: We use a recent numerical security proof approach to calculate tight secure key rates in the presence of collective attacks for a continuous-variable (CV) eight-state phase-shift keying (8PSK) protocol with heterodyne detection in the asymptotic limit. The results are compared to achievable secure key rates of a QPSK protocol obtained with the same security proof technique. Furthermore, we investigate the influence of radial postselection on the secure key rate and examine a recently suggested strategy to reduce the computational requirements on the error-correction phase for four-state phase-shift-keying protocols. Based on our investigations, we suggest different strategies to reduce the raw key of 8PSK protocols significantly, only on the cost of a slightly lower secure key rate. This can be used to lower the computational effort of the error-correction phase, a known bottleneck in many practical implementations, considerably.


title: Towards exact structural thresholds for parameterized complexity

abstract: Parameterized complexity seeks to use input structure to obtain faster algorithms for NP-hard problems. This has been most successful for graphs of low treewidth: Many problems admit fast algorithms relative to treewidth and many of them are optimal under SETH. Fewer such results are known for more general structure such as low clique-width and more restrictive structure such as low deletion distance to a sparse graph class. Despite these successes, such results remain "islands'' within the realm of possible structure. Rather than adding more islands, we seek to determine the transitions between them, that is, we aim for structural thresholds where the complexity increases as input structure becomes more general. Going from deletion distance to treewidth, is a single deletion set to a graph with simple components enough to yield the same lower bound as for treewidth or does it take many disjoint separators? Going from treewidth to clique-width, how much more density entails the same complexity as clique-width? Conversely, what is the most restrictive structure that yields the same lower bound? For treewidth, we obtain both refined and new lower bounds that apply already to graphs with a single separator $X$ such that $G-X$ has treewidth $r=O(1)$, while $G$ has treewidth $|X|+O(1)$. We rule out algorithms running in time $O^*((r+1-\epsilon)^{k})$ for Deletion to $r$-Colorable parameterized by $k=|X|$. For clique-width, we rule out time $O^*((2^r-\epsilon)^k)$ for Deletion to $r$-Colorable, where $X$ is now allowed to consist of $k$ twinclasses. There are further results on Vertex Cover, Dominating Set and Maximum Cut. All lower bounds are matched by existing and newly designed algorithms.


title: Stochastic model of T Cell repolarization during target elimination (II)

abstract: Cytotoxic T lymphocytes (T cells) and natural killer cells form a tight contact, the immunological synapse (IS), with target cells, where they release their lytic granules containing perforin/granzyme and cytokine containing vesicles. During this process the cell repolarizes and moves the microtubule organizing center (MTOC) towards the IS. In the first part of our work we developed a a computational model for the molecular-motor-driven motion of the MT cytoskeleton during T cell polarization and analyzed effects of cortical sliding and capture-shrinkage mechanisms. Here we use this model to analyze the dynamics of the MTOC repositioning in situations in which a) the IS is in an arbitrary position with respect to the initial position of the MTOC and b) the T cell has two IS at two arbitrary positions. In the case of one IS, we found that the initial position determines which mechanism is dominant and that the time of repositioning does not rise monotonously with the MTOC-IS distance. In the case of two IS, we observe several scenarios that have also been reported experimentally: the MTOC alternates stochastically (but with a well defined average transition time) between the two IS; it wiggles in between the two IS without transiting to one of the two; or it is at some point pulled to one of the two IS and stays there. Our model allows to predict which scenario emerges in dependency of the mechanisms in action and the number of dyneins present. We report that the presence of capture-shrinkage mechanism at least in one IS is necessary to assure the transitions in every cell configuration. Moreover, the frequency of transitions does not decrease with the distance between the two IS and is the highest when both mechanisms are present in both IS.


title: Theoretical framework for the atomistic modeling of frequency-dependent liquid-solid friction

abstract: Nanofluidics shows great promise for energy conversion and desalination applications. The performance of nanofluidic devices is controlled by liquid-solid friction, quantified by the Navier friction coefficient (FC). Despite decades of research, there is no well-established generic framework to determine the frequency dependent Navier FC from atomistic simulations. Here, we have derived analytical expressions to connect the Navier FC to the random force autocorrelation on the confining wall, from the observation that the random force autocorrelation can be related to the hydrodynamic boundary condition, where the Navier FC appears. The analytical framework is generic in the sense that it explicitly includes the system size dependence and also the frequency dependence of the FC, which enabled us to address (i) the long-standing plateau issue in the evaluation of the FC and (ii) the non-Markovian behavior of liquid-solid friction of a Lennard-Jones liquid and of water on various walls and at various temperatures, including the supercooled regime. This new framework opens the way to explore the frequency dependent FC for a wide range of complex liquids.


title: Phase diagram and spin waves in the frustrated ferro-antiferromagnet SrZnVO(PO4)2

abstract: Single crystals of the frustrated S=1/2 ferro-antiferromagnetic proximate square lattice material SrZnZnVO(PO$_4$)$_2$ are studied in magnetometric, calorimetric, neutron diffraction and inelastic neutron scattering experiments. The measured spin wave spectrum reveals a substantial degree of magnetic frustration and a large quantum renormalization of the exchange constants. The H-T magnetic phase diagram is established. It features a novel pre-saturation phase, which appears for only one particular field orientation. The results are discussed noting the similarities and differences with the previously studied and similarly structured Pb$_2$VO(PO$_4$)$_2$ compound.


title: A Deep Reinforcement Learning Approach for Traffic Signal Control Optimization

abstract: Inefficient traffic signal control methods may cause numerous problems, such as traffic congestion and waste of energy. Reinforcement learning (RL) is a trending data-driven approach for adaptive traffic signal control in complex urban traffic networks. Although the development of deep neural networks (DNN) further enhances its learning capability, there are still some challenges in applying deep RLs to transportation networks with multiple signalized intersections, including non-stationarity environment, exploration-exploitation dilemma, multi-agent training schemes, continuous action spaces, etc. In order to address these issues, this paper first proposes a multi-agent deep deterministic policy gradient (MADDPG) method by extending the actor-critic policy gradient algorithms. MADDPG has a centralized learning and decentralized execution paradigm in which critics use additional information to streamline the training process, while actors act on their own local observations. The model is evaluated via simulation on the Simulation of Urban MObility (SUMO) platform. Model comparison results show the efficiency of the proposed algorithm in controlling traffic lights.


title: A Novel Dual Quaternion Based Dynamic Motion Primitives for Acrobatic Flight

abstract: The realization of motion description is a challenging work for fixed-wing Unmanned Aerial Vehicle (UAV) acrobatic flight, due to the inherent coupling problem in ranslational-rotational motion. This paper aims to develop a novel maneuver description method through the idea of imitation learning, and there are two main contributions of our work: 1) A dual quaternion based dynamic motion primitives (DQ-DMP) is proposed and the state equations of the position and attitude can be combined without loss of accuracy. 2) An online hardware-inthe-loop (HITL) training system is established. Based on the DQDMP method, the geometric features of the demonstrated maneuver can be obtained in real-time, and the stability of the DQ-DMP is theoretically proved. The simulation results illustrate the superiority of the proposed method compared to the traditional position/attitude decoupling method.


title: Ricci solitons of three-dimensional Lorentzian Bianchi-Cartan-Vranceanu spaces

abstract: Explicit formulae for homogenous Ricci solitons on three-dimensional Lorentzian Bianchi-Cartan-Vranceanu spaces are obtained.


title: Feasibility study of measuring $b\to s\gamma$ photon polarisation in $D^0\rightarrow K_1(1270)^- e^+\nu_e$ at STCF

abstract: We report a sensitive study of measuring $b\to s\gamma$ photon polarisation in $D^{0}\to K_1(1270)^-e^+\nu_e$ with an integrated luminosity of $\mathcal L$ = 1 ab$^{-1}$ at a center-of-mass energy of 3.773 GeV at future Super Tau Charm Facility. More than 61,000 signals of $D^{0}\to K_1(1270)^-e^+\nu_e$ are expected. Based on a fast simulation software package, the statistical sensitivity for the ratio of up-down asymmetry is estimated to be $1.5\times 10^{-2}$ by performing a two-dimensional angular analysis in $D^{0}\to K_1(1270)^-e^+\nu_e$. Combining with measurements of up-down asymmetry in $B\to K_1\gamma$, the photon polarisation in $b\to s\gamma$ can be determined model-independently.


title: On SDVS Sender Privacy In The Multi-Party Setting

abstract: Strong designated verifier signature schemes rely on sender-privacy to hide the identity of the creator of a signature to all but the intended recipient. This property can be invaluable in, for example, the context of deniability, where the identity of a party should not be deducible from the communication sent during a protocol execution. In this work, we explore the technical definition of sender-privacy and extend it from a 2-party setting to an n-party setting. Afterwards, we show in which cases this extension provides a stronger security and in which cases it does not.


title: OSSOS finds an Exponential Cutoff in the Size Distribution of the Cold Classical Kuiper belt

abstract: The cold main classical Kuiper Belt consists of those non-resonant small solar system bodies with low orbital inclinations and orbital semi-major axes between 42.4 and 47.7 au. These objects likely formed \textit{in situ} and the population has experienced minimal collisional modification since formation. Using the Outer Solar System Origins Survey (OSSOS) ensemble sample and characterization, combined with constraints from deeper surveys and supported by evidence from the Minor Planet Center catalog and the Deep Ecliptic Survey, we determine the absolute magnitude $H_r$ distribution of the cold classical belt from $H_r\simeq5$ to 12 (roughly diameters of 400 km to 20 km). We conclude that the cold population's $H_r$ distribution exhibits an exponential cutoff at large sizes. Exponential cutoffs at large sizes are not a natural outcome of pair-wise particle accretion but exponentially tapered power-law size distributions are a feature of numerical simulations of planetesimal formation via a streaming instability. Our observation of an exponential cutoff agrees with previous observational inferences that no large objects ($D \gtrsim 400$ km) exist in the cold population. We note that the asymptotic slope of the $H_r$ distribution is consistent with $\alpha \sim 0.4$ and this asymptotic slope is also found in streaming instability modelling of planetesimal formation and is thus not necessarily associated with achieving collisional equilibrium. Studies of the transneptunian region are providing the parameters that will enable future streaming-instability studies to determine the initial conditions of planetesimal formation in the $\approx$45 au region of the Sun's protoplanetary disk.


title: The Dynamic Complexity of Acyclic Hypergraph Homomorphisms

abstract: Finding a homomorphism from some hypergraph $\mathcal{Q}$ (or some relational structure) to another hypergraph $\mathcal{D}$ is a fundamental problem in computer science. We show that an answer to this problem can be maintained under single-edge changes of $\mathcal{Q}$, as long as it stays acyclic, in the DynFO framework of Patnaik and Immerman that uses updates expressed in first-order logic. If additionally also changes of $\mathcal{D}$ are allowed, we show that it is unlikely that existence of homomorphisms can be maintained in DynFO.


title: Mapping the zonal winds of Jupiter's stratospheric equatorial oscillation

abstract: Since the 1950s, quasi-periodic oscillations have been studied in the terrestrial equatorial stratosphere. Other planets of the solar system present (or are expected to present) such oscillations, like the Jupiter Equatorial Oscillation(JEO) and the Saturn Semi-Annual Oscillation (SSAO). In Jupiter's stratosphere, the equatorial oscillation of its relative temperature structure about the equator, is characterized by a quasi-period of 4.4 years. The stratospheric wind field in Jupiter's equatorial zone has never been directly observed. In this paper, we aim at mapping the absolute wind speeds in Jupiter's equatorial stratosphere to quantify vertical and horizontal wind and temperature shear. Assuming geostrophic equilibrium, we apply the thermal wind balance using nearly simultaneous stratospheric temperature measurements between 0.1 and 30 mbar performed with Gemini/TEXES and direct zonal wind measurements derived at 1 mbar from ALMA observations, all carried out between March 14th and 22nd, 2017. We are thus able to calculate self-consistently the zonal wind field in Jupiter's stratosphere where the JEO occurs. We obtain stratospheric map of the zonal wind speeds as a function of latitude and pressure about Jupiter's equator for the first time. The winds are vertically layered with successive eastward and westward jets. We find a 200 m/s westward jet at 4 mbar at the equator, with a typical longitudinal variability on the order of ~50 m/s. By extending our wind calculations to the upper troposphere, we find a wind structure qualitatively close to the wind observed using cloud-tracking techniques. Nearly simultaneous temperature and wind measurements, both in the stratosphere, are a powerful tool for future investigations of the JEO (and other planetary equatorial oscillations) and its temporal evolution.


title: The sparse parity matrix

abstract: Let $\mathbf{A}$ be an $n\times n$-matrix over $\mathbb{F}_2$ whose every entry equals $1$ with probability $d/n$ independently for a fixed $d>0$. Draw a vector $\mathbf{y}$ randomly from the column space of $\mathbf{A}$. It is a simple observation that the entries of a random solution $\mathbf{x}$ to $\mathbf{A} x=\mathbf{y}$ are asymptotically pairwise independent, i.e., $\sum_{i<j}\mathbb{E}|\mathbb{P}[\mathbf{x}_i=s,\,\mathbf{x}_j=t\mid\mathbf{A}]-\mathbb{P}[\mathbf{x}_i=s\mid\mathbf{A}]\mathbb{P}[\mathbf{x}_j=t\mid\mathbf{A}]|=o(n^2)$ for $s,t\in\mathbb{F}_2$. But what can we say about the {\em overlap} of two random solutions $\mathbf{x},\mathbf{x}'$, defined as $n^{-1}\sum_{i=1}^n\mathbf{1}\{\mathbf{x}_i=\mathbf{x}_i'\}$? We prove that for $d<\mathrm{e}$ the overlap concentrates on a single deterministic value $\alpha_*(d)$. By contrast, for $d>\mathrm{e}$ the overlap concentrates on a single value once we condition on the matrix $\mathbf{A}$, while over the probability space of $\mathbf{A}$ its conditional expectation vacillates between two different values $\alpha_*(d)<\alpha^*(d)$, either of which occurs with probability $1/2+o(1)$. This bifurcated non-concentration result provides an instructive contribution to both the theory of random constraint satisfaction problems and of inference problems on random structures.


title: On doubly robust inference for double machine learning

abstract: Due to concerns about parametric model misspecification, there is interest in using machine learning to adjust for confounding when evaluating the causal effect of an exposure on an outcome. Unfortunately, exposure effect estimators that rely on machine learning predictions are generally subject to so-called plug-in bias, which can render naive p-values and confidence intervals invalid. Progress has been made via proposals like targeted minimum loss estimation (TMLE) and more recently double machine learning, which rely on learning the conditional mean of both the outcome and exposure. Valid inference can then be obtained so long as both predictions converge (sufficiently fast) to the truth. Focusing on partially linear regression models, we show that a specific implementation of the machine learning techniques can yield exposure effect estimators that have small bias even when one of the first-stage predictions does not converge to the truth. The resulting tests and confidence intervals are doubly robust. We also show that the proposed estimators may fail to be regular when only one nuisance parameter is consistently estimated; nevertheless, we observe in simulation studies that our proposal can lead to reduced bias and improved confidence interval coverage in moderate samples.


title: MSR-Net: Multi-Scale Relighting Network for One-to-One Relighting

abstract: Deep image relighting allows photo enhancement by illumination-specific retouching without human effort and so it is getting much interest lately. Most of the existing popular methods available for relighting are run-time intensive and memory inefficient. Keeping these issues in mind, we propose the use of Stacked Deep Multi-Scale Hierarchical Network, which aggregates features from each image at different scales. Our solution is differentiable and robust for translating image illumination setting from input image to target image. Additionally, we have also shown that using a multi-step training approach to this problem with two different loss functions can significantly boost performance and can achieve a high quality reconstruction of a relighted image.


title: DiCOVA-Net: Diagnosing COVID-19 using Acoustics based on Deep Residual Network for the DiCOVA Challenge 2021

abstract: In this paper, we propose a deep residual network-based method, namely the DiCOVA-Net, to identify COVID-19 infected patients based on the acoustic recording of their coughs. Since there are far more healthy people than infected patients, this classification problem faces the challenge of imbalanced data. To improve the model's ability to recognize minority class (the infected patients), we introduce data augmentation and cost-sensitive methods into our model. Besides, considering the particularity of this task, we deploy some fine-tuning techniques to adjust the pre-training ResNet50. Furthermore, to improve the model's generalizability, we use ensemble learning to integrate prediction results from multiple base classifiers generated using different random seeds. To evaluate the proposed DiCOVA-Net's performance, we conducted experiments with the DiCOVA challenge dataset. The results show that our method has achieved 85.43\% in AUC, among the top of all competing teams.


title: On the impact of Performance Antipatterns in multi-objective software model refactoring optimization

abstract: Software quality estimation is a challenging and time-consuming activity, and models are crucial to face the complexity of such activity on modern software applications. One main challenge is that the improvement of distinctive quality attributes may require contrasting refactoring actions on an application, as for trade-off between performance and reliability. In such cases, multi-objective optimization can provide the designer with a wider view on these trade-offs and, consequently, can lead to identify suitable actions that take into account independent or even competing objectives. In this paper, we present an approach that exploits the NSGA-II multi-objective evolutionary algorithm to search optimal Pareto solution frontiers for software refactoring while considering as objectives: i) performance variation, ii) reliability, iii) amount of performance antipatterns, and iv) architectural distance. The algorithm combines randomly generated refactoring actions into solutions (i.e., sequences of actions) and compares them according to the objectives. We have applied our approach on a train ticket booking service case study, and we have focused the analysis on the impact of performance antipatterns on the quality of solutions. Indeed, we observe that the approach finds better solutions when antipatterns enter the multi-objective optimization. In particular, performance antipatterns objective leads to solutions improving the performance by up to 15% with respect to the case where antipatterns are not considered, without affecting the solution quality on other objectives.


title: A pathway towards high throughput Quantum Monte Carlo simulations for alloys: A case study of two-dimensional (2D) $GaS_xSe_{1-x}$

abstract: The study of alloys using computational methods has been a difficult task due to the usually unknown stoichiometry and local atomic ordering of the different structures experimentally. In order to combat this, first-principles methods have been coupled with statistical methods such as the Cluster Expansion formalism in order to construct the energy hull diagram, which helps to determine if an alloyed structure can exist in nature. Traditionally, density functional theory (DFT) has been used in such workflows. In this work we propose to use chemically accurate many-body variational Monte Carlo (VMC) and diffusion Monte Carlo (DMC) methods to construct the energy hull diagram of an alloy system, due to the fact that such methods have a weaker dependence on the starting wavefunction and density functional, scale similarly to DFT with the number of electrons, and have had demonstrated success for a variety of materials. To carry out these simulations in a high-throughput manner, we propose a method called Jastrow sharing, which involves recycling the optimized Jastrow parameters between alloys with different stoichiometries. We show that this eliminates the need for extra VMC Jastrow optimization calculations and results in a significant computational cost savings (on average 1/4 savings of total computational time). Since it is a novel post-transition metal chalcogenide alloy series that has been synthesized in its few-layer form, we used monolayer $GaS_xSe_{1-x}$ as a case study for our workflow. By extensively testing our Jastrow sharing procedure for monolayer $GaS_xSe_{1-x}$ and quantifying the cost savings, we demonstrate how a pathway towards chemically accurate high-throughput simulations of alloys can be achieved using many-body VMC and DMC methods.


title: Bidirectional Regression for Arbitrary-Shaped Text Detection

abstract: Arbitrary-shaped text detection has recently attracted increasing interests and witnessed rapid development with the popularity of deep learning algorithms. Nevertheless, existing approaches often obtain inaccurate detection results, mainly due to the relatively weak ability to utilize context information and the inappropriate choice of offset references. This paper presents a novel text instance expression which integrates both foreground and background information into the pipeline, and naturally uses the pixels near text boundaries as the offset starts. Besides, a corresponding post-processing algorithm is also designed to sequentially combine the four prediction results and reconstruct the text instance accurately. We evaluate our method on several challenging scene text benchmarks, including both curved and multi-oriented text datasets. Experimental results demonstrate that the proposed approach obtains superior or competitive performance compared to other state-of-the-art methods, e.g., 83.4% F-score for Total-Text, 82.4% F-score for MSRA-TD500, etc.


title: Scalable Surface Reconstruction with Delaunay-Graph Neural Networks

abstract: We introduce a novel learning-based, visibility-aware, surface reconstruction method for large-scale, defect-laden point clouds. Our approach can cope with the scale and variety of point cloud defects encountered in real-life Multi-View Stereo (MVS) acquisitions. Our method relies on a 3D Delaunay tetrahedralization whose cells are classified as inside or outside the surface by a graph neural network and an energy model solvable with a graph cut. Our model, making use of both local geometric attributes and line-of-sight visibility information, is able to learn a visibility model from a small amount of synthetic training data and generalizes to real-life acquisitions. Combining the efficiency of deep learning methods and the scalability of energy based models, our approach outperforms both learning and non learning-based reconstruction algorithms on two publicly available reconstruction benchmarks. Our code and data is available at https://github.com/raphaelsulzer/dgnn.


title: Identification of Dynamical Systems using Symbolic Regression

abstract: We describe a method for the identification of models for dynamical systems from observational data. The method is based on the concept of symbolic regression and uses genetic programming to evolve a system of ordinary differential equations (ODE). The novelty is that we add a step of gradient-based optimization of the ODE parameters. For this we calculate the sensitivities of the solution to the initial value problem (IVP) using automatic differentiation. The proposed approach is tested on a set of 19 problem instances taken from the literature which includes datasets from simulated systems as well as datasets captured from mechanical systems. We find that gradient-based optimization of parameters improves predictive accuracy of the models. The best results are obtained when we first fit the individual equations to the numeric differences and then subsequently fine-tune the identified parameter values by fitting the IVP solution to the observed variable values.


title: Deep learning approaches to Earth Observation change detection

abstract: The interest for change detection in the field of remote sensing has increased in the last few years. Searching for changes in satellite images has many useful applications, ranging from land cover and land use analysis to anomaly detection. In particular, urban change detection provides an efficient tool to study urban spread and growth through several years of observation. At the same time, change detection is often a computationally challenging and time-consuming task, which requires innovative methods to guarantee optimal results with unquestionable value and within reasonable time. In this paper we present two different approaches to change detection (semantic segmentation and classification) that both exploit convolutional neural networks to achieve good results, which can be further refined and used in a post-processing workflow for a large variety of applications.


title: Discrete index transforms with Bessel and modified Bessel functions

abstract: Discrete analogs of the index transforms, involving Bessel and the modified Bessel functions are introduced and investigated. The corresponding inversion theorems for suitable classes of functions and sequences are established.


title: Atomic structure calculations of helium with correlated exponential functions

abstract: The technique of quantum electrodynamics (QED) calculations of energy levels in the helium atom is reviewed. The calculations start with the solution of the Schr\"odinger equation and account for relativistic and QED effects by perturbation expansion in the fine-structure constant $\alpha$. The nonrelativistic wave function is represented as a linear combination of basis functions depending on all three interparticle radial distances, $r_1$, $r_2$ and $r = |\vec{r}_1-\vec{r}_2|$. The choice of the exponential basis functions of the form $\exp(-\alpha r_1 -\beta r_2 -\gamma r)$ allows us to construct an accurate and compact representation of the nonrelativistic wave function and to efficiently compute matrix elements of numerous singular operators representing relativistic and QED effects. Calculations of the leading QED effects of order $\alpha^5m$ (where $m$ is the electron mass) are complemented with the systematic treatment of higher-order $\alpha^6m$ and $\alpha^7m$ QED effects.


title: Virtual Coulomb branch and vertex functions

abstract: We introduce a variant of the $K$-theoretic quantized Coulomb branch constructed by Braverman--Finkelberg--Nakajima, by application of a new virtual intersection theory. In the abelian case, we define Verma modules for such virtual Coulomb branches, and relate them to the moduli spaces of quasimaps into the corresponding Higgs branches. The descendent vertex functions, defined by $K$-theoretic quasimap invariants of the Higgs branch, can be realized as the associated Whittaker functions. The quantum $q$-difference modules and Bethe algebras (analogue of quantum $K$-theory rings) can then be described in terms of the virtual Coulomb branch. As an application, we prove the wall-crossing result for quantum $q$-difference modules under the variation of GIT. Nonabelian cases are also treated via abelianization.


title: Synchronization in the presence of time delays and inertia: Stability criteria

abstract: Linear stability of synchronized states in networks of delay-coupled oscillators depends on the type of interaction, the network and oscillator properties. For inert oscillator response, found ubiquitously from biology to engineering, states with time-dependent frequencies can arise. These generate side bands in the frequency spectrum or lead to chaotic dynamics. Stability analysis is difficult due to delay-induced multistability and has only been available via numerical approaches. We derive criteria and conditions that enable fast and robust analytical linear stability analysis based on the system parameters. These apply to arbitrary network topologies, identical oscillators and delays.


title: Economic development and the structure of cross-technology interactions

abstract: Most explanations of economic growth are based on knowledge spillovers, where the development of some technologies facilitates the enhancement of others. Empirical studies show that these spillovers can have a heterogeneous and rather complex structure. But, so far, little attention has been paid to the consequences of different structures of such cross-technology interactions: Is economic development more easily fostered by homogenous or heterogeneous interactions, by uni- or bidirectional spillovers? Using a detailed description of an r&d sector with cross-technology interactions embedded in a simple growth model, we analyse how the structure of spillovers influences growth prospects and growth patterns. We show that some type of interactions (e.g., one-way interactions) cannot induce exponential growth, whereas other structures can. Furthermore, depending on the structure of interactions, all or only some technologies will contribute to growth in the long run. Finally, some spillover structures can lead to complex growth patterns, such as technology transitions, where, over time, different technology clusters are the main engine of growth.


title: Thermoelectric response as a tool to observe electrocaloric effect in a thin conducting ferroelectric SnSe flake

abstract: We experimentally investigate thermoelectric response of a 100~nm thick SnSe single crystal flake under the current-induced dc electric field. Thermoelectric response appears as a second-harmonic transverse voltage $V_{xy}^{2\omega}$, which reflects temperature gradient across the sample due to the Joule heating by harmonic ac excitation current $I_{ac}$. In addition to strongly non-monotonous dependence $V_{xy}^{2\omega}$, we observe that dc field direction controls the sign of the temperature gradient in the SnSe flake. We provide arguments, that electrocaloric effect is the mostly probable reason for the results obtained. Thus, our experiment can be understood as demonstration of the possibility to induce electrocaloric effect by in-plane electric field in conducting ferroelectric crystals and to detect it by thermoelectric response.


title: Querying Linked Data: how to ensure user's quality requirements

abstract: In the distributed and dynamic framework of the Web, data quality is a big challenge. The Linked Open Data (LOD) provides an enormous amount of data, the quality of which is difficult to control. Quality is intrinsically a matter of usage, so consumers need ways to specify quality rules that make sense for their use, in order to get only data conforming to these rules. We propose a user-side query framework equipped with a checker of constraints and confidence levels on data resulting from LOD providers\' query evaluations. We detail its theoretical foundations and we provide experimental results showing that the check additional cost is reasonable and that integrating the constraints in the queries further improves it significantly.


title: Efficient and Reactive Planning for High Speed Robot Air Hockey

abstract: Highly dynamic robotic tasks require high-speed and reactive robots. These tasks are particularly challenging due to the physical constraints, hardware limitations, and the high uncertainty of dynamics and sensor measures. To face these issues, it's crucial to design robotics agents that generate precise and fast trajectories and react immediately to environmental changes. Air hockey is an example of this kind of task. Due to the environment's characteristics, it is possible to formalize the problem and derive clean mathematical solutions. For these reasons, this environment is perfect for pushing to the limit the performance of currently available general-purpose robotic manipulators. Using two Kuka Iiwa 14, we show how to design a policy for general-purpose robotic manipulators for the air hockey game. We demonstrate that a real robot arm can perform fast-hitting movements and that the two robots can play against each other on a medium-size air hockey table in simulation.


title: Identification of Average Marginal Effects in Fixed Effects Dynamic Discrete Choice Models

abstract: In nonlinear panel data models, fixed effects methods are often criticized because they cannot identify average marginal effects (AMEs) in short panels. The common argument is that the identification of AMEs requires knowledge of the distribution of unobserved heterogeneity, but this distribution is not identified in a fixed effects model with a short panel. In this paper, we derive identification results that contradict this argument. In a panel data dynamic logic model, and for T as small as four, we prove the point identification of different AMEs, including causal effects of changes in the lagged dependent variable or in the duration in last choice. Our proofs are constructive and provide simple closed-form expressions for the AMEs in terms of probabilities of choice histories. We illustrate our results using Monte Carlo experiments and with an empirical application of a dynamic structural model of consumer brand choice with state dependence.


title: Error Processing of Sparse Identification of Nonlinear Dynamical Systems via $L_\infty$ Approximation

abstract: This paper deals with the error processing problem of sparse identification of nonlinear dynamical systems(SINDy) through introducing the $L_\infty$ approximation to take place of the former $L_2$ approximation. The motivation is that the $L_\infty$ approximation could better describe the error phenomenon in the SINDy, which consists of the derivative approximation error and the measurement noise. Then, an iterative thresholding algorithm is proposed to solve the reformulated problem. 3 scenarios of possible errors are considered in the experiment. The results show that the $L_\infty$ approximation performs better or at least equal than the $L_2$ approximation in face of different error cases. Hence, it is reasonable to consider the $L_\infty$ approximation in the applications of the SINDy.


title: Different Perspective on Blue Sky Theory: Theory of Single-Photon Scattering on Bound and Free Electrons

abstract: We present a theory of light scattering consistent with modern physics. We proposed a spatial-temporal model of a photon based on classical model of atomic oscillator. Using this photon model, we established a criterion for single vs multi-photon irradiation of matter. We demonstrated that the assumption that induced dipole radiation can be of infinitely small power is inconsistent with quantum mechanics. We proposed the energy criteria for scattering of a photon on single and multiple atoms and free electrons. This criterion revealed the limitations and applicability of Rayleigh's and Thomson's models of scattering. According to our theory, light scattering is a threshold process, and the scattering can only take place for those photons with wavelengths shorter than some threshold. Using our model, we computed the loss of energy by a photon with wavelengths longer than the scattering threshold during interaction with bound and free electrons. We showed that a single photon can lose energy in collisionless interaction with atoms, molecules, and free electrons. The new theoretical model predicts the red shift of photon wavelength resulting from such interactions. In particular, it provides an explanation for the blue color of sky and an alternative explanation for the cosmological red shift.


title: On the Realization of Impulse Invariant Bilinear Volterra Kernels

abstract: As previously shown, the direct extension of the impulse invariance principle to Volterra kernels has to be modified in order to provide a condition for the exact modeling of mixed-signal chains. At first sight this would seem to seriously complicate the otherwise simple discrete-time realization of separable kernels (among which bilinear kernels are of particular importance). We show here, however, that this not the case. By defining a cascade operator, the structure of a generalized impulse invariance can be unveiled, leading to a realization without an inordinate increase in computational complexity.


title: The general Albertson irregularity index of graphs

abstract: We introduce the general Albertson irregularity index of a connected graph $G$ and define it as $A_{p}(G) =(\sum_{uv\in E(G)}|d(u)-d(v)|^p)^{\frac{1}{p}}$, where $p$ is a positive real number and $d(v)$ is the degree of the vertex $v$ in $G$. The new index is not only generalization of the well-known Albertson irregularity index and $\sigma$-index, but also it is the Minkowski norm of the degree of vertex. We present lower and upper bounds on the general Albertson irregularity index. In addition, we study the extremal value on the general Albertson irregularity index for trees of given order. Finally, we give the calculation formula of the general Albertson index of generalized Bethe trees and Kragujevac trees.


title: Ontology-Based Process Modelling -- Will we live to see it?

abstract: In theory, ontology-based process modelling (OBPM) bares great potential to extend business process management. Many works have studied OBPM and are clear on the potential amenities, such as eliminating ambiguities or enabling advanced reasoning over company processes. However, despite this approval in academia, a widespread industry adoption is still nowhere to be seen. This can be mainly attributed to the fact, that it still requires high amounts of manual labour to initially create ontologies and annotations to process models. As long as these problems are not addressed, implementing OBPM seems unfeasible in practice. In this work, we therefore identify requirements needed for a successful implementation of OBPM and assess the current state of research w.r.t. these requirements. Our results indicate that the research progress for means to facilitate OBPM are still alarmingly low and there needs to be urgent work on extending existing approaches.


title: QTRAJ 1.0: A Lindblad equation solver for heavy-quarkonium dynamics

abstract: We introduce an open-source package called QTraj that solves the Lindblad equation for heavy-quarkonium dynamics using the quantum trajectories algorithm. The package allows users to simulate the suppression of heavy-quarkonium states using externally-supplied input from 3+1D hydrodynamics simulations. The code uses a split-step pseudo-spectral method for updating the wave-function between jumps, which is implemented using the open-source multi-threaded FFTW3 package. This allows one to have manifestly unitary evolution when using real-valued potentials. In this paper, we provide detailed documentation of QTraj 1.0, installation instructions, and present various tests and benchmarks of the code.


title: Accuracy of Refractive Index Spectroscopy by Broadband Interferometry

abstract: Uncertainties of refractive and group index in dispersion measurement by spectrally resolved white light interferometry are deeply analyzed. First, the contribution to uncertainty of the different parameters affecting both indices is identified. Afterwards, results are presented for a 1.5 mm thick fused silica sample over a broad spectral range, from 400 to 1000 nm, and the effects that mostly deteriorate the measurement accuracy are established. Finally, the different contributions are quadratically combined to determine the total uncertainty of the two indices.


title: MINERVAS: Massive INterior EnviRonments VirtuAl Synthesis

abstract: With the rapid development of data-driven techniques, data has played an essential role in various computer vision tasks. Many realistic and synthetic datasets have been proposed to address different problems. However, there are lots of unresolved challenges: (1) the creation of dataset is usually a tedious process with manual annotations, (2) most datasets are only designed for a single specific task, (3) the modification or randomization of the 3D scene is difficult, and (4) the release of commercial 3D data may encounter copyright issue. This paper presents MINERVAS, a Massive INterior EnviRonments VirtuAl Synthesis system, to facilitate the 3D scene modification and the 2D image synthesis for various vision tasks. In particular, we design a programmable pipeline with Domain-Specific Language, allowing users to (1) select scenes from the commercial indoor scene database, (2) synthesize scenes for different tasks with customized rules, and (3) render various imagery data, such as visual color, geometric structures, semantic label. Our system eases the difficulty of customizing massive numbers of scenes for different tasks and relieves users from manipulating fine-grained scene configurations by providing user-controllable randomness using multi-level samplers. Most importantly, it empowers users to access commercial scene databases with millions of indoor scenes and protects the copyright of core data assets, e.g., 3D CAD models. We demonstrate the validity and flexibility of our system by using our synthesized data to improve the performance on different kinds of computer vision tasks.


title: From Identity to Difference: A Quantitative Interpretation of the Identity Type

abstract: We explore a quantitative interpretation of 2-dimensional intuitionistic type theory (ITT) in which the identity type is interpreted as a "type of differences". We show that a fragment of ITT, that we call difference type theory (dTT), yields a general logical framework to talk about quantitative properties of programs like approximate equivalence and metric preservation. To demonstrate this fact, we show that dTT can be used to capture compositional reasoning in presence of errors, since any program can be associated with a "derivative" relating errors in input with errors in output. Moreover, after relating the semantics of dTT to the standard weak factorization systems semantics of ITT, we describe the interpretation of dTT in some quantitative models developed for approximate program transformations, incremental computing, program differentiation and differential privacy.


title: Adaptive dynamic programming-based adaptive-gain sliding mode tracking control for fixed-wing UAV with disturbances

abstract: This paper proposes an adaptive dynamic programming-based adaptive-gain sliding mode control (ADP-ASMC) scheme for a fixed-wing unmanned aerial vehicle (UAV) with matched and unmatched disturbances. Starting from the dynamic of fixed-wing UAV, the control-oriented model composed of attitude subsystem and airspeed subsystem is established. According to the different issues in two subsystems, two novel adaptive-gain generalized super-twisting (AGST) algorithms are developed to eliminate the effects of disturbances in two subsystems and make the system trajectories tend to the designed integral sliding manifolds (ISMs) in finite time. Then, based on the expected equivalent sliding-mode dynamics, the modified adaptive dynamic programming (ADP) approach with actor-critic (AC) structure is utilized to generate the nearly optimal control laws and achieve the nearly optimal performance of the sliding-mode dynamics. Furthermore, through the Lyapunov stability theorem, the tracking errors and the weight estimation errors of two neural networks (NNs) are all uniformly ultimately bounded (UUB). Finally, comparative simulations demonstrate the superior performance of the proposed control scheme for the fixed-wing UAV.


title: A model of systems with modes and mode transitions

abstract: We propose a method of classifying the operation of a system into finitely many modes. Each mode has its own objectives for the system's behaviour and its own mathematical models and algorithms designed to accomplish its objectives. A central problem is deciding when to transition from one mode to some other mode, a decision that may be contested and involve partial or inconsistent information or evidence. We model formally the concept of modes for a system and derive a family of data types for analysing mode transitions. The data types are simplicial complexes, both abstract and realised in euclidean space $\mathbb{R}^{n}$. In the data type, a mode is represented by a simplex. Each state of a system can be evaluated relative to different modes by mapping it into one or more simplices. This calibration measures the extent to which distinct modes are appropriate for the state and can decide on a transition. We explain this methodology based on modes, introduce the mathematical ideas about simplicial objects we need and use them to build a theoretical framework for modes and mode transitions. To illustrate the general model in some detail, we work though a case study of an autonomous racing car.


title: Spontaneous Symmetry Breaking for Extreme Vorticity and Strain in the 3D Navier-Stokes Equations

abstract: We investigate the spatio-temporal structure of the most likely configurations realising extremely high vorticity or strain in the stochastically forced 3D incompressible Navier-Stokes equations. Most likely configurations are computed by numerically finding the highest probability velocity field realising an extreme constraint as solution of a large optimisation problem. High-vorticity configurations are identified as pinched vortex filaments with swirl, while high-strain configurations correspond to counter-rotating vortex rings. We additionally observe that the most likely configurations for vorticity and strain spontaneously break their rotational symmetry for extremely high observable values. Instanton calculus and large deviation theory allow us to show that these maximum likelihood realisations determine the tail probabilities of the observed quantities. In particular, we are able to demonstrate that artificially enforcing rotational symmetry for large strain configurations leads to a severe underestimate of their probability, as it is dominated in likelihood by an exponentially more likely symmetry broken vortex-sheet configuration.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Fast Batch Nuclear-norm Maximization and Minimization for Robust Domain Adaptation

abstract: Due to the domain discrepancy in visual domain adaptation, the performance of source model degrades when bumping into the high data density near decision boundary in target domain. A common solution is to minimize the Shannon Entropy to push the decision boundary away from the high density area. However, entropy minimization also leads to severe reduction of prediction diversity, and unfortunately brings harm to the domain adaptation. In this paper, we investigate the prediction discriminability and diversity by studying the structure of the classification output matrix of a randomly selected data batch. We find by theoretical analysis that the prediction discriminability and diversity could be separately measured by the Frobenius-norm and rank of the batch output matrix. The nuclear-norm is an upperbound of the former, and a convex approximation of the latter. Accordingly, we propose Batch Nuclear-norm Maximization and Minimization, which performs nuclear-norm maximization on the target output matrix to enhance the target prediction ability, and nuclear-norm minimization on the source batch output matrix to increase applicability of the source domain knowledge. We further approximate the nuclear-norm by L_{1,2}-norm, and design multi-batch optimization for stable solution on large number of categories. The fast approximation method achieves O(n^2) computational complexity and better convergence property. Experiments show that our method could boost the adaptation accuracy and robustness under three typical domain adaptation scenarios. The code is available at https://github.com/cuishuhao/BNM.


title: The IWSLT 2021 BUT Speech Translation Systems

abstract: The paper describes BUT's English to German offline speech translation(ST) systems developed for IWSLT2021. They are based on jointly trained Automatic Speech Recognition-Machine Translation models. Their performances is evaluated on MustC-Common test set. In this work, we study their efficiency from the perspective of having a large amount of separate ASR training data and MT training data, and a smaller amount of speech-translation training data. Large amounts of ASR and MT training data are utilized for pre-training the ASR and MT models. Speech-translation data is used to jointly optimize ASR-MT models by defining an end-to-end differentiable path from speech to translations. For this purpose, we use the internal continuous representations from the ASR-decoder as the input to MT module. We show that speech translation can be further improved by training the ASR-decoder jointly with the MT-module using large amount of text-only MT training data. We also show significant improvements by training an ASR module capable of generating punctuated text, rather than leaving the punctuation task to the MT module.


title: Parallel Repetition for the GHZ Game: A Simpler Proof

abstract: We give a new proof of the fact that the parallel repetition of the (3-player) GHZ game reduces the value of the game to zero polynomially quickly. That is, we show that the value of the $n$-fold GHZ game is at most $n^{-\Omega(1)}$. This was first established by Holmgren and Raz [HR20]. We present a new proof of this theorem that we believe to be simpler and more direct. Unlike most previous works on parallel repetition, our proof makes no use of information theory, and relies on the use of Fourier analysis. The GHZ game [GHZ89] has played a foundational role in the understanding of quantum information theory, due in part to the fact that quantum strategies can win the GHZ game with probability 1. It is possible that improved parallel repetition bounds may find applications in this setting. Recently, Dinur, Harsha, Venkat, and Yuen [DHVY17] highlighted the GHZ game as a simple three-player game, which is in some sense maximally far from the class of multi-player games whose behavior under parallel repetition is well understood. Dinur et al. conjectured that parallel repetition decreases the value of the GHZ game exponentially quickly, and speculated that progress on proving this would shed light on parallel repetition for general multi-player (multi-prover) games.


title: Quasiparticle kinetic theory for Calogero models

abstract: We show that the quasiparticle kinetic theory for quantum and classical Calogero models reduces to the free-streaming Boltzmann equation. We reconcile this simple emergent behaviour with the strongly interacting character of the model by developing a Bethe-Lax correspondence in the classical case. This demonstrates explicitly that the freely propagating degrees of freedom are not bare particles, but rather quasiparticles corresponding to eigenvectors of the Lax matrix. We apply the resulting kinetic theory to classical Calogero particles in external trapping potentials and find excellent agreement with numerical simulations in all cases, both for harmonic traps that preserve integrability and exhibit perfect revivals, and for anharmonic traps that break microscopic integrability. Our framework also yields a simple description of multi-soliton solutions in a harmonic trap, with solitons corresponding to sharp peaks in the quasiparticle density. Extensions to quantum systems of Calogero particles are discussed.


title: Correlation Analysis between the Robustness of Sparse Neural Networks and their Random Hidden Structural Priors

abstract: Deep learning models have been shown to be vulnerable to adversarial attacks. This perception led to analyzing deep learning models not only from the perspective of their performance measures but also their robustness to certain types of adversarial attacks. We take another step forward in relating the architectural structure of neural networks from a graph theoretic perspective to their robustness. We aim to investigate any existing correlations between graph theoretic properties and the robustness of Sparse Neural Networks. Our hypothesis is, that graph theoretic properties as a prior of neural network structures are related to their robustness. To answer to this hypothesis, we designed an empirical study with neural network models obtained through random graphs used as sparse structural priors for the networks. We additionally investigated the evaluation of a randomly pruned fully connected network as a point of reference. We found that robustness measures are independent of initialization methods but show weak correlations with graph properties: higher graph densities correlate with lower robustness, but higher average path lengths and average node eccentricities show negative correlations with robustness measures. We hope to motivate further empirical and analytical research to tightening an answer to our hypothesis.


title: Superrigidity for dense subgroups of Lie groups and their actions on homogeneous spaces

abstract: An essentially free group action of $\Gamma$ on $(X,\mu)$ is called W*-superrigid if the crossed product von Neumann algebra $L^\infty(X) \rtimes \Gamma$ completely remembers the group $\Gamma$ and its action on $(X,\mu)$. We prove W*-superrigidity for a class of infinite measure preserving actions, in particular for natural dense subgroups of isometries of the hyperbolic plane. The main tool is a new cocycle superrigidity theorem for dense subgroups of Lie groups acting by translation. We also provide numerous countable type $II_1$ equivalence relations that cannot be implemented by an essentially free action of a group, both of geometric nature and through a wreath product construction.


title: On the cosmological solutions in Weyl geometry

abstract: We investigated the possibility of construction the homogeneous and isotropic cosmological solutions in Weyl geometry. We derived the self-consistency condition which ensures the conformal invariance of the complete set of equations of motion. There is the special gauge in choosing the conformal factor when the Weyl vector equals zero. In this gauge we found new vacuum cosmological solutions absent in General Relativity. Also, we found new solution in Weyl geometry for the radiation dominated universe with the cosmological term, corresponding to the constant curvature scalar in our special gauge. Possible relation of our results to the understanding both dark matter and dark energy is discussed.


title: Quantitative electronic structure and work-function changes of liquid water induced by solute

abstract: Recent advancement in quantitative liquid-jet photoelectron spectroscopy enables the accurate determination of the absolute-scale electronic energetics of liquids and species in solution. Our major objective is the determination of the absolute lowest-ionization energy of liquid water which is found to vary upon solute addition, and depends on the solute concentration. We discuss two prototypical aqueous salt solutions, NaI(aq) and tetrabutylammonium iodide, TBAI(aq), with the latter being a strong surfactant. Considerably different behavior is revealed: In the NaI(aq) solutions, water's 1b1 energy increases by 300 meV upon increasing the concentration near-saturation concentrations, whereas for TBAI the energy decreases by about 0.7 eV upon formation of a surface layer. The solute-induced effects on the solute binding energies are quantified as well, as inferred from concentration-dependent energy shifts of the I- 5p peak energy. For NaI(aq), an almost identical I- 5p shift is found as for the water 1b1 binding energy, with a larger shift occurring in the opposite direction for the TBAI(aq) solution. We show that this result in NaI(aq) can be primarily assigned to a change of water's electronic structure in the solution bulk. In contrast, apparent changes of the 1b1 energy for TBAI(aq) can be related to changes of the solution work function which could arise from surface molecular dipoles. Furthermore, for both of the solutions studied here, the measured water 1b1 binding energies can be correlated with the extensive solution molecular structure changes occurring at high salt concentrations, where in the case of NaI(aq), too few water molecules exist to hydrate individual ions and the solution adopts a crystalline-like phase. We also comment on the concentration-dependent shape of the 3a1 orbital of liquid water which is a sensitive signature of water-water hydrogen bond interactions.