title: Coherent events at ion scales in the inner Heliosphere: \textit{Parker Solar Probe} observations during the first Encounter

abstract: \textit{Parker Solar Probe} has shown the ubiquitous presence of strong magnetic field deflections, namely switchbacks, during its first perihelion where it was embedded in a highly Alfv\'enic slow stream. Here, we study the turbulent magnetic fluctuations around ion scales in three intervals characterized by a different switchback activity, identified by the behaviour of the magnetic field radial component, $B_r$. \textit{Quiet} ($B_r$ does not show significant fluctuations), \textit{weak} ($B_r$ has strong fluctuations but no reversals) and \textit{strong} ($B_r$ has full reversals) periods show a different behaviour also for ion quantities and Alfv\'enicity. However, the spectral analysis shows that each stream is characterized by the typical Kolmogorov/Kraichnan power law in the inertial range, followed by a break around the characteristic ion scales. This frequency range is characterized by strong intermittent activity, with the presence of non-compressive coherent structures, such as current sheets and vortex-like structures, and wave packets, identified as ion cyclotron modes. Although, all these intermittent events have been detected in the three periods, they have a different influence in each of them. Current sheets are dominant in the \textit{strong} period, wave packets are the most common in the \textit{quiet} interval; while, in the \textit{weak} period, a mixture of vortices and wave packets is observed. This work provides an insight into the heating problem in collisionless plasmas, fitting in the context of the new solar missions, and, especially for \textit{Solar Orbiter}, which will allow an accurate magnetic connectivity analysis, to link the presence of different intermittent events to the source region.


title: Similarity and self-similarity in random walk with fixed, random and shrinking steps

abstract: In this article, we first give a comprehensive description of random walk (RW) problem focusing on self-similarity, dynamic scaling and its connection to diffusion phenomena. One of the main goals of our work is to check how robust the RW problem is under various different choices of the step size. We show that RW with random step size or uniformly shrinking step size is exactly the same as for RW with fixed step size. Krapivsky and Redner in 2004 showed that RW with geometric shrinking step size, such that the size of the $n$th step is given by $S_n=\lambda^n$ with a fixed $\lambda<1$ value, exhibits some interesting features which are different from the RW with fixed step size. Motivated by this, we investigate what if $\lambda$ is not a fixed number rather it depends on the step number $n$? To this end, we first generate $N$ random numbers for RW of $t=N$ which are then arranged in a descending order so that the size of the $n$th step is $\lambda_n^n$. We have shown, both numerically and analytically, that $\lambda_n=(1-n/N)$, the root mean square displacement increases as $t^{1/4}$ which are different from all the known results on RW problems.


title: Comprehending finger flexor tendon pulley system using a computational analysis

abstract: Existing prosthetic/orthotic designs are rarely based on kinetostatics of a biological finger, especially its tendon-pulley system (TPS) which helps render a set of extraordinary functionalities. Studies on computational models or cadaver experiments do exist. However, they provide little information on TPS configurations that lead to lower tendon tension, bowstringing, and pulley stresses, all of which a biological finger may be employing after all. A priori knowledge of such configurations and associated trade-offs is helpful not only from the design viewpoint of, say, an exoskeleton but also for surgical reconstruction procedures. We present a parametric study to determine optimal TPS configurations for the flexor mechanism. A compliant, flexure-based computational model is developed and simulated using the pseudo rigid body method, with various combinations of pulley/tendon attachment point locations, pulley heights, and widths. Deductions are drawn from the data collected to recommend the most suitable configuration. Many aspects of the biological TPS configuration are explained through the presented analysis. We reckon that the analytical approach herein will be useful in arriving at customized (optimized) hand exoskeletal designs.


title: On holomorphic matrices on bordered Riemann surfaces

abstract: Let $\D$ be the unit disk. Kutzschebauch and Studer \cite{KS} recently proved that, for each continuous map $A:\overline D\to \mathrm{SL}(2,\C)$, which is holomorphic in $\D$, there exist continuous maps $E,F:\overline \D\to \mathfrak{sl}(2,\C)$, which are holomorphic in $\D$, such that $A=e^Ee^F$. Also they asked if this extends to arbitrary compact bordered Riemann surfaces. We prove that this is possible.


title: Finding the Evidence: Localization-aware Answer Prediction for Text Visual Question Answering

abstract: Image text carries essential information to understand the scene and perform reasoning. Text-based visual question answering (text VQA) task focuses on visual questions that require reading text in images. Existing text VQA systems generate an answer by selecting from optical character recognition (OCR) texts or a fixed vocabulary. Positional information of text is underused and there is a lack of evidence for the generated answer. As such, this paper proposes a localization-aware answer prediction network (LaAP-Net) to address this challenge. Our LaAP-Net not only generates the answer to the question but also predicts a bounding box as evidence of the generated answer. Moreover, a context-enriched OCR representation (COR) for multimodal fusion is proposed to facilitate the localization task. Our proposed LaAP-Net outperforms existing approaches on three benchmark datasets for the text VQA task by a noticeable margin.


title: The Approximation Ratio of the 2-Opt Heuristic for the Euclidean Traveling Salesman Problem

abstract: The 2-Opt heuristic is a simple improvement heuristic for the Traveling Salesman Problem. It starts with an arbitrary tour and then repeatedly replaces two edges of the tour by two other edges, as long as this yields a shorter tour. We will prove that for Euclidean Traveling Salesman Problems with $n$ cities the approximation ratio of the 2-Opt heuristic is $\Theta(\log n/ \log \log n)$. This improves the upper bound of $O(\log n$) given by Chandra, Karloff, and Tovey [3] in 1999.


title: Universal Natural Language Processing with Limited Annotations: Try Few-shot Textual Entailment as a Start

abstract: A standard way to address different NLP problems is by first constructing a problem-specific dataset, then building a model to fit this dataset. To build the ultimate artificial intelligence, we desire a single machine that can handle diverse new problems, for which task-specific annotations are limited. We bring up textual entailment as a unified solver for such NLP problems. However, current research of textual entailment has not spilled much ink on the following questions: (i) How well does a pretrained textual entailment system generalize across domains with only a handful of domain-specific examples? and (ii) When is it worth transforming an NLP task into textual entailment? We argue that the transforming is unnecessary if we can obtain rich annotations for this task. Textual entailment really matters particularly when the target NLP task has insufficient annotations. Universal NLP can be probably achieved through different routines. In this work, we introduce Universal Few-shot textual Entailment (UFO-Entail). We demonstrate that this framework enables a pretrained entailment model to work well on new entailment domains in a few-shot setting, and show its effectiveness as a unified solver for several downstream NLP tasks such as question answering and coreference resolution when the end-task annotations are limited. Code: https://github.com/salesforce/UniversalFewShotNLP


title: Dark-state and loss-induced phenomena in the quantum-optical regime of $\Lambda$-type three-level systems

abstract: The interaction of matter with quantum light leads to phenomena which cannot be explained by semiclassical approaches. Of particular interest are states with broad photon number distributions which allow processes with high-order Fock states. Here, we analyze a Jaynes-Cummings-type model with three electronic levels which is excited by quantum light. As quantum light we consider coherent and squeezed states. In our simulations we include several loss mechanisms, namely, dephasing, cavity, and radiative losses which are relevant in real systems. We demonstrate that losses allow one to control the population of electronic levels and may induce coherent population trapping, as well as lead to a redistribution of the photon statistics among the quantum fields and even to a transfer of the photon statistics from one field to another. Moreover, we introduce and analyze a novel quantity, the quantum polarization, and demonstrate its fundamental difference compared to the classical polarization. Using the quantum polarization and the third level population, we investigate electromagnetically induced transparency in the presence of quantum light and show its special features for the case of squeezed light. Finally, quantum correlations between fields are studied and analyzed in the presence of different types of losses.


title: Knowing What You Know: Calibrating Dialogue Belief State Distributions via Ensembles

abstract: The ability to accurately track what happens during a conversation is essential for the performance of a dialogue system. Current state-of-the-art multi-domain dialogue state trackers achieve just over 55% accuracy on the current go-to benchmark, which means that in almost every second dialogue turn they place full confidence in an incorrect dialogue state. Belief trackers, on the other hand, maintain a distribution over possible dialogue states. However, they lack in performance compared to dialogue state trackers, and do not produce well calibrated distributions. In this work we present state-of-the-art performance in calibration for multi-domain dialogue belief trackers using a calibrated ensemble of models. Our resulting dialogue belief tracker also outperforms previous dialogue belief tracking models in terms of accuracy.


title: Dissecting Span Identification Tasks with Performance Prediction

abstract: Span identification (in short, span ID) tasks such as chunking, NER, or code-switching detection, ask models to identify and classify relevant spans in a text. Despite being a staple of NLP, and sharing a common structure, there is little insight on how these tasks' properties influence their difficulty, and thus little guidance on what model families work well on span ID tasks, and why. We analyze span ID tasks via performance prediction, estimating how well neural architectures do on different tasks. Our contributions are: (a) we identify key properties of span ID tasks that can inform performance prediction; (b) we carry out a large-scale experiment on English data, building a model to predict performance for unseen span ID tasks that can support architecture choices; (c), we investigate the parameters of the meta model, yielding new insights on how model and task properties interact to affect span ID performance. We find, e.g., that span frequency is especially important for LSTMs, and that CRFs help when spans are infrequent and boundaries non-distinctive.


title: CoRefi: A Crowd Sourcing Suite for Coreference Annotation

