title: Exercise? I thought you said 'Extra Fries': Leveraging Sentence Demarcations and Multi-hop Attention for Meme Affect Analysis

abstract: Today's Internet is awash in memes as they are humorous, satirical, or ironic which make people laugh. According to a survey, 33% of social media users in age bracket [13-35] send memes every day, whereas more than 50% send every week. Some of these memes spread rapidly within a very short time-frame, and their virality depends on the novelty of their (textual and visual) content. A few of them convey positive messages, such as funny or motivational quotes; while others are meant to mock/hurt someone's feelings through sarcastic or offensive messages. Despite the appealing nature of memes and their rapid emergence on social media, effective analysis of memes has not been adequately attempted to the extent it deserves. In this paper, we attempt to solve the same set of tasks suggested in the SemEval'20-Memotion Analysis competition. We propose a multi-hop attention-based deep neural network framework, called MHA-MEME, whose prime objective is to leverage the spatial-domain correspondence between the visual modality (an image) and various textual segments to extract fine-grained feature representations for classification. We evaluate MHA-MEME on the 'Memotion Analysis' dataset for all three sub-tasks - sentiment classification, affect classification, and affect class quantification. Our comparative study shows sota performances of MHA-MEME for all three tasks compared to the top systems that participated in the competition. Unlike all the baselines which perform inconsistently across all three tasks, MHA-MEME outperforms baselines in all the tasks on average. Moreover, we validate the generalization of MHA-MEME on another set of manually annotated test samples and observe it to be consistent. Finally, we establish the interpretability of MHA-MEME.


title: Unbounded growth of the energy density associated to the Schr\"odinger map and the binormal flow

abstract: We consider the binormal flow equation, which is a model for the dynamics of vortex filaments in Euler equations. Geometrically it is a flow of curves in three dimensions, explicitly connected to the 1-D Schr\"odinger map with values on the 2-D sphere, and to the 1-D cubic Schr\"odinger equation. Although these equations are completely integrable we show the existence of an unbounded growth of the energy density. The density is given by the amplitude of the high frequencies of the derivative of the tangent vectors of the curves, thus giving information of the oscillation at small scales. In the setting of vortex filaments the variation of the tangent vectors is related to the derivative of the direction of the vorticity, that according to the Constantin-Fefferman-Majda criterion plays a relevant role in the possible development of singularities for Euler equations.


title: Neural Network Controller for Autonomous Pile Loading Revised

abstract: We have recently proposed two pile loading controllers that learn from human demonstrations: a neural network (NNet) [1] and a random forest (RF) controller [2]. In the field experiments the RF controller obtained clearly better success rates. In this work, the previous findings are drastically revised by experimenting summer time trained controllers in winter conditions. The winter experiments revealed a need for additional sensors, more training data, and a controller that can take advantage of these. Therefore, we propose a revised neural controller (NNetV2) which has a more expressive structure and uses a neural attention mechanism to focus on important parts of the sensor and control signals. Using the same data and sensors to train and test the three controllers, NNetV2 achieves better robustness against drastically changing conditions and superior success rate. To the best of our knowledge, this is the first work testing a learning-based controller for a heavy-duty machine in drastically varying outdoor conditions and delivering high success rate in winter, being trained in summer.


title: Estimation of initial state structures in high energy heavy-ion collisions using Principal Component Analysis (PCA)

abstract: In high-energy heavy-ion collisions, structures in the initial collision zone are a matter of intense investigation, both from theory and experimental points of view. A large number of models have been developed to represent the initial state of the collision including Glauber model, Colour Glass Condensate (CGC) among others. Another important aspect of the study is to investigate proper observables that will be sensitive to the initial collision zone. In this work, we have discussed a formalism to implement the spatial clusters at the partonic level in the string melting version of the AMPT model for PbPb collisions at $\sqrt{s_{NN}}$ = 200 GeV. These clusters are then propagated through the AMPT hadronization scheme. The Principal Component Analysis (PCA) has been used on the $\eta$, $\phi$ and $p_T$ distributions of the produced charged particles and the eigenvalues have been compared before and after the implementation of the clustering. It is found that for all these three different distributions, all the prominent PCA modes have shown sensitivity to the clustering. A centrality dependent study has also been performed on those eigenvalues.


title: Assessing the accuracy of tailored coupled cluster methods corrected by electronic wave functions of polynomial cost

abstract: Tailored coupled cluster theory represents a computationally inexpensive way to describe static and dynamical electron correlation effects. In this work, we scrutinize the performance of various tailored coupled cluster methods externally corrected by electronic wave functions of polynomial cost. Specifically, we focus on frozen-pair coupled-cluster (fpCC) methods, which are externally corrected by pair-coupled cluster doubles (pCCD), and coupled cluster theory tailored by matrix product state wave functions optimized by the density matrix renormalization group (DMRG) algorithm. As test system, we selected a set of various small- and medium-sized molecules containing diatomics (N$_2$, F$_2$, C$_2$, CN$^+$, BN, BO$^+$, and Cr$_2$) and molecules (ammonia, ethylene, cyclobutadiene, benzene) for which conventional single-reference coupled cluster singles and doubles (CCSD) is not able to produce accurate results for spectroscopic constants, potential energy surfaces, and barrier heights. Most importantly, DMRG-tailored and pCCD-tailored approaches yield similar errors in spectroscopic constants and potential energy surfaces compared to multireference and/or experimental reference data and generally outrank the conventional single-reference CCSD approach. Although fpCC methods provide a reliable description for the dissociation pathway of molecules featuring single and quadruple bonds, they fail in the description of triple or hextuple bond-breaking processes or avoided crossing regions.


title: Rule-Based Safety-Critical Control Design using Control Barrier Functions with Application to Autonomous Lane Change

abstract: This paper develops a new control design for guaranteeing a vehicle's safety during lane change maneuvers in a complex traffic environment. The proposed method uses a finite state machine (FSM), where a quadratic program based optimization problem using control Lyapunov functions and control barrier functions (CLF-CBF-QP) is used to calculate the system's optimal inputs via rule-based control strategies. The FSM can make switches between different states automatically according to the command of driver and traffic environment, which makes the ego vehicle find a safe opportunity to do a collision-free lane change maneuver. By using a convex quadratic program, the controller can guarantee the system's safety at a high update frequency. A set of pre-designed typical lane change scenarios as well as randomly generated driving scenarios are simulated to show the performance of our controller.


title: Optimal $L^2$-extensions on tube domains and a simple proof of Pr\'ekopa's theorem

abstract: We prove the optimal $L^2$-extension theorem of Ohsawa-Takegoshi type on a tube domain. As an application, we give a simple proof of Pr\'ekopa's theorem.


title: Fcc -> bcc phase transition kinetics in an immiscible binary system: atomistic evidence of the twinning mechanism of transformation

abstract: Extensive atomistic simulations based on the quasiparticle (QA) approach are performed to determine the momentous aspects of the displacive fcc/bcc phase transformation in a binary system. We demonstrate that the QA is able to predict the major structural characteristics of fcc/bcc phase transformations, including the growth of a bcc nuclei in a fcc matrix, and eventually the formation of an internally twinned structure consisting in two variants with Kurdjumov-Sachs orientation relationship. At atomic level, we determine the defect structure of twinning boundaries and fcc/bcc interfaces, and identify the main mechanism for their propagation. In details, it is shown that twin boundaries are propagated by the propagation of screw dislocations in fcc along the <-1-11>_{\alpha} direction, while the propagation of fcc screw dislocations along coherent terrace edges is the pivotal vector of the fcc/bcc transformation. The simulation results are compared with our TEM and HRTEM observations of Fe-rich bcc twinned particle embedded in the fcc Cu-rich matrix in the Cu-Fe-Co system.


title: Influence of intense laser fields on measurable quantities in $W^{-}$-boson decay