abstract: Coreference annotation is an important, yet expensive and time consuming, task, which often involved expert annotators trained on complex decision guidelines. To enable cheaper and more efficient annotation, we present CoRefi, a web-based coreference annotation suite, oriented for crowdsourcing. Beyond the core coreference annotation tool, CoRefi provides guided onboarding for the task as well as a novel algorithm for a reviewing phase. CoRefi is open source and directly embeds into any website, including popular crowdsourcing platforms. CoRefi Demo: aka.ms/corefi Video Tour: aka.ms/corefivideo Github Repo: https://github.com/aribornstein/corefi


title: Earth as an Exoplanet: I. Time variable thermal emission using spatially resolved MODIS data

abstract: For the time being, Earth remains the best and only example of a habitable (and inhabited) world. Therefore, it is important to explore and understand the full range of spectral signatures and variability of Earth in order to inform the design of future instruments and missions, and understand their diagnostic power as well as potential limitations. In this work we use Earth observation data collected by the MODIS instrument aboard the Aqua satellite. The complete data set comprises 15 years of thermal emission observations in the 3.66-14.40 microns range for five different locations on Earth (Amazon Rainforest, Antarctica, Arctic, Indian Ocean and the Sahara Desert). We then determine flux levels and variations as a function of wavelength and surface type (i.e. climate zone and surface thermal properties) and investigate whether periodic signals indicating Earth's tilted rotation axis can be detected. Our findings suggest that (1) viewing geometry plays an important role when thermal emission data is analyzed as Earth's spectrum varies by a factor of three and more depending on the dominant surface type underneath; (2) typically strong absorption bands from carbon dioxide (15 microns) and ozone (9.65 microns) are significantly less pronounced and partially absent in data from the polar regions implying that estimating correct abundance levels for these molecules might be challenging in these cases; (3) the time-resolved thermal emission spectrum encodes information about seasons/planetary obliquity, but the significance depends on the viewing geometry and spectral band considered


title: Bubble wall velocity: heavy physics effects

abstract: We analyse the dynamics of the relativistic bubble expansion during the first order phase transition focusing on the ultra relativistic velocities $\gamma\gg 1$. We show that fields much heavier than the scale of the phase transition can significantly contribute to the friction and modify the motion of the bubble wall leading to interesting phenomenological consequences. NLO effects on the friction due to the soft vector field emission are reviewed as well.


title: Scene Graph Modification Based on Natural Language Commands

abstract: Structured representations like graphs and parse trees play a crucial role in many Natural Language Processing systems. In recent years, the advancements in multi-turn user interfaces necessitate the need for controlling and updating these structured representations given new sources of information. Although there have been many efforts focusing on improving the performance of the parsers that map text to graphs or parse trees, very few have explored the problem of directly manipulating these representations. In this paper, we explore the novel problem of graph modification, where the systems need to learn how to update an existing scene graph given a new user's command. Our novel models based on graph-based sparse transformer and cross attention information fusion outperform previous systems adapted from the machine translation and graph generation literature. We further contribute our large graph modification datasets to the research community to encourage future research for this new problem.


title: Semantically Driven Sentence Fusion: Modeling and Evaluation

abstract: Sentence fusion is the task of joining related sentences into coherent text. Current training and evaluation schemes for this task are based on single reference ground-truths and do not account for valid fusion variants. We show that this hinders models from robustly capturing the semantic relationship between input sentences. To alleviate this, we present an approach in which ground-truth solutions are automatically expanded into multiple references via curated equivalence classes of connective phrases. We apply this method to a large-scale dataset and use the augmented dataset for both model training and evaluation. To improve the learning of semantic representation using multiple references, we enrich the model with auxiliary discourse classification tasks under a multi-tasking framework. Our experiments highlight the improvements of our approach over state-of-the-art models.


title: Aging in a mean field elastoplastic model of amorphous solids

abstract: We construct a mean-field elastoplastic description of the dynamics of amorphous solids under arbitrary time-dependent perturbations, building on the work of Lin and Wyart [Phys. Rev. X 6, 011005 (2016)] for steady shear. Local stresses are driven by power-law distributed mechanical noise from yield events throughout the material, in contrast to the well-studied H\'{e}braud-Lequeux model where the noise is Gaussian. We first use a mapping to a mean first passage time problem to study the phase diagram in the absence of shear, which shows a transition between an arrested and a fluid state. We then introduce a boundary layer scaling technique for low yield rate regimes, which we first apply to study the scaling of the steady state yield rate on approaching the arrest transition. These scalings are further developed to study the aging behaviour in the glassy regime, for different values of the exponent $\mu$ characterizing the mechanical noise spectrum. We find that the yield rate decays as a power-law for $1<\mu<2$, a stretched exponential for $\mu=1$ and an exponential for $\mu<1$, reflecting the relative importance of far-field and near-field events as the range of the stress propagator is varied. Comparison of the mean-field predictions with aging simulations of a lattice elastoplastic model shows excellent quantitative agreement, up to a simple rescaling of time.


title: Publication Patterns' Changes due to the COVID-19 Pandemic: A longitudinal and short-term scientometric analysis

abstract: In recent months the COVID-19 (also known as SARS-CoV-2 and Coronavirus) pandemic has spread throughout the world. In parallel, extensive scholarly research regarding various aspects of the pandemic has been published. In this work, we analyse the changes in biomedical publishing patterns due to the pandemic. We study the changes in the volume of publications in both peer reviewed journals and preprint servers, average time to acceptance of papers submitted to biomedical journals, international (co-)authorship of these papers (expressed by diversity and volume), and the possible association between journal metrics and said changes. We study these possible changes using two approaches: a short-term analysis through which changes during the first six months of the outbreak are examined for both COVID-19 related papers and non-COVID-19 related papers; and a longitudinal approach through which changes are examined in comparison to the previous four years. Our results show that the pandemic has so far had a tremendous effect on all examined accounts of scholarly publications: A sharp increase in publication volume has been witnessed and it can be almost entirely attributed to the pandemic; a significantly faster mean time to acceptance for COVID-19 papers is apparent, and it has (partially) come at the expense of non-COVID-19 papers; and a significant reduction in international collaboration for COVID-19 papers has also been identified. As the pandemic continues to spread, these changes may cause a slow down in research in non-COVID-19 biomedical fields and bring about a lower rate of international collaboration.


title: Formalizing the Ring of Witt Vectors

abstract: The ring of Witt vectors $\mathbb{W} R$ over a base ring $R$ is an important tool in algebraic number theory and lies at the foundations of modern $p$-adic Hodge theory. $\mathbb{W} R$ has the interesting property that it constructs a ring of characteristic $0$ out of a ring of characteristic $p > 1$, and it can be used more specifically to construct from a finite field containing $\mathbb{Z}/p\mathbb{Z}$ the corresponding unramified field extension of the $p$-adic numbers $\mathbb{Q}_p$ (which is unique up to isomorphism). We formalize the notion of a Witt vector in the Lean proof assistant, along with the corresponding ring operations and other algebraic structure. We prove in Lean that, for prime $p$, the ring of Witt vectors over $\mathbb{Z}/p\mathbb{Z}$ is isomorphic to the ring of $p$-adic integers $\mathbb{Z}_p$. In the process we develop idioms to cleanly handle calculations of identities between operations on the ring of Witt vectors. These calculations are intractable with a naive approach, and require a proof technique that is usually skimmed over in the informal literature. Our proofs resemble the informal arguments while being fully rigorous.


title: Correspondence between Israel-Stewart and first-order causal and stable hydrodynamics for Bjorken-expanding baryon-rich systems with vanishing particle masses

abstract: We obtain an exact correspondence between the dynamical equations in Israel-Stewart (IS) theory and first-order causal and stable (FOCS) hydrodynamics for a boost-invariant system with an ideal gas equation of state at finite baryon chemical potential. Explicit expressions for the temperature and chemical potential dependence of the regulators in the FOCS theory are given in terms of the kinetic coefficients and constant relaxation time of the IS theory. Using the correspondence between the IS and FOCS theory, stability conditions for a charged fluid which are known in the FOCS approach are applied and one finds that the IS theory considered is unstable.


title: Obscure Higgs boson at Colliders

abstract: In this study we consider an extension of the Standard Model with a complex hypercharge zero triplet scalar. In this scenario one of the charged Higgs bosons remains purely triplet and does not couple to the fermions, making it elusive at colliders. Also the physical pseudoscalar is a pure triplet and this purity makes it a suitable dark matter candidate without the need of discrete symmetries, unlike other extensions. The bounds from relic density and direct dark matter search experiments select its mass to be $\sim 1.35-1.60$ TeV. The pure triplet charged Higgs gives rise to displaced signatures and their sensitivity at LHC and MATHUSLA have been studied. The prospects at present and future hadron/muon colliders of such exotic scalars are pointed out by calculating their productions cross-section and dominant decay modes. We present also the expected reach for the triplet states at a multi-TeV muon collider.


title: Embedding Words in Non-Vector Space with Unsupervised Graph Learning

abstract: It has become a de-facto standard to represent words as elements of a vector space (word2vec, GloVe). While this approach is convenient, it is unnatural for language: words form a graph with a latent hierarchical structure, and this structure has to be revealed and encoded by word embeddings. We introduce GraphGlove: unsupervised graph word representations which are learned end-to-end. In our setting, each word is a node in a weighted graph and the distance between words is the shortest path distance between the corresponding nodes. We adopt a recent method learning a representation of data in the form of a differentiable weighted graph and use it to modify the GloVe training algorithm. We show that our graph-based representations substantially outperform vector-based methods on word similarity and analogy tasks. Our analysis reveals that the structure of the learned graphs is hierarchical and similar to that of WordNet, the geometry is highly non-trivial and contains subgraphs with different local topology.


title: Tracing orbital images on ultrafast time scales

abstract: Frontier orbitals, i.e., the highest occupied and lowest unoccupied orbitals of a molecule, generally determine molecular properties, such as chemical bonding and reactivities. Consequently, there has been a lot of interest in measuring them, despite the fact that, strictly speaking, they are not quantum-mechanical observables. Yet, with photoemission tomography a powerful technique has recently been introduced by which the electron distribution in orbitals of molecules adsorbed at surfaces can be imaged in momentum space. This has even been used for the identification of reaction intermediates in surface reactions. However, so far it has been impossible to follow an orbital's momentum-space dynamics in time, for example through an excitation process or a chemical reaction. Here, we report a key step in this direction: we combine time-resolved photoemission employing high laser harmonics and a recently developed momentum microscope to establish a tomographic, femtosecond pump-probe experiment of unoccupied molecular orbitals. Specifically, we measure the full momentum-space distribution of transiently excited electrons. Because in molecules this momentum-space distribution is closely linked to orbital shapes, our experiment offers the extraordinary possibility to observe ultrafast electron motion in time and space. This enables us to connect their excited states dynamics to specific real-space excitation pathways.


title: Converting the Point of View of Messages Spoken to Virtual Assistants

abstract: Virtual Assistants can be quite literal at times. If the user says "tell Bob I love him," most virtual assistants will extract the message "I love him" and send it to the user's contact named Bob, rather than properly converting the message to "I love you." We designed a system to allow virtual assistants to take a voice message from one user, convert the point of view of the message, and then deliver the result to its target user. We developed a rule-based model, which integrates a linear text classification model, part-of-speech tagging, and constituency parsing with rule-based transformation methods. We also investigated Neural Machine Translation (NMT) approaches, including LSTMs, CopyNet, and T5. We explored 5 metrics to gauge both naturalness and faithfulness automatically, and we chose to use BLEU plus METEOR for faithfulness and relative perplexity using a separately trained language model (GPT) for naturalness. Transformer-Copynet and T5 performed similarly on faithfulness metrics, with T5 achieving slight edge, a BLEU score of 63.8 and a METEOR score of 83.0. CopyNet was the most natural, with a relative perplexity of 1.59. CopyNet also has 37 times fewer parameters than T5. We have publicly released our dataset, which is composed of 46,565 crowd-sourced samples.


title: The solvent mediated interaction potential between solute particles: Theory and applications

abstract: In this paper we develop a theory to calculate the solvent mediated interaction potential between solute particles dispersed in a solvent. The potential is a functional of the instantaneous distribution of solute particles and is expressed in terms of the solute-solvent direct pair correlation function and the density-density correlation function of the bulk solvent. The dependence of the direct pair correlation function on multi-point correlations of the solute distribution is simplified with a mean field approximation. A self consistent approach is developed to calculate the effective potential between solute particles, the solute-solvent and the solute-solute correlation functions. The significance of the solvent fluctuations on the range of the effective potential is elucidated. The theory is applied to calculate equilibrium properties of the Asakura-Oosawa (AO) model for several values of solute and solvent densities and for several values of the particles size ratio. The results give a quantitative description of many-body effect on the effective potential and on the pair correlation functions.


title: Joint Semantics and Data-Driven Path Representation for Knowledge Graph Inference

abstract: Inference on a large-scale knowledge graph (KG) is of great importance for KG applications like question answering. The path-based reasoning models can leverage much information over paths other than pure triples in the KG, which face several challenges: all the existing path-based methods are data-driven, lacking explainability for path representation. Besides, some methods either consider only relational paths or ignore the heterogeneity between entities and relations both contained in paths, which cannot capture the rich semantics of paths well. To address the above challenges, in this work, we propose a novel joint semantics and data-driven path representation that balances explainability and generalization in the framework of KG embedding. More specifically, we inject horn rules to obtain the condensed paths by the transparent and explainable path composition procedure. The entity converter is designed to transform the entities along paths into the representations in the semantic level similar to relations for reducing the heterogeneity between entities and relations, in which the KGs both with and without type information are considered. Our proposed model is evaluated on two classes of tasks: link prediction and path query answering task. The experimental results show that it has a significant performance gain over several different state-of-the-art baselines.


title: A close-encounter method for simulating the dynamics of planetesimals

abstract: The dynamics of planetesimals plays an important role in planet formation, because their velocity distribution sets the growth rate to larger bodies. When planetesimals form in protoplanetary discs, their orbits are nearly circular and planar due to the effect of gas drag. However, mutual close encounters of the planetesimals increase eccentricities and inclinations until an equilibrium between stirring and damping is reached. After disc dissipation, there is no more gas drag and mutual close encounters as well as encounters with planets stir the orbits again. The high number of planetesimals in protoplanetary discs renders it difficult to simulate their dynamics by means of direct N-body simulations of planet formation. Therefore, we developed a novel method for the dynamical evolution of planetesimals that is based on following close encounters between planetesimal-mass bodies and gravitational stirring by planet-mass bodies. To separate the orbital motion from the close encounters, we employ a Hamiltonian splitting scheme as used in symplectic N-body integrators. Close encounters are identified using a cell algorithm with linear scaling in the number of bodies. A grouping algorithm is used to create small groups of interacting bodies which are integrated separately. Our method allows simulating a high number of planetesimals interacting through gravity and collisions with low computational cost. The typical computational time is of the order of minutes or hours, up to a few days for more complex simulations, as compared to several hours or even weeks for the same setup with full N-body. The dynamical evolution of the bodies is sufficiently well reproduced. This will make it possible to study the growth of planetesimals through collisions and pebble accretion coupled to their dynamics for a much higher number of bodies than previously accessible with full N-body simulations.


title: Ramblings (Memoirs) of a Scientist

abstract: This paper is a faithful description of the author's career as a scientist, which often intersected that of Yves Couder. The emphasis of this paper is a true description of how the science that the author has been associated with really came about. Included are brief descriptions of the science associated with the research paths described. It is hoped that this rather accurate account may be amusing for the senior scientists among us and educational (and possibly useful) for younger scientists.


title: DaNetQA: a yes/no Question Answering Dataset for the Russian Language

abstract: DaNetQA, a new question-answering corpus, follows (Clark et. al, 2019) design: it comprises natural yes/no questions. Each question is paired with a paragraph from Wikipedia and an answer, derived from the paragraph. The task is to take both the question and a paragraph as input and come up with a yes/no answer, i.e. to produce a binary output. In this paper, we present a reproducible approach to DaNetQA creation and investigate transfer learning methods for task and language transferring. For task transferring we leverage three similar sentence modelling tasks: 1) a corpus of paraphrases, Paraphraser, 2) an NLI task, for which we use the Russian part of XNLI, 3) another question answering task, SberQUAD. For language transferring we use English to Russian translation together with multilingual language fine-tuning.


title: Weighted $(PLB)$-spaces of ultradifferentiable functions and multiplier spaces

abstract: We study weighted $(PLB)$-spaces of ultradifferentiable functions defined via a weight function (in the sense of Braun, Meise and Taylor) and a weight system. We characterize when such spaces are ultrabornological in terms of the defining weight system. This generalizes Grothendieck's classical result that the space $\mathcal{O}_M$ of slowly increasing smooth functions is ultrabornological to the context of ultradifferentiable functions. Furthermore, we determine the multiplier spaces of Gelfand-Shilov spaces and, by using the above result, characterize when such spaces are ultrabornological. In particular, we show that the multiplier space of the space of Fourier ultrahyperfunctions is ultrabornological, whereas the one of the space of Fourier hyperfunctions is not.


title: Structural properties of the first-order transduction quasiorder

abstract: Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first-order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first-order logic. This contrasts with the conjectured simplicity of the monadic second order (MSO) transduction quasiorder. We first establish a local normal form for FO transductions, which is of independent interest. Then we prove that the quotient partial order is a bounded distributive join-semilattice, and that the subposet of \emph{additive} classes is also a bounded distributive join-semilattice. The FO transduction quasiorder has a great expressive power, and many well studied class properties can be defined using it. We apply these structural properties to prove, among other results, that FO transductions of the class of paths are exactly perturbations of classes with bounded bandwidth, that the local variants of monadic stability and monadic dependence are equivalent to their (standard) non-local versions, and that the classes with pathwidth at most $k$, for $k\geq 1$ form a strict hierarchy in the FO transduction quasiorder.


title: Li4-xGe1-xPxO4 a potential solid-state electrolyte for all-oxide microbatteries

abstract: Solid-state electrolytes for Li-ion batteries are attracting growing interest as they allow building safer batteries, also using lithium metal anodes. Here we studied a compound in the lithium superionic conductor (LISICON) family, i.e. Li4-xGe1-xPxO4 (LGPO). Thin films were deposited via pulsed laser deposition and their electrical properties were compared with ceramic pellets. A detailed characterization of the micro structure shows that thin films can be deposited fully crystalline at higher temperatures but also partially amorphous at room temperature. The conductivity is not strongly influenced by the presence of grain boundaries, exposure to air or lithium deficiencies. First-principles molecular dynamics simulations were employed to calculate the lithium ion diffusion profile and the conductivity at various temperatures of the ideal LGPO crystal. Simulations gives the upper limit of conductivity for a defect free crystal, which is in the range of 10-2 S cm-1 at 300 deg. The ease of thin film fabrication, the room-temperature Li-ion conductivity in the range of a few microS cm-1 make LGPO a very appealing electrolyte material for thin film all-solid-state all-oxide microbatteries.


title: Position-Aware Tagging for Aspect Sentiment Triplet Extraction

abstract: Aspect Sentiment Triplet Extraction (ASTE) is the task of extracting the triplets of target entities, their associated sentiment, and opinion spans explaining the reason for the sentiment. Existing research efforts mostly solve this problem using pipeline approaches, which break the triplet extraction process into several stages. Our observation is that the three elements within a triplet are highly related to each other, and this motivates us to build a joint model to extract such triplets using a sequence tagging approach. However, how to effectively design a tagging approach to extract the triplets that can capture the rich interactions among the elements is a challenging research question. In this work, we propose the first end-to-end model with a novel position-aware tagging scheme that is capable of jointly extracting the triplets. Our experimental results on several existing datasets show that jointly capturing elements in the triplet using our approach leads to improved performance over the existing approaches. We also conducted extensive experiments to investigate the model effectiveness and robustness.