abstract: In principle, this paper suggests powerful laser technology as a promising instrument that can be experimentally useful to control the lifetime and branching ratio for an unstable particle decay. In a recent paper [arXiv:2101.00224], we calculated theoretically the $W^{-}$-boson leptonic decay $(W^{-}\rightarrow \ell^{-} \bar{\nu}_{\ell})$ in the presence of a circularly polarized laser and we showed that the laser significantly contributed to the diminution of the leptonic decay rate. In this paper, as a continuation of the previous one, we mainly deal with the theoretical calculation of the $W^{-}$-boson hadronic decay $(W^{-}\rightarrow q \bar{q}')$ and we combine the analytical results obtained in both papers to examine the effect of an intense laser, in terms of its field strength and frequency, on the three measurable quantities in $W^{-}$-boson decay (total decay rate, lifetime and branching ratios). It was found that the laser has notably contributed to the reduction of the total decay rate leading to a longer lifetime. Most importantly, the two branching ratios (one for leptons and the other for hadrons) are affected (increased or decreased) by the presence of a strong external electromagnetic field. Combined together, these two complementary works may provide an in-depth and comprehensive study that would be useful for any experimental investigation in the future.


title: One- and multi-dimensional CWENOZ reconstructions for implementing boundary conditions without ghost cells

abstract: We address the issue of point value reconstructions from cell averages in the context of third order finite volume schemes, focusing in particular on the cells close to the boundaries of the domain. In fact, most techniques known in the literature rely on the creation of ghost cells outside the boundary and on some form of extrapolation from the inside that, taking into account the boundary conditions, fills the ghost cells with appropriate values, so that a standard reconstruction can be applied also in boundary cells. In (Naumann, Kolb, Semplice, 2018), motivated by the difficulty of choosing appropriate boundary conditions at the internal nodes of a network, a different technique was explored that avoids the use of ghost cells, but instead employs for the boundary cells a different stencil, biased towards the interior of the domain. In this paper, extending that approach, which does not make use of ghost cells, we propose a more accurate reconstruction for the one-dimensional case and a two-dimensional one for Cartesian grids. In several numerical tests we compare the novel reconstruction with the standard approach using ghost cells.


title: On Congruence Modular Varieties and Gumm Categories

abstract: In (B-Gran, 2004), was given a categorical formulation of the Shifting Lemma which is a characterization of the Congruence Modular Varieties among all the variety of Universal Algebra, introduced in (Gumm, 1983). Starting from a characterization of this Shifting Lemma by a property of the fibers of the fibration of points $\P\EE$ (B, 2005), on the model of what happens for Mal'tsev categories, we shall investigate three directions:\\ 1) a new one: in following the golden thread of abelian split epimorphisms naturally provided by this characterization;\\ 2) a more or less expected one: in measuring the distance between the consequences of the Shifting Lemma in the varietal context and in the much more general categorical one;\\ 3) a quite amazing phenomenon, which I should call Algebraic Crystallography, and which is described in the Introduction.


title: Joint framework with deep feature distillation and adaptive focal loss for weakly supervised audio tagging and acoustic event detection

abstract: A good joint training framework is very helpful to improve the performances of weakly supervised audio tagging (AT) and acoustic event detection (AED) simultaneously. In this study, we propose three methods to improve the best teacher-student framework in the IEEE AASP Challenge on Detection and Classification of Acoustic Scenes and Events (DCASE) 2019 Task 4 for both audio tagging and acoustic events detection tasks. A frame-level target-events based deep feature distillation is first proposed, which aims to leverage the potential of limited strong-labeled data in weakly supervised framework to learn better intermediate feature maps. Then, we propose an adaptive focal loss and two-stage training strategy to enable an effective and more accurate model training, where the contribution of hard and easy acoustic events to the total cost function can be automatically adjusted. Furthermore, an event-specific post processing is designed to improve the prediction of target event time-stamps. Our experiments are performed on the public DCASE 2019 Task 4 dataset, results show that our approach achieves competitive performances in both AT (81.2\% F1-score) and AED (49.8\% F1-score) tasks.


title: Quadrupole-mediated dielectric response and the charge-asymmetric solvation of ions in water

abstract: Treating water as a linearly responding dielectric continuum on molecular length scales allows very simple estimates of solvation structure and thermodynamics for charged and polar solutes. While this approach can successfully account for basic length and energy scales of ion solvation, computer simulations indicate not only its quantitative inaccuracies but also its inability to capture some basic and important aspects of microscopic polarization response. Here we consider one such shortcoming, a failure to distinguish the solvation thermodynamics of cations from that of otherwise-identical anions, and we pursue a simple, physically inspired modification of the dielectric continuum model to address it. The adaptation is motivated by analyzing the orientational response of an isolated water molecule whose dipole is rigidly constrained. Its free energy suggests a Hamiltonian for dipole fluctuations that accounts implicitly for the influence of higher-order multipole moments, while respecting constraints of molecular geometry. We propose a field theory with the suggested form, whose nonlinear response breaks the charge symmetry of ion solvation. An approximate variational solution of this theory, with a single adjustable parameter, yields solvation free energies that agree closely with simulation results over a considerable range of solute size and charge.


title: Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature

abstract: In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times, and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed.


title: A study of compatible deformations in non-Archimedean geometry

abstract: In 2010, Hrushovski--Loeser showed that the Berkovich analytification of a quasi-projective variety over a non-Archimedean valued field admits a deformation retraction onto a finite simplicial complex. In this article, we adapt the tools and methods developed by Hrushovski--Loeser to study if such deformation retractions can be obtained to be compatible with respect to a given morphism. Amongst other results, we show that compatible deformation retractions exist over a constructible partition of the base and prove the general statement in the case of a morphism of relative dimension 1 where the target is a smooth connected curve.


title: A mathematical analysis of the Kakinuma model for interfacial gravity waves. Part I: Structures and well-posedness

abstract: We consider a model, which we named the Kakinuma model, for interfacial gravity waves. As is well-known, the full model for interfacial gravity waves has a variational structure whose Lagrangian is an extension of Luke's Lagrangian for surface gravity waves, that is, water waves. The Kakinuma model is a system of Euler-Lagrange equations for approximate Lagrangians, which are obtained by approximating the velocity potentials in the Lagrangian for the full model. In this paper, we first analyze the linear dispersion relation for the Kakinuma model and show that the dispersion curves highly fit that of the full model in the shallow water regime. We then analyze the linearized equations around constant states and derive a stability condition, which is satisfied for small initial data when the denser water is below the lighter water. We show that the initial value problem is in fact well-posed locally in time in Sobolev spaces under the stability condition, the non-cavitation assumption and intrinsic compatibility conditions in spite of the fact that the initial value problem for the full model does not have any stability domain so that its initial value problem is ill-posed in Sobolev spaces. Moreover, it is shown that the Kakinuma model enjoys a Hamiltonian structure and has conservative quantities: mass, total energy, and in the case of the flat bottom, momentum.


title: RISC-NN: Use RISC, NOT CISC as Neural Network Hardware Infrastructure

abstract: Neural Networks (NN) have been proven to be powerful tools to analyze Big Data. However, traditional CPUs cannot achieve the desired performance and/or energy efficiency for NN applications. Therefore, numerous NN accelerators have been used or designed to meet these goals. These accelerators all fall into three categories: GPGPUs, ASIC NN Accelerators and CISC NN Accelerators. Though CISC NN Accelerators can achieve considerable smaller memory footprint than GPGPU thus improve energy efficiency; they still fail to provide same level of data reuse optimization achieved by ASIC NN Accelerators because of the inherited poor pragrammability of their CISC architecture. We argue that, for NN Accelerators, RISC is a better design choice than CISC, as is the case with general purpose processors. We propose RISC-NN, a novel many-core RISC-based NN accelerator that achieves high expressiveness and high parallelism and features strong programmability and low control-hardware costs. We show that, RISC-NN can implement all the necessary instructions of state-of-the-art CISC NN Accelerators; in the meantime, RISC-NN manages to achieve advanced optimization such as multiple-level data reuse and support for Sparse NN applications which previously only existed in ASIC NN Accelerators. Experiment results show that, RISC-NN achieves on average 11.88X performance efficiency compared with state-of-the-art Nvidia TITAN Xp GPGPU for various NN applications. RISC-NN also achieves on average 1.29X, 8.37X and 21.71X performance efficiency over CISC-based TPU in CNN, MLP and LSTM applications, respectively. Finally, RISC-NN can achieve additional 26.05% performance improvement and 33.13% energy reduction after applying pruning for Sparse NN applications.


title: Interference fading suppression in Phi-OTDR using space-division multiplexed probes

abstract: We propose and experimentally demonstrate a novel interference fading suppression method for phase-sensitive optical time domain reflectometry (Phi-OTDR) using space-division multiplexed (SDM) pulse probes in few-mode fiber. The SDM probes consist of multiple different modes, and three spatial modes (LP01, LP11a and LP11b) are used in this work for proof of concept. Firstly, the Rayleigh backscattering light of different modes is experimentally characterized, and it turns out that the waveforms of Phi-OTDR traces of distinct modes are all different from each other. Thanks to the spatial difference of fading positions of distinct modes, multiple probes from spatially multiplexed modes can be used to suppress the interference fading in Phi-OTDR. Then, the performances of the Phi-OTDR systems using single probe and multiple probes are evaluated and compared. Specifically, statistical analysis shows that both fading probabilities over fiber length and time are reduced significantly by using multiple SDM probes, which verifies the significant performance improvement on fading suppression. The proposed novel interference fading suppression method does not require complicated frequency or phase modulation, which has the advantages of simplicity, good effectiveness and high reliability.


abstract: Healing of a hole in a carbon nanotube under electron irradiation in HRTEM at room temperature is demonstrated using molecular dynamics simulations with the CompuTEM algorithm. Formation of an amorphous patch is observed in all simulation runs. The amorphous patch is formed in the absence of external carbon adatoms only via reconstruction of the carbon bond network. It consists mainly of 5-, 6- and 7-membered rings and causes a small bottleneck. In addition, further growth of the initial amorphous patch under electron irradiation takes place. Two-coordinated atoms are found to play a crucial role in the latter process, analogous to autocatalisys of rearrangements of rings in fullerenes. The principal rearrangements in the presence of two-coordinated atoms can be described as generalized sp-defect migration: a bond is broken between two three-coordinated atoms and one of them forms a new bond with a nearby two-coordinated atom. If the new and former two-coordinated atoms are not bonded, the reaction leads both to displacement of the sp defect and changes in rings of the sp$^2$ carbon structure. Migration by hopping of two-coordinated atoms and other reactions involving simultaneous breakage of two bonds are also detected but much rarely. Long-living two-coordinated atoms in the patch structure and related fast growth of the patch are observed in more than half of the simulation runs. Since the amorphous patch and bottleneck affect the electronic properties of the nanotube, such nanotubes can be perspective for nanoelectronic applications.


title: Data-Driven Rate-Dependent Fracture Mechanics

abstract: We extend the model-free data-driven paradigm for rate-independent fracture mechanics proposed in Carrara et al. (2020), Data-driven Fracture Mechanics, Comp. Meth. App. Mech. Eng., 372 to rate-dependent fracture and sub-critical fatigue. The problem is formulated by combining the balance governing equations stemming from variational principles with a set of data points that encodes the fracture constitutive behavior of the material. The solution is found as the data point that best satisfies the meta-stability condition as given by the variational procedure and following a distance minimization approach based on closest-point-projection. The approach is tested on different setups adopting different types of rate-dependent fracture and fatigue models affected or not by white noise.


title: The topological counterparts of non-Hermitian SSH models

abstract: The breakdown of the conventional bulk-boundary correspondence due to non-Hermitian skin effect leads to the non-Bloch bulk-boundary correspondence in the generalized Brillouin zone. Inspired by the case of the equivalence between the non-reciprocal hopping and imaginary gauge field, we propose a method to construct the topological equivalent models of the non-Hermitian dimerized lattices with the similarity transformations. The idea of the constructions is from that the imaginary magnetic flux vanishes under the open boundary condition and the period boundary spectra can be well approximated by open boundary spectra. As an illustration, we apply this approach to several representative non-Hermitian SSH models, efficiently obtaining topological invariants in analytic form defined in the conventional Bloch bands. The method gives an alternative way to study the topological properties of non-Hermitian system.


title: Signatures of large-scale cold fronts in the optically-selected merging cluster HSC J085024+001536

abstract: We represent a joint X-ray, weak-lensing, and optical analysis of the optically-selected merging cluster, HSC J085024+001536, from the Subaru HSC-SSP survey. Both the member galaxy density and the weak-lensing mass map show that the cluster is composed of southeast and northwest components. The two-dimensional weak-lensing analysis shows that the southeast component is the main cluster, and the sub- and main-cluster mass ratio is $0.32^{+0.75}_{-0.23}$. The northwest subcluster is offset by $\sim700$ kpc from the main cluster center, and their relative line-of-sight velocity is $\sim1300\,{\rm km s^{-1}}$ from spectroscopic redshifts of member galaxies. The X-ray emission is concentrated around the main cluster, while the gas mass fraction within a sphere of $1'$ radius of the subcluster is only $f_{\mathrm{gas}}=4.0^{+2.3}_{-3.3}\%$, indicating that the subcluster gas was stripped by ram pressure. X-ray residual image shows three arc-like excess patterns, of which two are symmetrically located at $\sim550$ kpc from the X-ray morphological center, and the other is close to the X-ray core. The excess close to the subcluster has a cold-front feature where dense-cold gas and thin-hot gas contact. The two outer excesses are tangentially elongated about $\sim 450-650$ kpc, suggesting that the cluster is merged with a non-zero impact parameter. Overall features revealed by the multi-wavelength datasets indicate that the cluster is at the second impact or later. Since the optically-defined merger catalog is unbiased for merger boost of the intracluster medium, X-ray follow-up observations will pave the way to understand merger physics at various phases.


title: The Hammer and the Nut: Is Bilevel Optimization Really Needed to Poison Linear Classifiers?

abstract: One of the most concerning threats for modern AI systems is data poisoning, where the attacker injects maliciously crafted training data to corrupt the system's behavior at test time. Availability poisoning is a particularly worrisome subset of poisoning attacks where the attacker aims to cause a Denial-of-Service (DoS) attack. However, the state-of-the-art algorithms are computationally expensive because they try to solve a complex bi-level optimization problem (the "hammer"). We observed that in particular conditions, namely, where the target model is linear (the "nut"), the usage of computationally costly procedures can be avoided. We propose a counter-intuitive but efficient heuristic that allows contaminating the training set such that the target system's performance is highly compromised. We further suggest a re-parameterization trick to decrease the number of variables to be optimized. Finally, we demonstrate that, under the considered settings, our framework achieves comparable, or even better, performances in terms of the attacker's objective while being significantly more computationally efficient.


title: Induced side-branching in smooth and faceted dendrites: theory and Phase-Field simulations

abstract: The present work is devoted to the phenomenon of induced side branching stemming from the disruption of free dendrite growth. Therein, we postulate that the secondary branching instability can be triggered by the departure of the morphology of the dendrite from its steady state shape. Thence, the instability results from the thermodynamic trade-off between non monotonic variations of interface temperature, surface energy, kinetic anisotropy and interface velocity within the Gibbs Thomson equation. For purposes of illustration, the toy model of capillary anisotropy modulation is prospected both analytically and numerically by means of phase field simulations. It is evidenced that side branching can befall both smooth and faceted dendrites, at a normal angle from the front tip which is specific to the nature of the capillary anisotropy shift applied.


title: Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups

abstract: We give a sufficient condition for parameter rigidity of actions of solvable Lie groups, by vanishing of (uncountably many) first cohomologies of the orbit foliations. In some cases, we can prove that vanishing of finitely many cohomologies is sufficient. For this purpose we use a rigidity property of quasiisometry. As an application we prove some actions of 2-step solvable Lie groups on mapping tori are parameter rigid. Special cases of these actions are considered in a paper of Matsumoto and Mitsumatsu. We also remark on the relation between transitive locally free actions of solvable Lie groups and lattices in solvable Lie groups, and apply results in rigidity theory of lattices in solvable Lie groups to construct transitive locally free actions with some properties.


title: Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups, II

abstract: Let $M\stackrel{\rho_0}{\curvearrowleft}S$ be a $C^\infty$ locally free action of a connected simply connected solvable Lie group $S$ on a closed manifold $M$. Roughly speaking, $\rho_0$ is parameter rigid if any $C^\infty$ locally free action of $S$ on $M$ having the same orbits as $\rho_0$ is $C^\infty$ conjugate to $\rho_0$. In this paper we prove two types of result on parameter rigidity. First let $G$ be a connected semisimple Lie group with finite center of real rank at least $2$ without compact factors nor simple factors locally isomorphic to $\mathrm{SO}_0(n,1)$ $(n\geq2)$ or $\mathrm{SU}(n,1)$ $(n\geq2)$, and let $\Gamma$ be an irreducible cocompact lattice in $G$. Let $G=KAN$ be an Iwasawa decomposition. We prove that the action $\Gamma\backslash G\curvearrowleft AN$ by right multiplication is parameter rigid. One of the three main ingredients of the proof is the rigidity theorems of Pansu and Kleiner-Leeb on the quasiisometries of Riemannian symmetric spaces of noncompact type. Secondly we show, if $M\stackrel{\rho_0}{\curvearrowleft}S$ is parameter rigid, then the zeroth and first cohomology of the orbit foliation of $\rho_0$ with certain coefficients must vanish. This is a partial converse to the results in the author's [Vanishing of cohomology and parameter rigidity of actions of solvable Lie groups. Geom. Topol. 21(1) (2017), 157-191], where we saw sufficient conditions for parameter rigidity in terms of vanishing of the first cohomology with various coefficients.


title: De Rham cohomology of the weak stable foliation of the geodesic flow of a hyperbolic surface

abstract: We compute the de Rham cohomology of the weak stable foliation of the geodesic flow of a connected orientable closed hyperbolic surface with various coefficients. For most of the coefficients, we also give certain "Hodge decompositions" of the corresponding de Rham complexes, which are not obtained by the usual Hodge theory of foliations. These results are based on unitary representation theory of $\mathrm{PSL}(2,\mathbb{R})$. As an application we obtain an answer to a problem considered by Haefliger and Li around 1980.


title: Diversity Regularized Interests Modeling for Recommender Systems

abstract: With the rapid development of E-commerce and the increase in the quantity of items, users are presented with more items hence their interests broaden. It is increasingly difficult to model user intentions with traditional methods, which model the user's preference for an item by combining a single user vector and an item vector. Recently, some methods are proposed to generate multiple user interest vectors and achieve better performance compared to traditional methods. However, empirical studies demonstrate that vectors generated from these multi-interests methods are sometimes homogeneous, which may lead to sub-optimal performance. In this paper, we propose a novel method of Diversity Regularized Interests Modeling (DRIM) for Recommender Systems. We apply a capsule network in a multi-interest extractor to generate multiple user interest vectors. Each interest of the user should have a certain degree of distinction, thus we introduce three strategies as the diversity regularized separator to separate multiple user interest vectors. Experimental results on public and industrial data sets demonstrate the ability of the model to capture different interests of a user and the superior performance of the proposed approach.


title: Quaternionic $k$-vector fields on quaternionic K\"{a}hler manifolds

abstract: In this paper, we define a differential operator as a modified Dirac operator. Using the operator, we introduce a quaternionic $k$-vector field on a quaternionic K\"{a}hler manifold and show that any quaternionic $k$-vector field corresponds to a holomorphic $k$-vector field on the twistor space. We calculate the dimension of the space of quaternionic $k$-vector fields on $\mathbb{H}P^n$.


title: Nearest-neighbor connectedness theory: A general approach to continuum percolation

abstract: We introduce a method to estimate continuum percolation thresholds and illustrate its usefulness by investigating geometric percolation of non-interacting line segments and disks in two spatial dimensions. These examples serve as models for electrical percolation of elongated and flat nanofillers in thin film composites. While the standard contact volume argument and extensions thereof in connectedness percolation theory yield accurate predictions for slender nanofillers in three dimensions, they fail to do so in two dimensions, making our test a stringent one. In fact, neither a systematic order-by-order correction to the standard argument nor invoking the connectedness version of the Percus-Yevick approximation yield significant improvements for either type of particle. Making use of simple geometric considerations, our new method predicts a percolation threshold of $\rho_c l^2 \approx 5.83$ for segments of length $l$, which is close to the $\rho_c l^2 \approx 5.64$ found in Monte Carlo simulations. For disks of area $a$ we find $\rho_c a \approx 1.00$, close to the Monte Carlo result of $\rho_c a \approx 1.13$. We discuss the shortcomings of the conventional approaches and explain how usage of the nearest-neighbor distribution in our new method bypasses those complications.


title: Detecting Hate Speech with GPT-3

abstract: Sophisticated language models such as OpenAI's GPT-3 can generate hateful text that targets marginalized groups. Given this capacity, we are interested in whether large language models can be used to identify hate speech and classify text as sexist or racist. We use GPT-3 to identify sexist and racist text passages with zero-, one-, and few-shot learning. We find that with zero- and one-shot learning, GPT-3 can identify sexist or racist text with an average accuracy between 55 per cent and 67 per cent, depending on the category of text and type of learning. With few-shot learning, the model's accuracy can be as high as 85 per cent. Large language models have a role to play in hate speech detection, and with further development they could eventually be used to counter hate speech.


title: Symmetric and asymmetric shocked gas jets for laser-plasma experiments

abstract: Shocks in supersonic flows offer both a high-density and sharp density gradients that can be used, for instance,for gradient injection in laser-plasma accelerators. We report on a parametric study of oblique shocks created by inserting a straight axisymmetric section at the end of a supersonic "de Laval" nozzle. The impact of different parameters such as throat diameter and straight section length is studied through computational fluid dynamics (CFD) simulations. Experimental characterizations of a shocked nozzle are compared to CFD simulations and found to be in good agreement. We then introduce a newly designed asymmetric shocked gas jet, where the straight section is only present on one lateral side of the nozzle, thus providing a gas profile that can be used for density transition injection. In this case, full-3D fluid simulations and experimental measurements are compared and show excellent agreement.


title: Binary disease prediction using tail quantiles of the distribution of continuous biomarkers

abstract: In the analysis of binary disease classification, single biomarkers might not have significant discriminating power and multiple biomarkers from a large set of biomarkers should be selected. Numerous approaches exist, but they merely work well for mean differences in biomarkers between cases and controls. Biological processes are however much more heterogeneous, and differences could also occur in other distributional characteristics (e.g. variances, skewness). Many machine learning techniques are better capable of utilizing these higher order distributional differences, sometimes at cost of explainability. In this study we propose quantile based prediction (QBP), a binary classification method that is based on the selection of multiple continuous biomarkers. QBP generates a single score using the tails of the biomarker distributions for cases and controls. This single score can then be evaluated by ROC analysis to investigate its predictive power. The performance of QBP is compared to supervised learning methods using extensive simulation studies, and two case studies: major depression disorder and trisomy. Simultaneously, the classification performance of the existing techniques in relation to each other is assessed. The key strengths of QBP are the opportunity to select relevant biomarkers and the outstanding classification performance in the case biomarkers predominantly show variance differences between cases and controls. When only shifts in means were present in the biomarkers, QBP obtained an inferior performance. Lastly, QBP proved to be unbiased in case of absence of disease relevant biomarkers and outperformed the other methods on the MDD case study. More research is needed to further optimize QBP, since it has several opportunities to improve its performance. Here we wanted to introduce the principle of QBP and show its potential.


title: Localization versus inhomogeneous superfluidity: Submonolayer He-4 on fluorographene, hexagonal boron nitride, and graphene

abstract: We study a sub monolayer He-4 adsorbed on fluorographene (GF) and on hexagonal boron nitride (hBN) at low coverage. The adsorption potentials have been computed ab-initio with a suitable density functional theory including dispersion forces. The properties of the adsorbed He-4 atoms have been computed at finite temperature with path integral Monte Carlo and at T=0 K with variational path integral. From both methods we find that the lowest energy state of He-4 on GF is a superfluid. Due to the very large corrugation of the adsorption potential this superfluid has a very strong spatial anisotropy, the ratio between the largest and smallest areal density being about 6, the superfluid fraction at the lowest T is about 55%, and the temperature of the transition to the normal state is in the range 0.5-1 K. Thus, GF offers a platform for studying the properties of a strongly interacting highly anisotropic bosonic superfluid. At a larger coverage He-4 has a transition to an ordered commensurate state with occupation of 1/6 of the adsorption sites. This phase is stable up to a transition temperature located between 0.5 and 1~K. The system has a triangular order similar to that of He-4 on graphite. The lowest energy state of He-4 on hBN is an ordered commensurate state with occupation of 1/3 of the adsorption sites and triangular symmetry. A disordered state is present at lower coverage as a metastable state. In the presence of an electric field the corrugation of the adsorption potential is slightly increased but up to a magnitude of 1 V/Ang. the effect is small and does not change the stability of the phases of He-4 on GF and hBN. We have verified that also in the case of graphene such electric field does not modify the stability of the commensurate sqrt{3}*sqrt{3}R30 phase.


title: CubeFlow: Money Laundering Detection with Coupled Tensors

abstract: Money laundering (ML) is the behavior to conceal the source of money achieved by illegitimate activities, and always be a fast process involving frequent and chained transactions. How can we detect ML and fraudulent activity in large scale attributed transaction data (i.e.~tensors)? Most existing methods detect dense blocks in a graph or a tensor, which do not consider the fact that money are frequently transferred through middle accounts. CubeFlow proposed in this paper is a scalable, flow-based approach to spot fraud from a mass of transactions by modeling them as two coupled tensors and applying a novel multi-attribute metric which can reveal the transfer chains accurately. Extensive experiments show CubeFlow outperforms state-of-the-art baselines in ML behavior detection in both synthetic and real data.


title: Leveraging Multi-domain, Heterogeneous Data using Deep Multitask Learning for Hate Speech Detection

abstract: With the exponential rise in user-generated web content on social media, the proliferation of abusive languages towards an individual or a group across the different sections of the internet is also rapidly increasing. It is very challenging for human moderators to identify the offensive contents and filter those out. Deep neural networks have shown promise with reasonable accuracy for hate speech detection and allied applications. However, the classifiers are heavily dependent on the size and quality of the training data. Such a high-quality large data set is not easy to obtain. Moreover, the existing data sets that have emerged in recent times are not created following the same annotation guidelines and are often concerned with different types and sub-types related to hate. To solve this data sparsity problem, and to obtain more global representative features, we propose a Convolution Neural Network (CNN) based multi-task learning models (MTLs)\footnote{code is available at https://github.com/imprasshant/STL-MTL} to leverage information from multiple sources. Empirical analysis performed on three benchmark datasets shows the efficacy of the proposed approach with the significant improvement in accuracy and F-score to obtain state-of-the-art performance with respect to the existing systems.


title: Neural ODE Processes

abstract: Neural Ordinary Differential Equations (NODEs) use a neural network to model the instantaneous rate of change in the state of a system. However, despite their apparent suitability for dynamics-governed time-series, NODEs present a few disadvantages. First, they are unable to adapt to incoming data points, a fundamental requirement for real-time applications imposed by the natural direction of time. Second, time series are often composed of a sparse set of measurements that could be explained by many possible underlying dynamics. NODEs do not capture this uncertainty. In contrast, Neural Processes (NPs) are a family of models providing uncertainty estimation and fast data adaptation but lack an explicit treatment of the flow of time. To address these problems, we introduce Neural ODE Processes (NDPs), a new class of stochastic processes determined by a distribution over Neural ODEs. By maintaining an adaptive data-dependent distribution over the underlying ODE, we show that our model can successfully capture the dynamics of low-dimensional systems from just a few data points. At the same time, we demonstrate that NDPs scale up to challenging high-dimensional time-series with unknown latent dynamics such as rotating MNIST digits.


title: Thermodynamics for Nonlinearity in Canonical Ensemble

abstract: For classical discrete systems under constant composition, typically referred to as substitutional alloys, we propose basic frameworks that provide thermodynamic treatment of nonlinearity in canonical ensemble, i.e., nonlinear correspondence between a set of many-body interaction and equilibrium configuration through canonical average. We see that stochastic system evolution driven by the nonlinearity itself can be naturally transformed into system evolution contacting with a single thermal bath. This transformation enables bridge two different concepts of the local nonlinearity on configuration space and non-local nonlinearity on statistical manifold previously introduced: We derive relationships between nonlinearity evolution on statistical manifold and heat inflow through system evolution driven by the nonlinearity on cofiguration space. Owing to the transformation, we find upper bound for the average of the nonlinearity evolution, which is characterized by entropy production of ideally linear system.


title: Towards 6G Holographic Localization: Enabling Technologies and Perspectives

abstract: In the last years, we have experienced the evolution of wireless localization from being a simple add-on feature for enabling specific applications to become an essential characteristic of wireless cellular networks, as for sixth-generation (6G) cellular networks. This paper illustrates the importance of radio localization and its role in all the cellular generations, from first-generation (1G) to 6G. Also, it speculates about the idea of holographic localization where the characteristics of electromagnetic (EM) waves, including the spherical wavefront in the near-field, are fully controlled and exploited to achieve better wireless localization. Along this line, we briefly overview possible technologies, such as large intelligent surfaces, and challenges to realize holographic localization. To corroborate our vision, we also include a numerical example that confirms the potentialities of holographic localization.


title: Chaotic string dynamics in deformed $T^{1,1}$

abstract: Recently, Arutyunov, Bassi and Lacroix have shown that 2D non-linear sigma model with a deformed $T^{1,1}$ background is classically integrable [arXiv:2010.05573 [hep-th]]. This background includes a Kalb-Ramond two-form with a critical value. Then the sigma model has been conjectured to be non-integrable when the two-form is off critical. We confirm this conjecure by explicitly presenting classical chaos. With a winding string ansatz, the system is reduced to a dynamical system described by a set of ordinary differential equations. Then we find classical chaos, which indicates non-integrability, by numerically computing Poincar\'{e} sections and Lyapunov spectra for some initial conditions.


title: OFFSEG: A Semantic Segmentation Framework For Off-Road Driving

abstract: Off-road image semantic segmentation is challenging due to the presence of uneven terrains, unstructured class boundaries, irregular features and strong textures. These aspects affect the perception of the vehicle from which the information is used for path planning. Current off-road datasets exhibit difficulties like class imbalance and understanding of varying environmental topography. To overcome these issues we propose a framework for off-road semantic segmentation called as OFFSEG that involves (i) a pooled class semantic segmentation with four classes (sky, traversable region, non-traversable region and obstacle) using state-of-the-art deep learning architectures (ii) a colour segmentation methodology to segment out specific sub-classes (grass, puddle, dirt, gravel, etc.) from the traversable region for better scene understanding. The evaluation of the framework is carried out on two off-road driving datasets, namely, RELLIS-3D and RUGD. We have also tested proposed framework in IISERB campus frames. The results show that OFFSEG achieves good performance and also provides detailed information on the traversable region.


title: Relay Selection with Imperfect SIC for FD/HD NOMA Cooperative Networks over Nakagami-$m$ Fades

abstract: In this work, a non-orthogonal multiple access (NOMA) based transmission between two sources and two end-users is examined over independent non-identically distributed (i.n.i.d.) slow Nakagami-$m$ fading channels, where a single relay using decode-and-forward (DF) protocol is selected out of a set of full-duplex/half-duplex (FD/HD) multiple relays in accordance with the quality of service criterion. Two relay selection (RS) strategies, selecting a relay to maximize data rate of user 1 at selected relay and selecting a relay out of a set of relays providing service quality for user 1 to maximize data rate of user 2, are analyzed. Additionally, not only perfect successive interference cancellation (pSIC) but also imperfect SIC (ipSIC) is considered. The exact and asymptotic outage probability (OP) expressions are derived and validated via Monte Carlo simulation technique. Unlike existing works, our expressions are unique and valid for all cases such as FD and HD together with pSIC and ipSIC, i.e. expressions are not given separately but in a single compact form. Effect of each component such as pSIC, ipSIC, and self-interference (SI) for FD transmission on error floor of OP is demonstrated. Moreover, the optimum relay location is illustrated for a plenty of scenarios consisting of combination of different power allocations, data rates, pSIC/ipSIC, and total transmitted powers.


title: Volume-Centred Range Bars: Novel Interpretable Representation of Financial Markets Designed for Machine Learning Applications

abstract: Financial markets are a source of non-stationary multidimensional time series which has been drawing attention for decades. Each financial instrument has its specific changing-over-time properties, making its analysis a complex task. Hence, improvement of understanding and development of more informative, generalisable market representations are essential for the successful operation in financial markets, including risk assessment, diversification, trading, and order execution. In this study, we propose a volume-price-based market representation for making financial time series more suitable for machine learning pipelines. We use a statistical approach for evaluating the representation. Through the research questions, we investigate, i) whether the proposed representation allows the more efficient design of machine learning models; ii) whether the proposed representation leads to increased performance over the price levels market pattern; iii) whether the proposed representation performs better on the liquid markets, and iv) whether SHAP feature interactions are reliable to be used in the considered setting. Our analysis shows that the proposed volume-based method allows successful classification of the financial time series patterns, and also leads to better classification performance than the price levels-based method, excelling specifically on more liquid financial instruments. Finally, we propose an approach for obtaining feature interactions directly from tree-based models and compare the outcomes to those of the SHAP method. This results in the significant similarity between the two methods, hence we claim that SHAP feature interactions are reliable to be used in the setting of financial markets.