title: Robust priors for regularized regression

abstract: Induction benefits from useful priors. Penalized regression approaches, like ridge regression, shrink weights toward zero but zero association is usually not a sensible prior. Inspired by simple and robust decision heuristics humans use, we constructed non-zero priors for penalized regression models that provide robust and interpretable solutions across several tasks. Our approach enables estimates from a constrained model to serve as a prior for a more general model, yielding a principled way to interpolate between models of differing complexity. We successfully applied this approach to a number of decision and classification problems, as well as analyzing simulated brain imaging data. Models with robust priors had excellent worst-case performance. Solutions followed from the form of the heuristic that was used to derive the prior. These new algorithms can serve applications in data analysis and machine learning, as well as help in understanding how people transition from novice to expert performance.


title: Biharmonic and harmonic homomorphisms between Riemannian three dimensional unimodular Lie groups

abstract: We classify biharmonic and harmonic homomorphisms $f:(G,g_1)\rightarrow(G,g_2)$ where $G$ is a connected and simply connected three-dimensional unimodular Lie group and $g_1$ and $g_2$ are left invariant Riemannian metrics.


title: Efficient estimation of multipartite quantum coherence

abstract: Quantification of coherence lies at the heart of quantum information processing and fundamental physics. Exact evaluation of coherence measures generally needs a full reconstruction of the density matrix, which becomes intractable for large-scale multipartite systems. Here, we propose a systematic theoretical approach to efficiently estimating lower and upper bounds of coherence in multipartite states. Under the stabilizer formalism, the lower bound is determined by the spectrum estimation method with a small number of measurements and the upper bound is determined by a single measurement. We verify our theory with a four-qubit optical quantum system.We experimentally implement various multi-qubit entangled states, including the Greenberger-Horne-Zeilinger state, the cluster state, and the W state, and show how their coherence are efficiently inferred from measuring few observables.


title: Deep Learning based Uncertainty Decomposition for Real-time Control

abstract: Data-driven control in unknown environments requires a clear understanding of the involved uncertainties for ensuring safety and efficient exploration. While aleatoric uncertainty that arises from measurement noise can often be explicitly modeled given a parametric description, it can be harder to model epistemic uncertainty, which describes the presence or absence of training data. The latter can be particularly useful for implementing exploratory control strategies when system dynamics are unknown. We propose a novel method for detecting the absence of training data using deep learning, which gives a continuous valued scalar output between $0$ (indicating low uncertainty) and $1$ (indicating high uncertainty). We utilize this detector as a proxy for epistemic uncertainty and show its advantages over existing approaches on synthetic and real-world datasets. Our approach can be directly combined with aleatoric uncertainty estimates and allows for uncertainty estimation in real-time as the inference is sample-free unlike existing approaches for uncertainty modeling. We further demonstrate the practicality of this uncertainty estimate in deploying online data-efficient control on a simulated quadcopter acted upon by an unknown disturbance model.


title: Heterogeneity in Food Expenditure amongst US families: Evidence from Longitudinal Quantile Regression

abstract: Empirical studies on food expenditure are largely based on cross-section data and for a few studies based on longitudinal (or panel) data the focus has been on the conditional mean. While the former, by construction, cannot model the dependencies between observations across time, the latter cannot look at the relationship between food expenditure and covariates (such as income, education, etc.) at lower (or upper) quantiles, which are of interest to policymakers. This paper analyzes expenditures on total food (TF), food at home (FAH), and food away from home (FAFH) using mean regression and quantile regression models for longitudinal data to examine the impact of economic recession and various demographic, socioeconomic, and geographic factors. The data is taken from the Panel Study of Income Dynamics (PSID) and comprises of 2174 families in the United States (US) observed between 2001-2015. Results indicate that age and education of the head, family income, female headed family, marital status, and economic recession are important determinants for all three types of food expenditure. Spouse education, family size, and some regional indicators are important for expenditures on TF and FAH, but not for FAFH. Quantile analysis reveals considerable heterogeneity in the covariate effects for all types of food expenditure, which cannot be captured by models focused on conditional mean. The study ends by showing that modeling conditional dependence between observations across time for the same family unit is crucial to reducing/avoiding heterogeneity bias and better model fitting.


title: The Bishop-Phelps-Bollob\'as property on the space of $c_0$-sum

abstract: The main purpose of this paper is to study Bishop-Phelps-Bollob\'as type properties on $c_0$ sum of Banach spaces. Among other results, we show that the pair $(c_0(X),Y)$ has the Bishop-Phelps-Bollob\'as property (in short, BPBp) for operators whenever $X$ is uniformly convex and $Y$ is (complex) uniformly convex. We also prove that the pair $(c_0(X),c_0(X))$ has the BPBp for bilinear forms whenever $X$ is both uniformly convex and uniformly smooth. These extend the previously known results that $(c_0,Y)$ has the BPBp for operators whenever $Y$ is uniformly convex and $(c_0,c_0)$ has the BPBp for bilinear forms. We also obtain some results on a local BPBp which is called $\mathbf{L}_{p,p}$ for both operators and bilinear forms.


title: On the Interplay Between Fine-tuning and Sentence-level Probing for Linguistic Knowledge in Pre-trained Transformers

abstract: Fine-tuning pre-trained contextualized embedding models has become an integral part of the NLP pipeline. At the same time, probing has emerged as a way to investigate the linguistic knowledge captured by pre-trained models. Very little is, however, understood about how fine-tuning affects the representations of pre-trained models and thereby the linguistic knowledge they encode. This paper contributes towards closing this gap. We study three different pre-trained models: BERT, RoBERTa, and ALBERT, and investigate through sentence-level probing how fine-tuning affects their representations. We find that for some probing tasks fine-tuning leads to substantial changes in accuracy, possibly suggesting that fine-tuning introduces or even removes linguistic knowledge from a pre-trained model. These changes, however, vary greatly across different models, fine-tuning and probing tasks. Our analysis reveals that while fine-tuning indeed changes the representations of a pre-trained model and these changes are typically larger for higher layers, only in very few cases, fine-tuning has a positive effect on probing accuracy that is larger than just using the pre-trained model with a strong pooling method. Based on our findings, we argue that both positive and negative effects of fine-tuning on probing require a careful interpretation.


title: Refinement of Bratteli-Vershik models

abstract: In the zero-dimensional systems, the Bratteli-Vershik models can be built upon certain closed sets that are called `quasi-sections' in this article. There exists a bijective correspondence between the topological conjugacy classes of triples of zero-dimensional systems and quasi-sections and the topological conjugacy classes of Bratteli-Vershik models. Therefore, we can get refined Bratteli-Vershik models if we get certain refined quasi-sections. The basic sets are such refined quasi-sections that bring `closing property' on the corresponding Bratteli-Vershik models. We show a direct proof on the existence of basic sets. Thorough investigations on quasi-sections and basic sets are done. Furthermore, it would be convenient for the Bratteli-Vershik models to concern minimal sets. To this point, we show the existence of the Bratteli-Vershik models whose minimal sets are properly ordered. On the other hand, we can get certain refinements with respect to the Bratteli-Vershikizability condition or the decisiveness.


title: A faster algorithm for finding Tarski fixed points

abstract: Dang et al. have given an algorithm that can find a Tarski fixed point in a $k$-dimensional lattice of width $n$ using $O(\log^{k} n)$ queries. Multiple authors have conjectured that this algorithm is optimal [Dang et al., Etessami et al.], and indeed this has been proven for two-dimensional instances [Etessami et al.]. We show that these conjectures are false in dimension three or higher by giving an $O(\log^2 n)$ query algorithm for the three-dimensional Tarski problem. We also give a new decomposition theorem for $k$-dimensional Tarski problems which, in combination with our new algorithm for three dimensions, gives an $O(\log^{2 \lceil k/3 \rceil} n)$ query algorithm for the $k$-dimensional problem.


title: Investigating the I-Love-Q and w-mode Universal Relations Using Piecewise Polytropes

abstract: Neutron stars are expected to have a tight relation between their moment of inertia ($I$), tidal deformability ($\lambda$, which is related to the Love number), and rotational mass quadrupole moment ($Q$) that is nearly independent of the unknown equation of state (EoS) of cold dense matter. These and similar relations are often called "universal", and they have been used for various applications including analysis of gravitational wave data. We extend these studies using piecewise polytropic representations of dense matter, including for so-called twin stars that have a second branch of stability at high central densities. The second-branch relations are less tight, by a factor of $\sim 3$, than the relations found in the first stable branch. We find that the relations on both branches become tighter when we increase the lower limit to the maximum mass for the EoS under consideration. We also propose new empirical relations between $I$, $\lambda$, $Q$, and the complex frequency $\omega=\omega_R+i\omega_I$ of the fundamental axial $w$-mode, and find that they are comparably tight to the I-Love-Q correlations.


title: Tailoring magnetocaloric effect in all-d-metal Ni-Co-Mn-Ti Heusler alloys: a combined experimental and theoretical study

abstract: Novel Ni-Co-Mn-Ti all-d-metal Heusler alloys are exciting due to large multicaloric effects combined with enhanced mechanical properties. An optimized heat treatment for a series of these compounds leads to very sharp phase transitions in bulk alloys with isothermal entropy changes of up to 38 J kg$^{-1}$ K$^{-1}$ for a magnetic field change of 2 T. The differences of as-cast and annealed samples are analyzed by investigating microstructure and phase transitions in detail by optical microscopy. We identify different grain structures as well as stoichiometric (in)homogenieties as reasons for differently sharp martensitic transitions after ideal and non-ideal annealing. We develop alloy design rules for tuning the magnetostructural phase transition and evaluate specifically the sensitivity of the transition temperature towards the externally applied magnetic fields ($\frac{dT_t}{\mu_0dH}$) by analyzing the different stoichiometries. We then set up a phase diagram including martensitic transition temperatures and austenite Curie temperatures depending on the e/a ratio for varying Co and Ti content. The evolution of the Curie temperature with changing stoichiometry is compared to other Heusler systems. Density Functional Theory calculations reveal a correlation of T$_C$ with the stoichiometry as well as with the order state of the austenite. This combined approach of experiment and theory allows for an efficient development of new systems towards promising magnetocaloric properties. Direct adiabatic temperature change measurements show here the largest change of -4 K in a magnetic field change of 1.93 T for Ni$_{35}$Co$_{15}$Mn$_{37}$Ti$_{13}$.


title: Spectroscopic observation of the crossover from a classical Duffing oscillator to a Kerr parametric oscillator

abstract: We study microwave response of a Josephson parametric oscillator consisting of a superconducting transmission-line resonator with an embedded dc-SQUID. The dc-SQUID allows to control the magnitude of a Kerr nonlinearity over the ranges where it is smaller or larger than the photon loss rate. Spectroscopy measurements reveal the change of the microwave response from a classical Duffing oscillator to a Kerr parametric oscillator in a single device. In the single-photon Kerr regime, we observe parametric oscillations with a well-defined phase of either $0$ or $\pi$, whose probability can be controlled by an externally injected signal.


title: On the relative Gersten conjecture for Milnor K-theory in the smooth case

abstract: We show that the Gersten complex for the (improved) Milnor K-sheaf on a smooth scheme over an excellent discrete valuation ring is exact except at the first place and that exactness at the first place may be checked at the discrete valuation ring associated to the the generic point of the special fiber. This complements results of Gillet and Levine for K-theory, Geisser for motivic cohomology and Schmidt and Strunk and the author for \'etale cohomology.


title: Comprehensive Online Network Pruning via Learnable Scaling Factors

abstract: One of the major challenges in deploying deep neural network architectures is their size which has an adverse effect on their inference time and memory requirements. Deep CNNs can either be pruned width-wise by removing filters based on their importance or depth-wise by removing layers and blocks. Width wise pruning (filter pruning) is commonly performed via learnable gates or switches and sparsity regularizers whereas pruning of layers has so far been performed arbitrarily by manually designing a smaller network usually referred to as a student network. We propose a comprehensive pruning strategy that can perform both width-wise as well as depth-wise pruning. This is achieved by introducing gates at different granularities (neuron, filter, layer, block) which are then controlled via an objective function that simultaneously performs pruning at different granularity during each forward pass. Our approach is applicable to wide-variety of architectures without any constraints on spatial dimensions or connection type (sequential, residual, parallel or inception). Our method has resulted in a compression ratio of 70% to 90% without noticeable loss in accuracy when evaluated on benchmark datasets.


title: Optimal Liquidation in a Mean-reverting Portfolio

abstract: In this work we study a finite horizon optimal liquidation problem with multiplicative price impact in algorithmic trading, using market orders. We analyze the case when an agent is trading on a market with two financial assets, whose difference of log-prices is modelled with a mean-reverting process. The agent's task is to liquidate an initial position of shares of one of the two financial assets, without having the possibility of trading the other stock. The criterion to be optimized consists in maximising the expected final value of the agent, with a running inventory penalty. The main result of this paper consists in finding a classical solution of the Hamilton-Jacobi-Bellman (HJB) equation associated to this problem, which is proved to not coincide with the value function. However, we find the value function as a solution to the forward-backward stochastic differential equation (FBSDE) associated to the problem. We provide numerical tests showing that the HJB and FBSDE solutions are close to each other and analysing performance of the described model. We also prove a verification theorem and a comparison principle for the viscosity solution to the HJB equation.


title: A new generation of subnanometer-sized materials reveals a general surface polarons property

abstract: The recent advent of cutting-edge experimental techniques allows for a precise synthesis of monodisperse subnanometer metal clusters composed by just a few atoms, and opens new possibilities for subnanometer science. The decoration of titanium dioxide surfaces with the Ag$_{5}$ atomic cluster enables the stabilization of surface polarons. A new electron polarization phenomenon accompanying surface polaron formation has thus been revealed.


title: A Novel Neural Network Training Framework with Data Assimilation

abstract: In recent years, the prosperity of deep learning has revolutionized the Artificial Neural Networks. However, the dependence of gradients and the offline training mechanism in the learning algorithms prevents the ANN for further improvement. In this study, a gradient-free training framework based on data assimilation is proposed to avoid the calculation of gradients. In data assimilation algorithms, the error covariance between the forecasts and observations is used to optimize the parameters. Feedforward Neural Networks (FNNs) are trained by gradient decent, data assimilation algorithms (Ensemble Kalman Filter (EnKF) and Ensemble Smoother with Multiple Data Assimilation (ESMDA)), respectively. ESMDA trains FNN with pre-defined iterations by updating the parameters using all the available observations which can be regard as offline learning. EnKF optimize FNN when new observation available by updating parameters which can be regard as online learning. Two synthetic cases with the regression of a Sine Function and a Mexican Hat function are assumed to validate the effectiveness of the proposed framework. The Root Mean Square Error (RMSE) and coefficient of determination (R2) are used as criteria to assess the performance of different methods. The results show that the proposed training framework performed better than the gradient decent method. The proposed framework provides alternatives for online/offline training the existing ANNs (e.g., Convolutional Neural Networks, Recurrent Neural Networks) without the dependence of gradients.


title: Norm Identification through Plan Recognition

abstract: Societal rules, as exemplified by norms, aim to provide a degree of behavioural stability to multi-agent societies. Norms regulate a society using the deontic concepts of permissions, obligations and prohibitions to specify what can, must and must not occur in a society. Many implementations of normative systems assume various combinations of the following assumptions: that the set of norms is static and defined at design time; that agents joining a society are instantly informed of the complete set of norms; that the set of agents within a society does not change; and that all agents are aware of the existing norms. When any one of these assumptions is dropped, agents need a mechanism to identify the set of norms currently present within a society, or risk unwittingly violating the norms. In this paper, we develop a norm identification mechanism that uses a combination of parsing-based plan recognition and Hierarchical Task Network (HTN) planning mechanisms, which operates by analysing the actions performed by other agents. While our basic mechanism cannot learn in situations where norm violations take place, we describe an extension which is able to operate in the presence of violations.


title: Discovery data topology with the closure structure. Theoretical and practical aspects

abstract: In this paper, we are revisiting pattern mining and especially itemset mining, which allows one to analyze binary datasets in searching for interesting and meaningful association rules and respective itemsets in an unsupervised way. While a summarization of a dataset based on a set of patterns does not provide a general and satisfying view over a dataset, we introduce a concise representation -- the closure structure -- based on closed itemsets and their minimum generators, for capturing the intrinsic content of a dataset. The closure structure allows one to understand the topology of the dataset in the whole and the inherent complexity of the data. We propose a formalization of the closure structure in terms of Formal Concept Analysis, which is well adapted to study this data topology. We present and demonstrate theoretical results, and as well, practical results using the GDPM algorithm. GDPM is rather unique in its functionality as it returns a characterization of the topology of a dataset in terms of complexity levels, highlighting the diversity and the distribution of the itemsets. Finally, a series of experiments shows how GDPM can be practically used and what can be expected from the output.


title: A framework for predicting, interpreting, and improving Learning Outcomes

abstract: It has long been recognized that academic success is a result of both cognitive and non-cognitive dimensions acting together. Consequently, any intelligent learning platform designed to improve learning outcomes (LOs) must provide actionable inputs to the learner in these dimensions. However, operationalizing such inputs in a production setting that is scalable is not trivial. We develop an Embibe Score Quotient model (ESQ) to predict test scores based on observed academic, behavioral and test-taking features of a student. ESQ can be used to predict the future scoring potential of a student as well as offer personalized learning nudges, both critical to improving LOs. Multiple machine learning models are evaluated for the prediction task. In order to provide meaningful feedback to the learner, individualized Shapley feature attributions for each feature are computed. Prediction intervals are obtained by applying non-parametric quantile regression, in an attempt to quantify the uncertainty in the predictions. We apply the above modelling strategy on a dataset consisting of more than a hundred million learner interactions on the Embibe learning platform. We observe that the Median Absolute Error between the observed and predicted scores is 4.58% across several user segments, and the correlation between predicted and observed responses is 0.93. Game-like what-if scenarios are played out to see the changes in LOs, on counterfactual examples. We briefly discuss how a rational agent can then apply an optimal policy to affect the learning outcomes by treating the above model like an Oracle.


title: Photon-instanton collider implemented by a superconducting circuit

abstract: Instantons, spacetime-localized quantum field tunneling events, are ubiquitous in correlated condensed matter and high energy systems. However, their direct observation through collisions with conventional particles has not been considered possible. We show how recent advances in circuit quantum electrodynamics, specifically, the realization of galvanic coupling of a transmon qubit to a high-impedance transmission line, allows the observation of inelastic collisions of single microwave photons with instantons (phase slips). We develop a formalism for calculating the photon-instanton cross section, which should be useful in other quantum field theoretical contexts. In particular, we show that the inelastic scattering probability can significantly exceed the effect of conventional Josephson quartic anharmonicity, and reach order-unity values.

categories: cond-mat.supr-con cond-mat.mes-hall hep-th quant-ph