title: HSEarch: semantic search system for workplace accident reports

abstract: Semantic search engines, which integrate the output of text mining (TM) methods, can significantly increase the ease and efficiency of finding relevant documents and locating important information within them. We present a novel search engine for the construction industry, HSEarch (http://www.nactem.ac.uk/hse/), which uses TM methods to provide semantically-enhanced, faceted search over a repository of workplace accident reports. Compared to previous TM-driven search engines for the construction industry, HSEarch provides a more interactive means for users to explore the contents of the repository, to review documents more systematically and to locate relevant knowledge within them.


title: Gravity in $d=2+\epsilon$ dimensions and realizations of the diffeomorphisms group

abstract: We discuss two distinct realizations of the diffeomorphism group for metric gravity, which give rise to theories that are classically equivalent, but quantum mechanically distinct. We renormalize them in $d=2+\epsilon$ dimensions, developing a new procedure for dimensional continuation of metric theories and highlighting connections with the constructions that previously appeared in the literature. Our hope is to frame candidates ultraviolet completions of quantum gravity in $d>2$ and give some perturbative mean to assess its existence in $d=4$, but also to speculate on some potential obstructions in the continuation of such candidates to finite values of $\epsilon$. Our results suggest the presence of a conformal window in $d$ which seems to extend to values higher than four.


title: Heat blanketing envelopes of neutron stars

abstract: Near the surface of any neutron star there is a thin heat blanketing envelope that produces substantial thermal insulation of warm neutron star interiors and that relates the internal temperature of the star to its effective surface temperature. Physical processes in the blanketing envelopes are reasonably clear but the chemical composition is not. The latter circumstance complicates inferring physical parameters of matter in the stellar interiors from observations of the thermal surface radiation of the stars and urges one to elaborate the models of blanketing envelopes. We outline physical properties of these envelopes, particularly, the equation of state, thermal conduction, ion diffusion and others. Various models of heat blankets are reviewed, such as composed of separate layers of different elements, or containing diffusive binary ion mixtures in or out of diffusion equilibrium. The effects of strong magnetic fields in the envelopes are outlined as well as the effects of high temperatures which induce strong neutrino emission in the envelopes themselves. Finally, we discuss how the properties of the heat blankets affect thermal evolution of neutron stars and the ability to infer important information on internal structure of neutron stars from observations.


title: Improving and benchmarking of algorithms for $\Gamma$-maximin, $\Gamma$-maximax and interval dominance

abstract: $\Gamma$-maximin, $\Gamma$-maximax and inteval dominance are familiar decision criteria for making decisions under severe uncertainty, when probability distributions can only be partially identified. One can apply these three criteria by solving sequences of linear programs. In this study, we present new algorithms for these criteria and compare their performance to existing standard algorithms. Specifically, we use efficient ways, based on previous work, to find common initial feasible points for these algorithms. Exploiting these initial feasible points, we develop early stopping criteria to determine whether gambles are either $\Gamma$-maximin, $\Gamma$-maximax or interval dominant. We observe that the primal-dual interior point method benefits considerably from these improvements. In our simulation, we find that our proposed algorithms outperform the standard algorithms when the size of the domain of lower previsions is less or equal to the sizes of decisions and outcomes. However, our proposed algorithms do not outperform the standard algorithms in the case that the size of the domain of lower previsions is much larger than the sizes of decisions and outcomes.


title: BossNAS: Exploring Hybrid CNN-transformers with Block-wisely Self-supervised Neural Architecture Search

abstract: A myriad of recent breakthroughs in hand-crafted neural architectures for visual recognition have highlighted the urgent need to explore hybrid architectures consisting of diversified building blocks. Meanwhile, neural architecture search methods are surging with an expectation to reduce human efforts. However, whether NAS methods can efficiently and effectively handle diversified search spaces with disparate candidates (e.g. CNNs and transformers) is still an open question. In this work, we present Block-wisely Self-supervised Neural Architecture Search (BossNAS), an unsupervised NAS method that addresses the problem of inaccurate architecture rating caused by large weight-sharing space and biased supervision in previous methods. More specifically, we factorize the search space into blocks and utilize a novel self-supervised training scheme, named ensemble bootstrapping, to train each block separately before searching them as a whole towards the population center. Additionally, we present HyTra search space, a fabric-like hybrid CNN-transformer search space with searchable down-sampling positions. On this challenging search space, our searched model, BossNet-T, achieves up to 82.5% accuracy on ImageNet, surpassing EfficientNet by 2.4% with comparable compute time. Moreover, our method achieves superior architecture rating accuracy with 0.78 and 0.76 Spearman correlation on the canonical MBConv search space with ImageNet and on NATS-Bench size search space with CIFAR-100, respectively, surpassing state-of-the-art NAS methods. Code: https://github.com/changlin31/BossNAS


title: The explanation of some exotic states in the $cs\bar{c}\bar{s}$ tetraquark system

abstract: Inspired by the recent observation of $\chi_{c0}(3930)$, $X(4685)$ and $X(4630)$ by the LHCb Collaboration and some exotic resonances such as $X(4350)$, $X(4500)$, etc. by several experiment collaborations, the $cs\bar{c}\bar{s}$ tetraquark systems with $IJ^{P}=00^+$, $01^+$ and $02^+$ are systematically investigated in the framework of the quark delocalization color screening model(QDCSM). Two structures, the meson-meson and diquark-antidiquark structures, as well as the channel-coupling of all channels of these two configurations are considered in this work. The numerical results indicate that the molecular bound state $\bar{D}_{s}D_{s}$ with $IJ^{P}=00^+$ can be supposed to explain the $\chi_{c0}(3930)$. Besides, by using the stabilization method, several resonant states are obtained. There are four $IJ^{P}=00^{+}$ states around the resonance mass 4035 MeV, 4385 MeV, 4524 MeV, and 4632 MeV, respectively; one $IJ^{P}=01^{+}$ state around the resonance mass 4327 MeV; and two $IJ^{P}=02^{+}$ states around the resonance mass 4419 MeV and 4526 MeV, respectively. All of them are compact tetraquarks. Among these states, $X(4350)$, $X(4500)$ and $X(4700)$ can be explained as the compact tetraquark state with $IJ^{P}=00^{+}$, and the $X(4274)$ is possible to be a candidate of the compact tetraquark state with $IJ^{P}=01^{+}$. More experimental tests are expected to check the existence of all these possible resonance states.


title: Remarks on D(2,1;a) super-Schwarzian derivative

abstract: It was recently demonstrated that N=1,2,3,4 super-Schwarzian derivatives can be constructed by applying the method of nonlinear realisations to finite-dimensional superconformal groups OSp(1|2), SU(1,1|1), OSp(3|2), SU(1,1|2), respectively, thus avoiding the use of superconformal field theory techniques. In this work, a similar construction is applied to the exceptional supergroup D(2,1;a), which describes the most general N=4 supersymmetric extension of SL(2,R), with the aim to study possible candidates for a D(2,1;a) super-Schwarzian derivative.


title: On non-compact $p$-adic definable groups

abstract: Peterzil and Steinhorn proved that if a group $G$ definable in an $o$-minimal structure is not definably compact, then $G$ contains a definable torsion-free subgroup of dimension one. We prove here a $p$-adic analogue of the Peterzil-Steinhorn theorem, in the special case of abelian groups. Let $G$ be an abelian group definable in a $p$-adically closed field $M$. If $G$ is not definably compact then there is a definable subgroup $H$ of dimension one which is not definably compact. In a future paper we will generalize this to non-abelian $G$.


title: Modeling the Severity of Complaints in Social Media

abstract: The speech act of complaining is used by humans to communicate a negative mismatch between reality and expectations as a reaction to an unfavorable situation. Linguistic theory of pragmatics categorizes complaints into various severity levels based on the face-threat that the complainer is willing to undertake. This is particularly useful for understanding the intent of complainers and how humans develop suitable apology strategies. In this paper, we study the severity level of complaints for the first time in computational linguistics. To facilitate this, we enrich a publicly available data set of complaints with four severity categories and train different transformer-based networks combined with linguistic information achieving 55.7 macro F1. We also jointly model binary complaint classification and complaint severity in a multi-task setting achieving new state-of-the-art results on binary complaint detection reaching up to 88.2 macro F1. Finally, we present a qualitative analysis of the behavior of our models in predicting complaint severity levels.


title: A Bayesian View on the Dr. Evil Scenario

abstract: In "Defeating Dr. Evil with Self-Locating Belief", Adam Elga proposes and defends a principle of indifference for self-locating beliefs: if an individual is confident that his world contains more than one individual who is in a state subjectively indistinguishable from his own, then he should assign equal credences to the hypotheses that he is any one of these individuals. Through a sequence of thought experiments, Elga in effect claims that he can derive the credence function that should apply in such situations, thus justifying his principle of indifference. Here we argue, using a Bayesian approach, that Elga's reasoning is circular: in analyzing the third of his thought experiments, he uses an assertion that is justifiable only if one assumes, from the start, the principle of indifference that he is attempting to justify. We agree with Elga that the assumption of equal credences is a very reasonable principle, in the absence of any reason to assign unequal credences, but we do not agree that the equality of credences can be so derived.


title: Tidal heating of black holes and exotic compact objects on the brane

abstract: During the early phase of in-spiral of a binary system, the tidal heating of a compact object due to its companion plays a significant role in the determination of the orbital evolution of the binary. The phenomenon depends crucially on the `hairs', as well as on the nature of the compact object. It turns out that the presence of extra dimension affects both these properties, by incorporating an extra tidal charge for braneworld black holes and also by introducing quantum effects, leading to possible existence of exotic compact objects. It turns out that the phasing information from tidal heating in the gravitational wave waveform can constrain the tidal charge inherited from extra dimension to a value $\sim 10^{-6}$, the most stringent constraint, to date. Moreover, second order effects in tidal heating for exotic compact objects, also reveals an oscillatory behaviour with respect to spin, which has unique signatures.


title: TMC-1, the starless core sulfur factory: Discovery of NCS, HCCS, H2CCS, H2CCCS, and C4S and detection of C5S

abstract: We report the detection of the sulfur-bearing species NCS, HCCS, H2CCS, H2CCCS, and C4S for the first time in space. These molecules were found towards TMC-1 through the observation of several lines for each species. We also report the detection of C5S for the first time in a cold cloud through the observation of five lines in the 31-50 GHz range. The derived column densities are N(NCS) = (7.8 +/- 0.6)e11 cm-2, N(HCCS) = (6.8 +/- 0.6)e11 cm-2, N(H2CCS) = (7.8 +/- 0.8)e11 cm-2, N(H2CCCS) = (3.7 +/- 0.4)e11 cm-2, N(C4S) = (3.8 +/- 0.4)e10 cm-2, and N(C5S) = (5.0 +/- 1.0)e10 cm-2. The observed abundance ratio between C3S and C4S is 340, that is to say a factor of approximately one hundred larger than the corresponding value for CCS and C3S. The observational results are compared with a state-of-the-art chemical model, which is only partially successful in reproducing the observed abundances. These detections underline the need to improve chemical networks dealing with S-bearing species.


title: Strong Detectability and Observers for Linear Time Varying Systems

abstract: This work presents a notion of strong detectability for linear time varying systems affected by unknown inputs. It is shown that this notion is equivalent to detectability of an auxiliary system without unknown inputs. This allows a straightforward observer design for dependable state estimation in the presence of unknown inputs. The design reduces to a deterministic Kalman filter design problem, where the observer gains can be obtained from the solution of a differential Riccati equation. The efficacy of the proposed approach is demonstrated by means of a numerical example.


title: Sensitivity of Standard Library Cells to Optical Fault Injection Attacks in IHP 250 nm Technology

abstract: The IoT consists of a lot of devices such as embedded systems, wireless sensor nodes (WSNs), control systems, etc. It is essential for some of these devices to protect information that they process and transmit. The issue is that an adversary may steal these devices to gain a physical access to the device. There is a variety of ways that allows to reveal cryptographic keys. One of them are optical Fault Injection attacks. We performed successful optical Fault Injections into different type of gates, in particular INV, NAND, NOR, FF. In our work we concentrate on the selection of the parameters configured by an attacker and their influence on the success of the Fault Injections.


title: Recent Ice Trends in Swiss Mountain Lakes: 20-year Analysis of MODIS Imagery

abstract: Depleting lake ice is a climate change indicator, just like sea-level rise or glacial retreat. Monitoring Lake Ice Phenology (LIP) is useful because long-term freezing and thawing patterns serve as sentinels to understand regional and global climate change. We report a study for the Oberengadin region of Switzerland, where several small- and medium-sized mountain lakes are located. We observe the LIP events, such as freeze-up, break-up and ice cover duration, across two decades (2000-2020) from optical satellite images. We analyse the time series of MODIS imagery by estimating spatially resolved maps of lake ice for these Alpine lakes with supervised machine learning. To train the classifier we rely on reference data annotated manually based on webcam images. From the ice maps, we derive long-term LIP trends. Since the webcam data are only available for two winters, we cross-check our results against the operational MODIS and VIIRS snow products. We find a change in complete freeze duration of -0.76 and -0.89 days per annum for lakes Sils and Silvaplana, respectively. Furthermore, we observe plausible correlations of the LIP trends with climate data measured at nearby meteorological stations. We notice that mean winter air temperature has a negative correlation with the freeze duration and break-up events and a positive correlation with the freeze-up events. Additionally, we observe a strong negative correlation of sunshine during the winter months with the freeze duration and break-up events.


title: Evaluation of the Sensitivity of RRAM Cells to Optical Fault Injection Attacks

abstract: Resistive Random Access Memory (RRAM) is a type of Non-Volatile Memory (NVM). In this paper we investigate the sensitivity of the TiN/Ti/Al:HfO2/TiN-based 1T-1R RRAM cells implemented in a 250 nm CMOS IHP technology to the laser irradiation in detail. Experimental results show the feasibility to influence the state of the cells under laser irradiation, i.e. successful optical Fault Injection. We focus on the selection of the parameters of the laser station and their influence on the success of optical Fault Injections.


title: Metal Fillers as Potential Low Cost Countermeasure against Optical Fault Injection Attacks

abstract: Physically accessible devices such as sensor nodes in Wireless Sensor Networks or "smart" devices in the Internet of Things have to be resistant to a broad spectrum of physical attacks, for example to Side Channel Analysis and to Fault Injection attacks. In this work we concentrate on the vulnerability of ASICs to precise optical Fault Injection attacks. Here we propose to use metal fillers as potential low-cost countermeasure that may be effective against a broad spectrum of physical attacks. In our future work we plan to evaluate different methods of metal fillers placement, to select an effective one and to integrate it as additional design rules into automated design flows.


title: Learning without Seeing nor Knowing: Towards Open Zero-Shot Learning

abstract: In Generalized Zero-Shot Learning (GZSL), unseen categories (for which no visual data are available at training time) can be predicted by leveraging their class embeddings (e.g., a list of attributes describing them) together with a complementary pool of seen classes (paired with both visual data and class embeddings). Despite GZSL is arguably challenging, we posit that knowing in advance the class embeddings, especially for unseen categories, is an actual limit of the applicability of GZSL towards real-world scenarios. To relax this assumption, we propose Open Zero-Shot Learning (OZSL) to extend GZSL towards the open-world settings. We formalize OZSL as the problem of recognizing seen and unseen classes (as in GZSL) while also rejecting instances from unknown categories, for which neither visual data nor class embeddings are provided. We formalize the OZSL problem introducing evaluation protocols, error metrics and benchmark datasets. We also suggest to tackle the OZSL problem by proposing the idea of performing unknown feature generation (instead of only unseen features generation as done in GZSL). We achieve this by optimizing a generative process to sample unknown class embeddings as complementary to the seen and the unseen. We intend these results to be the ground to foster future research, extending the standard closed-world zero-shot learning (GZSL) with the novel open-world counterpart (OZSL).


title: Oriented pro-$\ell$ groups with the Bogomolov-Positselski property

abstract: For a prime number $\ell$ we say that an oriented pro-$\ell$ group $(G,\theta)$ has the Bogomolov-Positselski property if the kernel of the canonical projection on its maximal $\theta$-abelian quotient $\pi^{ab}_{G,\theta}\colon G\to G(\theta)$ is a free pro-$\ell$ group contained in the Frattini subgroup of $G$. We show that oriented pro-$\ell$ groups of elementary type have the Bogomolov-Positselski property. This shows that Efrat's Elementary Type Conjecture implies a positive answer to Positselski's version of Bogomolov's Conjecture on maximal pro-$\ell$ Galois groups of a field $K$ in case that $K^\times/(K^\times)^\ell$ is finite. Secondly, it is shown that for an $H^\bullet$-quadratic oriented pro-$\ell$ group $(G,\theta)$ the Bogomolov-Positselski property can be expressed by the injectivity of the transgression map $d_2^{2,1}$ in the Hochschild-Serre spectral sequence.


title: Modelling the Sgr A* Black Hole Immersed in a Dark Matter Spike

abstract: In this paper, we investigate the effects of a dark matter (DM) spike on the neighborhood of Sgr A*, the black hole (BH) in the center of the Milky Way galaxy. Our main goal is to investigate whether current and future astronomical observations of Sgr A* could detect the presence of such a DM spike. At first, we construct the spacetime metric around a static and spherically symmetric BH with a DM spike, and later this solution is generalized for a rotating BH using the Newman-Janis-Azreg A\"{i}nou algorithm. For the static BH metric, we use the data of the S2 star orbiting the Sgr A* to determine and analyze the constraints on the two free parameters characterizing the density and the innermost boundary of the DM halo surrounding the BH. Furthermore, by making use of the available observational data for the DM spike density $\rho_\text{sp}$ and the DM spike radius $R_\text{sp}$ in the Milky Way galaxy, we consider a geometrically-thick accretion disk model around the Sgr A* BH and demonstrate that the effect of DM distribution on the shadow radius and the image of the BH is considerably weak for realistic DM densities, becoming significant only when the DM density is of the order $\rho_\text{sp} \sim (10^{-19}-10^{-20})$ g/cm$^3$ near the BH. We further analyze the possibility of observing this effect with radio interferometry, simulating observations with an EHT--like array, and find that it is unlikely to be detectable in the near future.


title: Redefining Absent Keyphrases and their Effect on Retrieval Effectiveness

abstract: Neural keyphrase generation models have recently attracted much interest due to their ability to output absent keyphrases, that is, keyphrases that do not appear in the source text. In this paper, we discuss the usefulness of absent keyphrases from an Information Retrieval (IR) perspective, and show that the commonly drawn distinction between present and absent keyphrases is not made explicit enough. We introduce a finer-grained categorization scheme that sheds more light on the impact of absent keyphrases on scientific document retrieval. Under this scheme, we find that only a fraction (around 20%) of the words that make up keyphrases actually serves as document expansion, but that this small fraction of words is behind much of the gains observed in retrieval effectiveness. We also discuss how the proposed scheme can offer a new angle to evaluate the output of neural keyphrase generation models.


title: Partial Matching in the Space of Varifolds

abstract: In computer vision and medical imaging, the problem of matching structures finds numerous applications from automatic annotation to data reconstruction. The data however, while corresponding to the same anatomy, are often very different in topology or shape and might only partially match each other. We introduce a new asymmetric data dissimilarity term for various geometric shapes like sets of curves or surfaces. This term is based on the Varifold shape representation and assesses the embedding of a shape into another one without relying on correspondences between points. It is designed as data attachment for the Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, allowing to compute meaningful deformation of one shape onto a subset of the other. Registrations are illustrated on sets of synthetic 3D curves, real vascular trees and livers' surfaces from two different modalities: Computed Tomography (CT) and Cone Beam Computed Tomography (CBCT). All experiments show that this data dissimilarity term leads to coherent partial matching despite the topological differences.


title: On Stability of Asymptotically Free Mimetic Ho\v{r}ava Gravity

abstract: Asymptotically free mimetic gravity has been introduced as a proposal for a classical limiting curvature theory with the purpose of singularity resolution. It was found that in a spatially flat universe an initial stage of exponential expansion with graceful exit is a generic consequence, regardless of the matter content. In this work I will analyze linear stability of cosmological perturbations in such a model, considering only the degrees of freedom of pure mimetic gravity. I show that the addition of Ho\v{r}ava-gravity-like higher order spatial curvature terms can lift the gradient instability of scalar perturbations, even when the gradient term has the wrong sign throughout. Calculating the primordial spectra of tensor and scalar perturbations in the simplest single component model, I find that the initially scale invariant spectra turn out to be destroyed later by the rapidly varying speed of sound at horizon exit.


title: Deep KKL: Data-driven Output Prediction for Non-Linear Systems

abstract: We address the problem of output prediction, ie. designing a model for autonomous nonlinear systems capable of forecasting their future observations. We first define a general framework bringing together the necessary properties for the development of such an output predictor. In particular, we look at this problem from two different viewpoints, control theory and data-driven techniques (machine learning), and try to formulate it in a consistent way, reducing the gap between the two fields. Building on this formulation and problem definition, we propose a predictor structure based on the Kazantzis-Kravaris/Luenberger (KKL) observer and we show that KKL fits well into our general framework. Finally, we propose a constructive solution for this predictor that solely relies on a small set of trajectories measured from the system. Our experiments show that our solution allows to obtain an efficient predictor over a subset of the observation space.


title: Exploiting Sparsity in Complex Polynomial Optimization

abstract: In this paper, we study the sparsity-adapted complex moment-Hermitian sum of squares (moment-HSOS) hierarchy for complex polynomial optimization problems, where the sparsity includes correlative sparsity and term sparsity. We compare the strengths of the sparsity-adapted complex moment-HSOS hierarchy with the sparsity-adapted real moment-SOS hierarchy on either randomly generated complex polynomial optimization problems or the AC optimal power flow problem. The results of numerical experiments show that the sparsity-adapted complex moment-HSOS hierarchy provides a trade-off between the computational cost and the quality of obtained bounds for large-scale complex polynomial optimization problems.


title: Gravitational wave signature of proto-neutron star convection: I. MHD numerical simulations

abstract: Gravitational waves provide a unique and powerful opportunity to constrain the dynamics in the interior of proto-neutron stars during core collapse supernovae. Convective motions play an important role in generating neutron stars magnetic fields, which could explain magnetar formation in the presence of fast rotation. We compute the gravitational wave emission from proto-neutron star convection and its associated dynamo, by post-processing three-dimensional MHD simulations of a model restricted to the convective zone in the anelastic approximation. We consider two different proto-neutron star structures representative of early times (with a convective layer) and late times (when the star is almost entirely convective). In the slow rotation regime, the gravitational wave emission follows a broad spectrum peaking at about three times the turnover frequency. In this regime, the inclusion of magnetic fields slightly decreases the amplitude without changing the spectrum significantly compared to a non-magnetised simulation. Fast rotation changes both the amplitude and spectrum dramatically. The amplitude is increased by a factor of up to a few thousands. The spectrum is characterized by several peaks associated to inertial modes, whose frequency scales with the rotation frequency. Using simple physical arguments, we derive scalings that reproduce quantitatively several aspects of these numerical results. We also observe an excess of low-frequency gravitational waves, which appears at the transition to a strong field dynamo characterized by a strong axisymmetric toroidal magnetic field. This signature of dynamo action could be used to constrain the dynamo efficiency in a proto-neutron star with future gravitational wave detections.


title: PENELLOPE: the ESO data legacy program to complement the Hubble UV Legacy Library of Young Stars (ULLYSES) I. Survey presentation and accretion properties of Orion OB1 and $\sigma$-Orionis

abstract: The evolution of young stars and disks is driven by the interplay of several processes, notably accretion and ejection of material. Critical to correctly describe the conditions of planet formation, these processes are best probed spectroscopically. About five-hundred orbits of the Hubble Space Telescope (HST) are being devoted in 2020-2022 to the ULLYSES public survey of about 70 low-mass (M<2Msun) young (age<10 Myr) stars at UV wavelengths. Here we present the PENELLOPE Large Program that is being carried out at the ESO Very Large Telescope (VLT) to acquire, contemporaneous to HST, optical ESPRESSO/UVES high-resolution spectra to investigate the kinematics of the emitting gas, and UV-to-NIR X-Shooter medium-resolution flux-calibrated spectra to provide the fundamental parameters that HST data alone cannot provide, such as extinction and stellar properties. The data obtained by PENELLOPE have no proprietary time, and the fully reduced spectra are made available to the whole community. Here, we describe the data and the first scientific analysis of the accretion properties for the sample of thirteen targets located in the Orion OB1 association and in the sigma-Orionis cluster, observed in Nov-Dec 2020. We find that the accretion rates are in line with those observed previously in similarly young star-forming regions, with a variability on a timescale of days of <3. The comparison of the fits to the continuum excess emission obtained with a slab model on the X-Shooter spectra and the HST/STIS spectra shows a shortcoming in the X-Shooter estimates of <10%, well within the assumed uncertainty. Its origin can be either a wrong UV extinction curve or due to the simplicity of this modelling, and will be investigated in the course of the PENELLOPE program. The combined ULLYSES and PENELLOPE data will be key for a better understanding of the accretion/ejection mechanisms in young stars.


title: What we can learn from how programmers debug their code

abstract: Researchers have developed numerous debugging approaches to help programmers in the debugging process, but these approaches are rarely used in practice. In this paper, we investigate how programmers debug their code and what researchers should consider when developing debugging approaches. We conducted an online questionnaire where 102 programmers provided information about recently fixed bugs. We found that the majority of bugs (69.6 %) are semantic bugs. Memory and concurrency bugs do not occur as frequently (6.9 % and 8.8 %), but they consume more debugging time. Locating a bug is more difficult than reproducing and fixing it. Programmers often use only IDE build-in tools for debugging. Furthermore, programmers frequently use a replication-observation-deduction pattern when debugging. These results suggest that debugging support is particularly valuable for memory and concurrency bugs. Furthermore, researchers should focus on the fault localization phase and integrate their tools into commonly used IDEs.


title: Quantum-access security of the Winternitz one-time signature scheme

abstract: Quantum-access security, where an attacker is granted superposition access to secret-keyed functionalities, is a fundamental security model and its study has inspired results in post-quantum security. We revisit, and fill a gap in, the quantum-access security analysis of the Lamport one-time signature scheme (OTS) in the quantum random oracle model (QROM) by Alagic et al.~(Eurocrypt 2020). We then go on to generalize the technique to the Winternitz OTS. Along the way, we develop a tool for the analysis of hash chains in the QROM based on the superposition oracle technique by Zhandry (Crypto 2019) which might be of independent interest.


title: Magnetization profiles at the upper critical dimension as solutions of the integer Yamabe problem

abstract: We study the connection between the magnetization profiles of models described by a scalar field with marginal interaction term in a bounded domain and the solutions of the so-called Yamabe problem in the same domain, which amounts to finding a metric having constant curvature. Taking the slab as a reference domain, we first study the magnetization profiles at the upper critical dimensions $d=3$, $4$, $6$ for different (scale invariant) boundary conditions. By studying the saddle-point equations for the magnetization, we find general formulas in terms of Weierstrass elliptic functions, extending exact results known in literature and finding new ones for the case of percolation. The zeros and poles of the Weierstrass elliptic solutions can be put in direct connection with the boundary conditions. We then show that, for any dimension $d$, the magnetization profiles are solution of the corresponding integer Yamabe equation at the same $d$ and with the same boundary conditions. The magnetization profiles in the specific case of the $4$-dimensional Ising model with fixed boundary conditions are compared with Monte Carlo simulations, finding good agreement. These results explicitly confirm at the upper critical dimension recent results presented in [1].

categories: cond-mat.stat-mech cond-mat.soft hep-lat hep-th


title: Are Neural Language Models Good Plagiarists? A Benchmark for Neural Paraphrase Detection

abstract: The rise of language models such as BERT allows for high-quality text paraphrasing. This is a problem to academic integrity, as it is difficult to differentiate between original and machine-generated content. We propose a benchmark consisting of paraphrased articles using recent language models relying on the Transformer architecture. Our contribution fosters future research of paraphrase detection systems as it offers a large collection of aligned original and paraphrased documents, a study regarding its structure, classification experiments with state-of-the-art systems, and we make our findings publicly available.


title: Plant efficiency: a sensitivity analysis of the capacity factor for fusion power plants with high recirculated power

abstract: The plant efficiency of a nuclear fusion power plant is considered. During nominal operation, the plant efficiency is determined by the thermodynamic efficiency and the recirculated power fraction. However, on average the reactor operates below the nominal power, even when the long shutdown periods for large maintenance are left outside the averaging. Hence, next to the recirculated power fraction, the capacity factor must be factored in. An expression for the plant efficiency which incorporates both factors is given. It is shown that the combination of high recirculated power fraction and a low capacity factor results in poor plant efficiency. This is due to the fact that in a fusion reactor the recirculated power remains high if it runs at reduced output power. It is argued that, at least for a first generation of power plants, this combination is likely to occur. Worked out example calculations are given for the models of the Power Plant Conceptual Study. Finally, the impact on the competitiveness of fusion on the energy market is discussed. This analysis stresses the importance of the development of plant designs with low recirculated power fraction.


title: Bandits with many optimal arms

abstract: We consider a stochastic bandit problem with a possibly infinite number of arms. We write $p^*$ for the proportion of optimal arms and $\Delta$ for the minimal mean-gap between optimal and sub-optimal arms. We characterize the optimal learning rates both in the cumulative regret setting, and in the best-arm identification setting in terms of the problem parameters $T$ (the budget), $p^*$ and $\Delta$. For the objective of minimizing the cumulative regret, we provide a lower bound of order $\Omega(\log(T)/(p^*\Delta))$ and a UCB-style algorithm with matching upper bound up to a factor of $\log(1/\Delta)$. Our algorithm needs $p^*$ to calibrate its parameters, and we prove that this knowledge is necessary, since adapting to $p^*$ in this setting is impossible. For best-arm identification we also provide a lower bound of order $\Omega(\exp(-cT\Delta^2 p^*))$ on the probability of outputting a sub-optimal arm where $c>0$ is an absolute constant. We also provide an elimination algorithm with an upper bound matching the lower bound up to a factor of order $\log(T)$ in the exponential, and that does not need $p^*$ or $\Delta$ as parameter. Our results apply directly to the three related problems of competing against the $j$-th best arm, identifying an $\epsilon$ good arm, and finding an arm with mean larger than a quantile of a known order.


title: Fully nonlinear free transmission problems with nonhomogeneous degeneracies

abstract: We prove existence and regularity results for free transmission problems governed by fully nonlinear elliptic equations with nonhomogeneous degeneracies.


title: Interaction of Luminescent Defects in Carbon Nanotubes with Covalently Attached Stable Organic Radicals

abstract: The functionalization of single-walled carbon nanotubes (SWCNTs) with luminescent sp$^{3}$ defects has greatly improved their performance in applications such as quantum light sources and bioimaging. Here, we report the covalent functionalization of purified semiconducting SWCNTs with stable organic radicals (perchlorotriphenylmethyl, PTM) carrying a net spin. This model system allows us to use the near-infrared photoluminescence arising from the defect-localized exciton as a highly sensitive probe for the short-range interaction between the PTM radical and the SWCNT. Our results point toward an increased triplet exciton population due to radical-enhanced intersystem crossing, which could provide access to the elusive triplet manifold in SWCNTs. Furthermore, this simple synthetic route to spin-labeled defects could enable magnetic resonance studies complementary to in vivo fluorescence imaging with functionalized SWCNTs and facilitate the scalable fabrication of spintronic devices with magnetically switchable charge transport.


title: Adsorption of Light Gases in Covalent Organic Frameworks: Comparison of Classical Density Functional Theory and Grand Canonical Monte Carlo Simulations

abstract: A classical density functional theory (cDFT) based on the PC-SAFT equation of state is proposed for the calculation of adsorption equilibria of pure substances and their mixtures in covalent organic frameworks (COFs). Adsorption isotherms of methane, ethane, n-butane and nitrogen in the COFs TpPa-1 and 2,3-DhaTph are calculated and compared to results from grand canonical Monte Carlo (GCMC) simulations. Mixture adsorption is investigated for the methane/ethane and methane/n-butane binary systems. Excellent agreement between PC-SAFT DFT and GCMC is obtained for all adsorption isotherms up to pressures of 50 bar. The cDFT formalism accurately predicts the selective accumulation of longer hydrocarbons for binary mixtures in the considered COFs. This application shows substantial predictive power of PC-SAFT DFT solved in three-dimensional geometries and the results suggest the method can in the future also be applied for efficient optimization of force field parameters or of structural properties of the porous material based on an analytical theory as opposed to a stochastic simulation.


title: Health Status Prediction with Local-Global Heterogeneous Behavior Graph

abstract: Health management is getting increasing attention all over the world. However, existing health management mainly relies on hospital examination and treatment, which are complicated and untimely. The emerging of mobile devices provides the possibility to manage people's health status in a convenient and instant way. Estimation of health status can be achieved with various kinds of data streams continuously collected from wearable sensors. However, these data streams are multi-source and heterogeneous, containing complex temporal structures with local contextual and global temporal aspects, which makes the feature learning and data joint utilization challenging. We propose to model the behavior-related multi-source data streams with a local-global graph, which contains multiple local context sub-graphs to learn short term local context information with heterogeneous graph neural networks and a global temporal sub-graph to learn long term dependency with self-attention networks. Then health status is predicted based on the structure-aware representation learned from the local-global behavior graph. We take experiments on StudentLife dataset, and extensive results demonstrate the effectiveness of our proposed model.


title: Stabilization of multi-mode Schrodinger cat states via normal-mode dissipation engineering

abstract: Non-Gaussian quantum states have been deterministically prepared and autonomously stabilized in single- and two-mode circuit quantum electrodynamics architectures via engineered dissipation. However, it is currently unknown how to scale up this technique to multi-mode non-Gaussian systems. Here, we upgrade dissipation engineering to collective (normal) modes of nonlinear resonator arrays and show how to stabilize multi-mode Schrodinger cat states. These states are multi-photon and multi-mode quantum superpositions of coherent states in a single normal mode delocalized over an arbitrary number of cavities. We consider tailored dissipative coupling between resonators that are parametrically driven and feature an on-site nonlinearity, which is either a Kerr-type nonlinearity or an engineered two-photon loss. For both types of nonlinearity, we find the same exact closed-form solutions for the two-dimensional steady-state manifold spanned by superpositions of multi-mode Schrodinger cat states. We further show that, in the Zeno limit of strong dissipative coupling, the even parity multi-mode cat state can be deterministically prepared from the vacuum. Remarkably, engineered two-photon loss gives rise to a fast relaxation towards the steady state, protecting the state preparation against decoherence due to intrinsic single-photon losses and imperfections in tailored dissipative coupling, which sets in at longer times. The relaxation time is independent of system size making the state preparation scalable. Multi-mode cat states are naturally endowed with a noise bias that increases exponentially with system size and can thus be exploited for enhanced robust encoding of quantum information.


title: Koopman operator framework for spectral analysis and identification of infinite-dimensional systems

abstract: We consider Koopman operator theory in the context of nonlinear infinite-dimensional systems, where the operator is defined over a space of bounded continuous functionals. The properties of the Koopman semigroup are described and a finite-dimensional projection of the semigroup is proposed, which provides a linear finite-dimensional approximation of the underlying infinite-dimensional dynamics. This approximation is used to obtain spectral properties from data, a method which can be seen as a generalization of Extended Dynamic Mode Decomposition for infinite-dimensional systems. Finally, we exploit the proposed framework to identify (a finite-dimensional approximation of) the Lie generator associated with the Koopman semigroup. This approach yields a linear method for nonlinear PDE identification, which is complemented with theoretical convergence results.


title: Dual Mesh Convolutional Networks for Human Shape Correspondence

abstract: Convolutional networks have been extremely successful for regular data structures such as 2D images and 3D voxel grids. The transposition to meshes is, however, not straight-forward due to their irregular structure. We explore how the dual, face-based representation of triangular meshes can be leveraged as a data structure for graph convolutional networks. In the dual mesh, each node (face) has a fixed number of neighbors, which makes the networks less susceptible to overfitting on the mesh topology, and also al-lows the use of input features that are naturally defined over faces, such as surface normals and face areas. We evaluate the dual approach on the shape correspondence task on theFaust human shape dataset and variants of it with differ-ent mesh topologies. Our experiments show that results of graph convolutional networks improve when defined over the dual rather than primal mesh. Moreover, our models that explicitly leverage the neighborhood regularity of dual meshes allow improving results further while being more robust to changes in the mesh topology.


title: Effect of Dipole Energy on Half-Quantum Vortex in Superfluid Polar Phase

abstract: NMR experiments on superfluid 3He in a nematic aerogel have shown that the stability of the half-quantum vortex (HQV) realized in the polar phase depends on the relative direction between the magnetic field and the anisotropy axis brought by the aerogel. The vortex energy in the polar phase is examined in terms of the Ginzburg-Landau free energy incorporating the dipole energy, and the reason why the HQV in the polar phase in nematic aerogels became unstable in a transverse magnetic field upon a field-cooling is explained.