title: Unfolding the Alternating Optimization for Blind Super Resolution

abstract: Previous methods decompose blind super resolution (SR) problem into two sequential steps: \textit{i}) estimating blur kernel from given low-resolution (LR) image and \textit{ii}) restoring SR image based on estimated kernel. This two-step solution involves two independently trained models, which may not be well compatible with each other. Small estimation error of the first step could cause severe performance drop of the second one. While on the other hand, the first step can only utilize limited information from LR image, which makes it difficult to predict highly accurate blur kernel. Towards these issues, instead of considering these two steps separately, we adopt an alternating optimization algorithm, which can estimate blur kernel and restore SR image in a single model. Specifically, we design two convolutional neural modules, namely \textit{Restorer} and \textit{Estimator}. \textit{Restorer} restores SR image based on predicted kernel, and \textit{Estimator} estimates blur kernel with the help of restored SR image. We alternate these two modules repeatedly and unfold this process to form an end-to-end trainable network. In this way, \textit{Estimator} utilizes information from both LR and SR images, which makes the estimation of blur kernel easier. More importantly, \textit{Restorer} is trained with the kernel estimated by \textit{Estimator}, instead of ground-truth kernel, thus \textit{Restorer} could be more tolerant to the estimation error of \textit{Estimator}. Extensive experiments on synthetic datasets and real-world images show that our model can largely outperform state-of-the-art methods and produce more visually favorable results at much higher speed. The source code is available at https://github.com/greatlog/DAN.git.


title: Light (anti)nuclei production in high-energy nuclear collisions at the LHC with ALICE

abstract: The measurement of (anti)nuclei production in pp, p-A and A-A collisions at ultrarelativistic energies is important to understand hadronization. The excellent tracking and particle identification capabilities of ALICE make it the most suited detector at the LHC to study light (anti)nuclei produced in high-energy hadronic collisions. (Anti)nuclei with mass numbers up to 4, such as (anti)deuterons, (anti)tritons, (anti)$^3$He and (anti)$^4$He have been successfully identified in ALICE at midrapidity ($|\eta|<$0.9). In this contribution, multiplicity dependent results on the yields, nuclei-to-protons ratios as well as the coalescence parameter $B_{\mathrm A}$ as a function of the charged-particle multiplicity are presented and compared with the expectations of coalescence and statistical hadronization models (SHM) to provide insight into their production mechanism in heavy-ion collisions.


title: A novel analytic method for solving linear and nonlinear Telegraph Equation

abstract: The modeling of many phenomena in various fields such as mathematics, physics, chemistry, engineering, biology, and astronomy is done by the nonlinear partial differential equations (PDE). The hyperbolic telegraph equation is one of them, where it describes the vibrations of structures (e.g., buildings, beams, and machines) and are the basis for fundamental equations of atomic physics. There are several analytical and numerical methods are used to solve the telegraph equation. An analytical solution considers framing the problem in a well-understood form and calculating the exact resolution. It also helps to understand the answers to the problem in terms of accuracy and convergence. These analytic methods have limitations with accuracy and convergence. Therefore, a novel analytic approximate method is proposed to deal with constraints in this paper. This method uses the Taylors' series in its derivation. The proposed method has used for solving the second-order, hyperbolic equation (Telegraph equation) with the initial condition. Three examples have presented to check the effectiveness, accuracy, and convergence of the method. The solutions of the proposed method also compared with those obtained by the Adomian decomposition method (ADM), and the Homotopy analysis method (HAM). The technique is easy to implement and produces accurate results. In particular, these results display that the proposed method is efficient and better than the other methods in terms of accuracy and convergence.


title: How Convolutional Neural Network Architecture Biases Learned Opponency and Colour Tuning

abstract: Recent work suggests that changing Convolutional Neural Network (CNN) architecture by introducing a bottleneck in the second layer can yield changes in learned function. To understand this relationship fully requires a way of quantitatively comparing trained networks. The fields of electrophysiology and psychophysics have developed a wealth of methods for characterising visual systems which permit such comparisons. Inspired by these methods, we propose an approach to obtaining spatial and colour tuning curves for convolutional neurons, which can be used to classify cells in terms of their spatial and colour opponency. We perform these classifications for a range of CNNs with different depths and bottleneck widths. Our key finding is that networks with a bottleneck show a strong functional organisation: almost all cells in the bottleneck layer become both spatially and colour opponent, cells in the layer following the bottleneck become non-opponent. The colour tuning data can further be used to form a rich understanding of how colour is encoded by a network. As a concrete demonstration, we show that shallower networks without a bottleneck learn a complex non-linear colour system, whereas deeper networks with tight bottlenecks learn a simple channel opponent code in the bottleneck layer. We further develop a method of obtaining a hue sensitivity curve for a trained CNN which enables high level insights that complement the low level findings from the colour tuning data. We go on to train a series of networks under different conditions to ascertain the robustness of the discussed results. Ultimately, our methods and findings coalesce with prior art, strengthening our ability to interpret trained CNNs and furthering our understanding of the connection between architecture and learned representation. Code for all experiments is available at https://github.com/ecs-vlc/opponency.


title: Troubleshooting Unstable Molecules in Chemical Space

abstract: A key challenge in automated chemical compound space explorations is ensuring veracity in minimum energy geometries---to preserve intended bonding connectivities. We discuss an iterative high-throughput workflow for connectivity preserving geometry optimizations exploiting the nearness between quantum mechanical models. The methodology is benchmarked on the QM9 dataset comprising DFT-level properties of 133,885 small molecules; of which 3,054 have questionable geometric stability. We successfully troubleshoot 2,988 molecules and ensure a bijective mapping between desired Lewis formulae and final geometries. Our workflow, based on DFT and post-DFT methods, identifies 66 molecules as unstable; 52 contain $-{\rm NNO}-$, the rest are strained due to pyramidal sp$^2$ C. In the curated dataset, we inspect molecules with long CC bonds and identify ultralong contestants ($r>1.70$~\AA{}) supported by topological analysis of electron density. We hope the proposed strategy to play a role in big data quantum chemistry initiatives.


title: Neural Speech Synthesis for Estonian

abstract: This technical report describes the results of a collaboration between the NLP research group at the University of Tartu and the Institute of Estonian Language on improving neural speech synthesis for Estonian. The report (written in Estonian) describes the project results, the summary of which is: (1) Speech synthesis data from 6 speakers for a total of 92.4 hours is collected and openly released (CC-BY-4.0). Data available at https://konekorpus.tartunlp.ai and https://www.eki.ee/litsents/. (2) software and models for neural speech synthesis is released open-source (MIT license). Available at https://koodivaramu.eesti.ee/tartunlp/text-to-speech . (3) We ran evaluations of the new models and compared them to other existing solutions (HMM-based HTS models from EKI, http://www.eki.ee/heli/, and Google's speech synthesis for Estonian, accessed via https://translate.google.com). Evaluation includes voice acceptability MOS scores for sentence-level and longer excerpts, detailed error analysis and evaluation of the pre-processing module.


title: Weakly Supervised Disentangled Generative Causal Representation Learning

abstract: This paper proposes a Disentangled gEnerative cAusal Representation (DEAR) learning method under appropriate supervised information. Unlike existing disentanglement methods that enforce independence of the latent variables, we consider the general case where the underlying factors of interests can be causally related. We show that previous methods with independent priors fail to disentangle causally related factors even under supervision. Motivated by this finding, we propose a new disentangled learning method called DEAR that enables causal controllable generation and causal representation learning. The key ingredient of this new formulation is to use a structural causal model (SCM) as the prior distribution for a bidirectional generative model. The prior is then trained jointly with a generator and an encoder using a suitable GAN algorithm incorporated with supervised information on the ground-truth factors and their underlying causal structure. We provide theoretical justification on the identifiability and asymptotic convergence of the proposed method. We conduct extensive experiments on both synthesized and real data sets to demonstrate the effectiveness of DEAR in causal controllable generation, and the benefits of the learned representations for downstream tasks in terms of sample efficiency and distributional robustness.


title: A family of mixed finite elements for the biharmonic equations on triangular and tetrahedral grids

abstract: This paper introduces a new family of mixed finite elements for solving a mixed formulation of the biharmonic equations in two and three dimensions. The symmetric stress $\bm{\sigma}=-\nabla^{2}u$ is sought in the Sobolev space $H({\rm{div}}\bm{div},\Omega;\mathbb{S})$ simultaneously with the displacement $u$ in $L^{2}(\Omega)$. Stemming from the structure of $H(\bm{div},\Omega;\mathbb{S})$ conforming elements for the linear elasticity problems proposed by J. Hu and S. Zhang, the $H({\rm{div}}\bm{div},\Omega;\mathbb{S})$ conforming finite element spaces are constructed by imposing the normal continuity of $\bm{div}\bm{\sigma}$ on the $H(\bm{div},\Omega;\mathbb{S})$ conforming spaces of $P_{k}$ symmetric tensors. The inheritance makes the basis functions easy to compute. The discrete spaces for $u$ are composed of the piecewise $P_{k-2}$ polynomials without requiring any continuity. Such mixed finite elements are inf-sup stable on both triangular and tetrahedral grids for $k\geq 3$, and the optimal order of convergence is achieved. Besides, the superconvergence and the postprocessing results are displayed. Some numerical experiments are provided to demonstrate the theoretical analysis.


title: Evaporating droplets on inclined plant leaves and synthetic surfaces: experiments and mathematical models

abstract: Hypothesis: Evaporation of surfactant droplets on leaves is complicated due to the complex physical and chemical properties of the leaf surfaces. However, for certain leaf surfaces for which the evaporation process appears to follow the standard constant-contact-radius or constant-contact-angle modes, it should be possible to mimic the droplet evaporation with both a well-chosen synthetic surface and a relatively simple mathematical model. Experiments: Surfactant droplet evaporation experiments were performed on two commercial crop species, wheat and capsicum, along with two synthetic surfaces, up to a $90\,^{\circ}$ incline. The time-dependence of the droplets' contact angles, height, volume and contact radius was measured throughout the evaporation experiments. Mathematical models were developed to simulate the experiments. Findings: With one clear exception, for all combinations of surfaces, surfactant concentrations and angles, the experiments appear to follow the standard evaporation modes and are well described by the mathematical models (modified Popov and Young-Laplace-Popov). The exception is wheat with a high surfactant concentration, for which droplet evaporation appears nonstandard and deviates from the diffusion limited models, perhaps due to additional mechanisms such as the adsorption of surfactant, stomatal density or an elongated shape in the direction of the grooves in the wheat surface.


title: Structural stability of CuAl$_{2}$O$_{4}$ under pressure

abstract: Structural properties of CuAl$_{2}$O$_{4}$, which was recently argued to show unusual suppression of the Jahn-Teller distortions by the spin-orbit coupling, are investigated under pressures up to 6 GPa. Analysis of X-ray powder diffraction experiments shows that CuAl$_{2}$O$_{4}$ gets unstable and decomposes onto CuO and Al$_{2}$O$_{3}$ at pressures $\sim$ 6 GPa and temperature $\sim$ 1000 K. This finding is complemented by the DFT+U+SOC calculations, which demonstrate that this instability is partially driven by a (relatively) large compressibility of strongly Jahn-Teller distorted CuO.


title: Homogeneous CR submanifolds of complex hyperbolic spaces

abstract: We classify homogeneous CR submanifolds in complex hyperbolic spaces arising as orbits of a subgroup of the solvable part of the Iwasawa decomposition of the isometry group of the ambient space.


title: Static Race Detection for RTOS Applications

abstract: We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks and the presence of races may lead to erroneous behaviour with serious consequences. Analyzing these applications is challenging due to the variety of non-standard synchronization mechanisms they use. We propose a technique based on the notion of an "occurs-in-between" relation between statements. This notion enables us to capture the interplay of various synchronization mechanisms. We use a pre-analysis and a small set of not-occurs-in-between patterns to detect whether two statements may race with each other. Our experimental evaluation shows that the technique is efficient and effective in identifying races with high precision.


title: Localized states in passive and active phase-field-crystal models

abstract: The passive conserved Swift-Hohenberg equation (or phase-field-crystal [PFC] model) corresponds to a gradient dynamics for a single order parameter field related to density. It provides a simple microscopic description of the thermodynamic transition between liquid and crystalline states. In addition to spatially extended periodic structures, the model describes a large variety of steady spatially localized structures. In appropriate bifurcation diagrams the corresponding solution branches exhibit characteristic slanted homoclinic snaking. In an active PFC model, encoding for instance the active motion of self-propelled colloidal particles, the gradient dynamics structure is broken by a coupling between density and an additional polarization field. Then, resting and traveling localized states are found with transitions characterized by parity-breaking drift bifurcations. Here, we first briefly review the snaking behavior of localized states in passive and active PFC models before discussing the bifurcation behavior of localized states in systems of (i) two coupled passive PFC equations described by common gradient dynamics, (ii) two coupled passive PFC where the coupling breaks the gradient dynamics structure, and (iii) a passive PFC coupled to an active PFC.


title: A Method for Tumor Treating Fields Fast Estimation

abstract: Tumor Treating Fields (TTFields) is an FDA approved treatment for specific types of cancer and significantly extends patients life. The intensity of the TTFields within the tumor was associated with the treatment outcomes: the larger the intensity the longer the patients are likely to survive. Therefore, it was suggested to optimize TTFields transducer array location such that their intensity is maximized. Such optimization requires multiple computations of TTFields in a simulation framework. However, these computations are typically performed using finite element methods or similar approaches that are time consuming. Therefore, only a limited number of transducer array locations can be examined in practice. To overcome this issue, we have developed a method for fast estimation of TTFields intensity. We have designed and implemented a method that inputs a segmentation of the patients head, a table of tissues electrical properties and the location of the transducer array. The method outputs a spatial estimation of the TTFields intensity by incorporating a few relevant parameters in a random-forest regressor. The method was evaluated on 10 patients (20 TA layouts) in a leave-one-out framework. The computation time was 1.5 minutes using the suggested method, and 180-240 minutes using the commercial simulation. The average error was 0.14 V/cm (SD = 0.06 V/cm) in comparison to the result of the commercial simulation. These results suggest that a fast estimation of TTFields based on a few parameters is feasible. The presented method may facilitate treatment optimization and further extend patients life.


title: Multirotors from Takeoff to Real-Time Full Identification Using the Modified Relay Feedback Test and Deep Neural Networks

abstract: Low cost real-time identification of multirotor unmanned aerial vehicle (UAV) dynamics is an active area of research supported by the surge in demand and emerging application domains. Such real-time identification capabilities shorten development time and cost, making UAVs' technology more accessible, and enable a wide variety of advanced applications. In this paper, we present a novel comprehensive approach, called DNN-MRFT, for real-time identification and tuning of multirotor UAVs using the Modified Relay Feedback Test (MRFT) and Deep Neural Networks (DNN). The main contribution is the development of a generalized framework for the application of DNN-MRFT to higher-order systems. One of the notable advantages of DNN-MRFT is the exact estimation of identified process gain, which mitigates the inaccuracies introduced due to the use of the describing function method in approximating the response of Lure's systems. A secondary contribution is a generalized controller based on DNN-MRFT that takes-off a UAV with unknown dynamics and identifies the inner loops dynamics in-flight. Using the developed framework, DNN-MRFT is sequentially applied to the outer translational loops of the UAV utilizing in-flight results obtained for the inner attitude loops. DNN-MRFT takes on average 15 seconds to get the full knowledge of multirotor UAV dynamics and without any further tuning or calibration the UAV would be able to pass through a vertical window, and accurately follow trajectories achieving state-of-the-art performance. Such demonstrated accuracy, speed, and robustness of identification pushes the limits of state-of-the-art in real-time identification of UAVs.


title: On the Sparsity of Neural Machine Translation Models

abstract: Modern neural machine translation (NMT) models employ a large number of parameters, which leads to serious over-parameterization and typically causes the underutilization of computational resources. In response to this problem, we empirically investigate whether the redundant parameters can be reused to achieve better performance. Experiments and analyses are systematically conducted on different datasets and NMT architectures. We show that: 1) the pruned parameters can be rejuvenated to improve the baseline model by up to +0.8 BLEU points; 2) the rejuvenated parameters are reallocated to enhance the ability of modeling low-level lexical information.


title: Efficient computation of contrastive explanations

abstract: With the increasing deployment of machine learning systems in practice, transparency and explainability have become serious issues. Contrastive explanations are considered to be useful and intuitive, in particular when it comes to explaining decisions to lay people, since they mimic the way in which humans explain. Yet, so far, comparably little research has addressed computationally feasible technologies, which allow guarantees on uniqueness and optimality of the explanation and which enable an easy incorporation of additional constraints. Here, we will focus on specific types of models rather than black-box technologies. We study the relation of contrastive and counterfactual explanations and propose mathematical formalizations as well as a 2-phase algorithm for efficiently computing (plausible) pertinent positives of many standard machine learning models.


title: On the Sub-Layer Functionalities of Transformer Decoder

abstract: There have been significant efforts to interpret the encoder of Transformer-based encoder-decoder architectures for neural machine translation (NMT); meanwhile, the decoder remains largely unexamined despite its critical role. During translation, the decoder must predict output tokens by considering both the source-language text from the encoder and the target-language prefix produced in previous steps. In this work, we study how Transformer-based decoders leverage information from the source and target languages -- developing a universal probe task to assess how information is propagated through each module of each decoder layer. We perform extensive experiments on three major translation datasets (WMT En-De, En-Fr, and En-Zh). Our analysis provides insight on when and where decoders leverage different sources. Based on these insights, we demonstrate that the residual feed-forward module in each Transformer decoder layer can be dropped with minimal loss of performance -- a significant reduction in computation and number of parameters, and consequently a significant boost to both training and inference speed.


title: Context Modeling with Evidence Filter for Multiple Choice Question Answering

abstract: Multiple-Choice Question Answering (MCQA) is a challenging task in machine reading comprehension. The main challenge in MCQA is to extract "evidence" from the given context that supports the correct answer. In the OpenbookQA dataset, the requirement of extracting "evidence" is particularly important due to the mutual independence of sentences in the context. Existing work tackles this problem by annotated evidence or distant supervision with rules which overly rely on human efforts. To address the challenge, we propose a simple yet effective approach termed evidence filtering to model the relationships between the encoded contexts with respect to different options collectively and to potentially highlight the evidence sentences and filter out unrelated sentences. In addition to the effective reduction of human efforts of our approach compared, through extensive experiments on OpenbookQA, we show that the proposed approach outperforms the models that use the same backbone and more training data; and our parameter analysis also demonstrates the interpretability of our approach.


title: If beam search is the answer, what was the question?

abstract: Quite surprisingly, exact maximum a posteriori (MAP) decoding of neural language generators frequently leads to low-quality results. Rather, most state-of-the-art results on language generation tasks are attained using beam search despite its overwhelmingly high search error rate. This implies that the MAP objective alone does not express the properties we desire in text, which merits the question: if beam search is the answer, what was the question? We frame beam search as the exact solution to a different decoding objective in order to gain insights into why high probability under a model alone may not indicate adequacy. We find that beam search enforces uniform information density in text, a property motivated by cognitive science. We suggest a set of decoding objectives that explicitly enforce this property and find that exact decoding with these objectives alleviates the problems encountered when decoding poorly calibrated language generation models. Additionally, we analyze the text produced using various decoding strategies and see that, in our neural machine translation experiments, the extent to which this property is adhered to strongly correlates with BLEU.


title: Perturbations in a scalar field model with virtues of $\Lambda$CDM

abstract: In the era of precision cosmology, the cosmological constant $\Lambda$ gives quite an accurate description of the evolution of the Universe, but it is still plagued with the fine-tuning problem and the cosmic coincidence problem. In this work, we investigate the perturbations in a scalar field model that drives the recent acceleration in a similar fashion that the cosmological constant does and has the dark energy (DE) density comparable to the dark matter (DM) energy density at the recent epoch starting from arbitrary initial conditions. The perturbations show that this model, though it keeps the virtues of a $\Lambda$CDM model, has a distinctive qualitative feature, particularly it reduces the amplitude of the matter power spectrum on a scale of $8 h^{-1}\, \mbox{Mpc}$, $\sigma_{8}$ at the present epoch.


title: Almost elusive permutation groups

abstract: Let $G$ be a nontrivial transitive permutation group on a finite set $\Omega$. An element of $G$ is said to be a derangement if it has no fixed points on $\Omega$. From the orbit counting lemma, it follows that $G$ contains a derangement, and in fact $G$ contains a derangement of prime power order by a theorem of Fein, Kantor and Schacher. However, there are groups with no derangements of prime order; these are the so-called elusive groups and they have been widely studied in recent years. Extending this notion, we say that $G$ is almost elusive if it contains a unique conjugacy class of derangements of prime order. In this paper we first prove that every quasiprimitive almost elusive group is either almost simple or $2$-transitive of affine type. We then classify all the almost elusive groups that are almost simple and primitive with socle an alternating group, a sporadic group, or a rank one group of Lie type.


title: QPALM: A Proximal Augmented Lagrangian Method for Nonconvex Quadratic Programs

abstract: We propose QPALM, a nonconvex quadratic programming (QP) solver based on the proximal augmented Lagrangian method. This method solves a sequence of inner subproblems which can be enforced to be strongly convex and which therefore admit a unique solution. The resulting steps are shown to be equivalent to inexact proximal point iterations on the extended-real-valued cost function, which allows for a fairly simple analysis where convergence to a stationary point at an \(R\)-linear rate is shown. The QPALM algorithm solves the subproblems iteratively using semismooth Newton directions and an exact linesearch. The former can be computed efficiently in most iterations by making use of suitable factorization update routines, while the latter requires the zero of a monotone, one-dimensional, piecewise affine function. QPALM is implemented in open-source C code, with tailored linear algebra routines for the factorization in a self-written package LADEL. The resulting implementation is shown to be extremely robust in numerical simulations, solving all of the Maros-Meszaros problems and finding a stationary point for most of the nonconvex QPs in the Cutest test set. Furthermore, it is shown to be competitive against state-of-the-art convex QP solvers in typical QPs arising from application domains such as portfolio optimization and model predictive control. As such, QPALM strikes a unique balance between solving both easy and hard problems efficiently.


title: Extracting Implicitly Asserted Propositions in Argumentation

abstract: Argumentation accommodates various rhetorical devices, such as questions, reported speech, and imperatives. These rhetorical tools usually assert argumentatively relevant propositions rather implicitly, so understanding their true meaning is key to understanding certain arguments properly. However, most argument mining systems and computational linguistics research have paid little attention to implicitly asserted propositions in argumentation. In this paper, we examine a wide range of computational methods for extracting propositions that are implicitly asserted in questions, reported speech, and imperatives in argumentation. By evaluating the models on a corpus of 2016 U.S. presidential debates and online commentary, we demonstrate the effectiveness and limitations of the computational models. Our study may inform future research on argument mining and the semantics of these rhetorical devices in argumentation.


title: Synthetic line and continuum observations of simulated turbulent clouds: the apparent widths of filaments

abstract: Filamentary structures are ubiquitous in observations of real molecular clouds, and also in simulations of turbulent, self-gravitating gas. However, making comparisons between observations and simulations is complicated by the difficulty of estimating volume-densities observationally. Here, we have post-processed hydrodynamical simulations of a turbulent isothermal molecular cloud, using a full time-dependent chemical network. We have then run radiative transfer models to obtain synthetic line and continuum intensities that can be compared directly with those observed. We find that filaments have a characteristic width of $\,\sim\!0.1 \, {\rm pc}$, both on maps of their true surface density, and on maps of their $850 \, {\rm \mu m}$ dust-continuum emission, in agreement with previous work. On maps of line emission from CO isotopologues, the apparent widths of filaments are typically several times larger because the line intensities are poorly correlated with the surface density. On maps of line emission from dense-gas tracers such as N$_2$H$^+$ and HCN, the apparent widths of filaments are $\lesssim 0.1 \, {\rm pc}$. Thus, current observations of molecular-line emission are compatible with the universal $0.1 \, {\rm pc}$ filament width inferred from ${\it Herschel}$ observations, provided proper account is taken of abundance, optical-depth, and excitation considerations. We find evidence for $\sim 0.4 \, {\rm km \, s^{-1}}$ radial velocity differences across filaments. These radial velocity differences might be a useful indicator of the mechanism by which a filament has formed or is forming, for example the turbulent cloud scenario modelled here, as against other mechanisms such as cloud-cloud collisions.


title: Multi-Instance Multi-Label Learning Networks for Aspect-Category Sentiment Analysis

abstract: Aspect-category sentiment analysis (ACSA) aims to predict sentiment polarities of sentences with respect to given aspect categories. To detect the sentiment toward a particular aspect category in a sentence, most previous methods first generate an aspect category-specific sentence representation for the aspect category, then predict the sentiment polarity based on the representation. These methods ignore the fact that the sentiment of an aspect category mentioned in a sentence is an aggregation of the sentiments of the words indicating the aspect category in the sentence, which leads to suboptimal performance. In this paper, we propose a Multi-Instance Multi-Label Learning Network for Aspect-Category sentiment analysis (AC-MIMLLN), which treats sentences as bags, words as instances, and the words indicating an aspect category as the key instances of the aspect category. Given a sentence and the aspect categories mentioned in the sentence, AC-MIMLLN first predicts the sentiments of the instances, then finds the key instances for the aspect categories, finally obtains the sentiments of the sentence toward the aspect categories by aggregating the key instance sentiments. Experimental results on three public datasets demonstrate the effectiveness of AC-MIMLLN.


title: Data-Driven Control for Linear Discrete-Time Delay Systems

abstract: The increasing ease of obtaining and processing data together with the growth in system complexity has sparked the interest in moving from conventional model-based control design towards data-driven concepts. Since in many engineering applications time delays naturally arise and are often a source of instability, we contribute to the data-driven control field by introducing data-based formulas for state feedback control design in linear discrete-time time-delay systems with uncertain delays. With the proposed approach, the problems of system stabilization as well as of guaranteed cost and $H_{\infty}$ control design are treated in a unified manner. Extensions to determine the system delays and to ensure robustness in the event of noisy data are also provided.


title: Extending Social Resource Exchange to Events of Abundance and Sufficiency

abstract: This article identifies how scarcity, abundance, and sufficiency influence exchange behavior. Analyzing the mechanisms governing exchange of resources constitutes the foundation of several social-science perspectives. Neoclassical economics provides one of the most well-known perspectives of how rational individuals allocate and exchange resources. Using Rational Choice Theory (RCT), neoclassical economics assumes that exchange between two individuals will occur when resources are scarce and that these individuals interact rationally to satisfy their requirements (i.e., preferences). While RCT is useful to characterize interaction in closed and stylized systems, it proves insufficient to capture social and psychological reality where culture, emotions, and habits play an integral part in resource exchange. Social Resource Theory (SRT) improves on RCT in several respects by making the social nature of resources the object of study. SRT shows how human interaction is driven by an array of psychological mechanisms, from emotions to heuristics. Thus, SRT provides a more realistic foundation for analyzing and explaining social exchange than the stylized instrumental rationality of RCT. Yet SRT has no clear place for events of abundance and sufficiency as additional motivations to exchange resources. This article synthesize and formalize a foundation for SRT using not only scarcity but also abundance and sufficiency.


title: Histopathological Stain Transfer using Style Transfer Network with Adversarial Loss

abstract: Deep learning models that are trained on histopathological images obtained from a single lab and/or scanner give poor inference performance on images obtained from another scanner/lab with a different staining protocol. In recent years, there has been a good amount of research done for image stain normalization to address this issue. In this work, we present a novel approach for the stain normalization problem using fast neural style transfer coupled with adversarial loss. We also propose a novel stain transfer generator network based on High-Resolution Network (HRNet) which requires less training time and gives good generalization with few paired training images of reference stain and test stain. This approach has been tested on Whole Slide Images (WSIs) obtained from 8 different labs, where images from one lab were treated as a reference stain. A deep learning model was trained on this stain and the rest of the images were transferred to it using the corresponding stain transfer generator network. Experimentation suggests that this approach is able to successfully perform stain normalization with good visual quality and provides better inference performance compared to not applying stain normalization.


title: Detecting Attackable Sentences in Arguments

abstract: Finding attackable sentences in an argument is the first step toward successful refutation in argumentation. We present a first large-scale analysis of sentence attackability in online arguments. We analyze driving reasons for attacks in argumentation and identify relevant characteristics of sentences. We demonstrate that a sentence's attackability is associated with many of these characteristics regarding the sentence's content, proposition types, and tone, and that an external knowledge source can provide useful information about attackability. Building on these findings, we demonstrate that machine learning models can automatically detect attackable sentences in arguments, significantly better than several baselines and comparably well to laypeople.