title: Drawing Graphs as Spanners

abstract: We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $\Gamma$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of vertices of $G$, is the spanning ratio of $\Gamma$. First, we show that deciding whether a graph admits a straight-line drawing with spanning ratio $1$, a proper straight-line drawing with spanning ratio $1$, and a planar straight-line drawing with spanning ratio $1$ are NP-complete, $\exists \mathbb R$-complete, and linear-time solvable problems, respectively, where a drawing is proper if no two vertices overlap and no edge overlaps a vertex. Second, we show that moving from spanning ratio $1$ to spanning ratio $1+\epsilon$ allows us to draw every graph. Namely, we prove that, for every $\epsilon>0$, every (planar) graph admits a proper (resp. planar) straight-line drawing with spanning ratio smaller than $1+\epsilon$. Third, our drawings with spanning ratio smaller than $1+\epsilon$ have large edge-length ratio, that is, the ratio between the length of the longest edge and the length of the shortest edge is exponential. We show that this is sometimes unavoidable. More generally, we identify having bounded toughness as the criterion that distinguishes graphs that admit straight-line drawings with constant spanning ratio and polynomial edge-length ratio from graphs that require exponential edge-length ratio in any straight-line drawing with constant spanning ratio.


title: Dust Devils on Titan

abstract: Conditions on Saturn's moon Titan suggest dust devils, which are convective, dust-laden plumes, may be active. Although the exact nature of dust on Titan is unclear, previous observations confirm an active aeolian cycle, and dust devils may play an important role in Titan's aeolian cycle, possibly contributing to regional transport of dust and even production of sand grains. The Dragonfly mission to Titan will document dust devil and convective vortex activity and thereby provide a new window into these features, and our analysis shows that associated winds are likely to be modest and pose no hazard to the mission.


title: Learning to Predict Error for MRI Reconstruction

abstract: In healthcare applications, predictive uncertainty has been used to assess predictive accuracy. In this paper, we demonstrate that predictive uncertainty estimated by the current methods does not highly correlate with prediction error by decomposing the latter into random and systematic errors, and showing that the former is equivalent to the variance of the random error. In addition, we observe that current methods unnecessarily compromise performance by modifying the model and training loss to estimate the target and uncertainty jointly. We show that estimating them separately without modifications improves performance. Following this, we propose a novel method that estimates the target labels and magnitude of the prediction error in two steps. We demonstrate this method on a large-scale MRI reconstruction task, and achieve significantly better results than the state-of-the-art uncertainty estimation methods.


title: Asynchronous Tracking-by-Detection on Adaptive Time Surfaces for Event-based Object Tracking

abstract: Event cameras, which are asynchronous bio-inspired vision sensors, have shown great potential in a variety of situations, such as fast motion and low illumination scenes. However, most of the event-based object tracking methods are designed for scenarios with untextured objects and uncluttered backgrounds. There are few event-based object tracking methods that support bounding box-based object tracking. The main idea behind this work is to propose an asynchronous Event-based Tracking-by-Detection (ETD) method for generic bounding box-based object tracking. To achieve this goal, we present an Adaptive Time-Surface with Linear Time Decay (ATSLTD) event-to-frame conversion algorithm, which asynchronously and effectively warps the spatio-temporal information of asynchronous retinal events to a sequence of ATSLTD frames with clear object contours. We feed the sequence of ATSLTD frames to the proposed ETD method to perform accurate and efficient object tracking, which leverages the high temporal resolution property of event cameras. We compare the proposed ETD method with seven popular object tracking methods, that are based on conventional cameras or event cameras, and two variants of ETD. The experimental results show the superiority of the proposed ETD method in handling various challenging environments.


title: Prospect for precision quantum logic spectroscopy of vibrational overtone transitions in molecular oxygen ions

abstract: Precision spectroscopy has been the driving force for progress of our physical understanding and still is a promising tool for the investigation of new physics. Molecules offer transitions which allow tests that are not possible in atomic systems. However, usually precision spectroscopy of molecules is challenging due to the lack of cycling transitions for state preparation and state detection. For molecular ions, this obstacle can be overcome by quantum logic spectroscopy, where dissipation for state preparation and detection is provided by a co-trapped atomic ion exploiting the shared eigenstates of motion. Here, we propose a full quantum logic spectroscopy scheme for molecular oxygen ions and theoretically investigate the feasibility of quantum logic assisted state detection and preparation. Furthermore, we provide coupling rates for a direct single-photon quadrupole excitation of a vibrational overtone transition that can serve as a sensitive transition for tests of a possible variation of the proton-to-electron mass ratio.


title: Extension of QSQH theory of scale interaction in near-wall turbulence to all velocity components

abstract: The QSQH theory is extended to all three velocity components taking into account the fluctuations of the direction of the large-scale component of the wall friction. This effect is found to be significant. It explains the large sensitivity of the fluctuations of longitudinal and spanwise velocities to variations in the Reynolds number in comparison with the sensitivity of the mean velocity, the Reynolds stress, and the wall-normal velocity fluctuations. The analysis shows that the variation of the longitudinal velocity fluctuations with the Reynolds number is dominated by the variation of the amplitude and wall-normal-scale modulation of the universal mean velocity profile by the outer, large-scale, Reynolds-number-dependent motions. The variation of spanwise velocity fluctuations is dominated by the fluctuations of the direction of the large-scale component of the wall friction. The Reynolds number dependence of the other second moments is not dominated by these mechanisms because the mean wall-normal velocity and the mean spanwise velocity are zero. Explicit relationships between the differences in the second moments of velocity in any two high-Reynolds-number near-wall flows were derived. The comparisons gave a satisfactory agreement for the root-mean square of the wall-parallel velocity components in the range of the distances from the wall where modulation by large-scale motions dominates. Relationships between the differences of the constants of the logarithmic law, the shape of the mean velocity profile, and the differences of the second moments of velocity caused by the differences in large-scale motions were derived and estimated quantitatively.


title: Positive energy representations of affine vertex algebras

abstract: We construct new families of positive energy representations of affine vertex algebras together with their free field realizations by using localization technique. We introduce the twisting functor T_\alpha on the category of modules over affine Kac--Moody algebra \widehat{g}_\kappa of level \kappa for any positive root \alpha of g, and the Wakimoto functor from a certain category of g-modules to the category of smooth \widehat{g}_\kappa-modules. These two functors commute and the image of the Wakimoto functor consists of relaxed Wakimoto \widehat{g}_\kappa-modules. In particular, applying the twisting functor T_\alpha to the relaxed Wakimoto \widehat{g}_\kappa-module whose top degree component is isomorphic to the Verma g-module M^g_b(\lambda), we obtain the relaxed Wakimoto \widehat{g}_\kappa-module whose top degree component is isomorphic to the \alpha-Gelfand--Tsetlin g-module W^g_b(\lambda, \alpha). We show that the relaxed Verma module and relaxed Wakimoto module whose top degree components are such \alpha-Gelfand--Tsetlin modules, are isomorphic generically. This is an analogue of the result of E.Frenkel for Wakimoto modules both for critical and non-critical level. For a parabolic subalgebra p of g we construct a large family of admissible g-modules as images under the twisting functor of generalized Verma modules induced from p. In this way, we obtain new simple positive energy representations of simple affine vertex algebras.


title: Hyperstates of Involutive MTL-Algebras that Satisfy $(2x)^2 = 2(x^2)$

abstract: States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the variety generated by perfect and involutive MTL-algebras (IBP0-algebras for short). Grounding on a recent result showing that IBP0-algebras can be constructed from a Boolean algebra, a prelinear semihoop and a suitably defined operator between them, our first investigation on states of prelinear semihoops will support and justify the notion of hyperstate for IBP0- algebras and will actually show that each such map can be represented by a probability measure on its Boolean skeleton, and a state on a suitably defined abelian l-group.


title: On Carbon Nanotubes in the Interstellar Medium

abstract: Since their discovery in 1991, carbon nanotubes (CNTs) -- a novel one-dimensional carbon allotrope -- have attracted considerable interest worldwide because of their potential technological applications such as electric and optical devices. In the astrophysical context, CNTs may be present in the interstellar space since many of the other allotropes of carbon (e.g., amorphous carbon, fullerenes, nanodiamonds, graphite, polycyclic aromatic hydrocarbons, and possibly graphene as well) are known to be widespread in the Universe, as revealed by presolar grains in carbonaceous primitive meteorites and/or by their fingerprint spectral features in astronomical spectra. In addition, there are also experimental and theoretical pathways to the formation of CNTs in the interstellar medium (ISM). In this work, we examine their possible presence in the ISM by comparing the observed interstellar extinction curve with the ultraviolet/optical absorption spectra experimentally obtained for single-walled CNTs of a wide range of diameters and chiralities. Based on the absence in the interstellar extinction curve of the ~4.5 and 5.25 eV $\pi$-plasmon absorption bands which are pronounced in the experimental spectra of CNTs, we place an upper limit of ~10 ppm of C/H (i.e., ~4% of the total interstellar C) on the interstellar CNT abundance.


title: Explainable Queries over Event Logs

abstract: Added value can be extracted from event logs generated by business processes in various ways. However, although complex computations can be performed over event logs, the result of such computations is often difficult to explain; in particular, it is hard to determine what parts of an input log actually matters in the production of that result. This paper describes how an existing log processing library, called BeepBeep, can be extended in order to provide a form of provenance: individual output events produced by a query can be precisely traced back to the data elements of the log that contribute to (i.e. "explain") the result.


title: Weak localization corrections to the thermal conductivity in $s$-wave superconductors

abstract: We study the thermal conductivity in disordered $s$-wave superconductors. Expanding on previous works for normal metals, we develop a formalism that tackles particle diffusion as well as the weak localization (WL) and weak anti-localization (WAL) effects. Using a Green's functions diagrammatic technique, which takes into account the superconducting nature of the system by working in Nambu space, we identify the system's low-energy modes, the diffuson and the Cooperon. The time scales that characterize the diffusive regime are energy dependent; this is in contrast with the the normal state, where the relevant time scale is the mean free time $\tau_e$, independent of energy. The energy dependence introduces a novel energy scale $\varepsilon_*$, which in disordered superconductors ($\tau_e \Delta\ll 1$, with $\Delta$ the gap) is given by $\varepsilon_* = \sqrt{\Delta/\tau_e}$. From the diffusive behavior of the low-energy modes, we obtain the WL correction to the thermal conductivity. We give explicitly expressions in two dimensions. We determine the regimes in which the correction depends explicitly on $\varepsilon_*$ and propose an optimal regime to verify our results in an experiment.


title: Shallow transit follow-up from NGTS: simultaneous observations of HD106315 with 11 identical telescopes

abstract: The Next Generation Transit Survey (NGTS) is a photometric survey for transiting exoplanets, consisting of twelve identical 0.2-m telescopes. We report a measurement of the transit of HD106315c using a novel observing mode in which multiple NGTS telescopes observed the same target with the aim of increasing the signal-to-noise. Combining the data allows the robust detection of the transit, which has a depth less than 0.1 per cent, rivalling the performance of much larger telescopes. We demonstrate the capability of NGTS to contribute to the follow-up of K2 and TESS discoveries using this observing mode. In particular, NGTS is well-suited to the measurement of shallow transits of bright targets. This is particularly important to improve orbital ephemerides of relatively long-period planets, where only a small number of transits are observed from space.


title: On Contamination of Symbolic Datasets

abstract: Data taking values on discrete sample spaces are the embodiment of modern biological research. "Omics" experiments produce millions of symbolic outcomes in the form of reads (i.e., DNA sequences of a few dozens to a few hundred nucleotides). Unfortunately, these intrinsically non-numerical datasets are often highly contaminated, and the possible sources of contamination are usually poorly characterized. This contrasts with numerical datasets where Gaussian-type noise is often well-justified. To overcome this hurdle, we introduce the notion of latent weight, which measures the largest expected fraction of samples from a contaminated probabilistic source that conform to a model in a well-structured class of desired models. We examine various properties of latent weights, which we specialize to the class of exchangeable probability distributions. As proof of concept, we analyze DNA methylation data from the 22 human autosome pairs. Contrary to what it is usually assumed, we provide strong evidence that highly specific methylation patterns are overrepresented at some genomic locations when contamination is taken into account.

categories: stat.ME math.PR math.ST q-bio.GN stat.AP stat.TH


title: Augmenting an Assisted Living Lab with Non-Intrusive Load Monitoring

abstract: The need for reducing our energy consumption footprint and the increasing number of electric devices in today's homes is calling for new solutions that allow users to efficiently manage their energy consumption. Real-time feedback at device level would be of a significant benefit for this application. In addition, the aging population and their wish to be more autonomous have motivated the use of this same real-time data to indirectly monitor the household's occupants for their safety. By breaking down aggregate power consumption into its components, Non-Intrusive Load Monitoring provides information on individual appliances and their current state of operation. Since no additional metering equipment is required, residents are not confronted with intrusion into their familiar environment. Our work aims to depict an architecture supporting non-intrusive measurement with a smart electricity meter and the handling of these data using an open-source platform that allows to visualize and process real-time data about the total energy consumed. As a case study, we describe a series of measurements from common household devices and show how abnormal behavior can be detected.


title: Fully Consistent Density Functional Theory Determination of the Insulator-Metal Transition Boundary in Warm Dense Hydrogen

abstract: Using conceptually and procedurally consistent density functional theory (DFT) calculations with an advanced meta-GGA exchange-correlation functional in ab initio molecular dynamics simulations, we determine the insulator-metal transition (IMT) of warm dense fluid hydrogen over the pressure range 50 to 300 GPa. Inclusion of nuclear quantum effects via path-integral molecular dynamics (PIMD) sharpens the metallic transition and lowers the transition temperature relative to results from Born-Oppenheimer (BO) MD. BOMD itself gives improved agreement with experimental results compared to previous DFT predictions. Examination of the ionic pair correlation function in the context of the abrupt conductivity increase at the transition confirms a metallic transition due to the dissociation of molecular hydrogen that coincides with an abrupt band gap closure. Direct comparison of the PIMD and BOMD results clearly demonstrates an isotope effect on the IMT. Distinct from stochastic simulations, these results do not depend upon any ad hoc combination of ground-state and finite-T methodologies.


title: Landau Level Phases in Bilayer Graphene under Pressure at Charge Neutrality

abstract: Bilayer graphene in a magnetic field hosts a variety of ordered phases built from eight Landau levels close in energy to the neutrality point. These levels are characterized by orbital $n=0,1$, valley $\xi=+,-$ and spin $\sigma=\uparrow,\downarrow$; their relative energies depend strongly on the Coulomb interaction, magnetic field, and interlayer bias. We treat interactions at the Hartree-Fock level, including the effects of metallic gates, layer separation, spatial extent of the $p_z$ orbitals, all Slonczewski-Weiss-McClure tight-binding parameters, and pressure. We obtain the ground state as function of the applied magnetic field, bias, and pressure. The gates, layer separation and extent of the $p_z$ orbitals weaken the Coulomb interaction at different length scales; these effects distort the phase diagram but do not change its topology. However, previously-predicted continuous transitions become discontinuous when all tight-binding parameters are included nonperturbatively. We find that pressure increases the importance of the noninteracting scale with respect to the Coulomb energy, which drives phase transitions to occur at lower fields. This brings two orbitally polarized states not yet predicted or observed into the experimentally accessible region of the phase diagram, in addition to previously-identified valley-, spin-, and partially orbitally polarized states.


title: Dilation theory: a guided tour

abstract: Dilation theory is a paradigm for studying operators by way of exhibiting an operator as a compression of another operator which is in some sense well behaved. For example, every contraction can be dilated to (i.e., is a compression of) a unitary operator, and on this simple fact a penetrating theory of non-normal operators has been developed. In the first part of this survey, I will leisurely review key classical results on dilation theory for a single operator or for several commuting operators, and sample applications of dilation theory in operator theory and in function theory. Then, in the second part, I will give a rapid account of a plethora of variants of dilation theory and their applications. In particular, I will discuss dilation theory of completely positive maps and semigroups, as well as the operator algebraic approach to dilation theory. In the last part, I will present relatively new dilation problems in the noncommutative setting which are related to the study of matrix convex sets and operator systems, and are motivated by applications in control theory. These problems include dilating tuples of noncommuting operators to tuples of commuting normal operators with a specified joint spectrum. I will also describe the recently studied problem of determining the optimal constant $c = c_{\theta,\theta'}$, such that every pair of unitaries $U,V$ satisfying $VU = e^{i\theta} UV$ can be dilated to a pair of $cU', cV'$, where $U',V'$ are unitaries that satisfy the commutation relation $V'U' = e^{i\theta'} U'V'$. The solution of this problem gives rise to a new and surprising application of dilation theory to the continuity of the spectrum of the almost Mathieu operator from mathematical physics.


title: Real spin and pseudospin topologies in the noncentrosymmetric topological nodal-line semimetal CaAgAs

abstract: We present the topology of spin-split Fermi surface of CaAgAs as determined by de Haas-van Alphen (dHvA) effect measurements combined with ab initio calculations. We have determined the torus-shaped nodal-line Fermi surface from the dHvA oscillations of $\beta$ and $\gamma$ orbits. The former orbit encircles the nodal-line, while the latter does not. Nevertheless, a nontrivial Berry phase is found for both orbits. The nontrivial phase of $\beta$ arises from the orbital characters, which can be expressed as a pseudospin rotating around the nodal-line. On the other hand, the phase of $\gamma$ is attributed to the vortex of real spin texture induced by an antisymmetric spin-orbit interaction. Our result demonstrates that both the real- and pseudo-spin textures are indispensable in interpreting the electronic topology in noncentrosymmetric nodal-line semimetals.


title: Detecting stable adsorbates of (1S)-camphor on Cu(111) with Bayesian optimization

abstract: Identifying the atomic structure of organic-inorganic interfaces is challenging with our current research tools. Interpreting the structure of complex molecular adsorbates from microscopy images can be difficult, and using atomistic simulations to find the most stable structures is limited to partial exploration of the potential energy surface due to the high-dimensional phase space. In this study, we present the recently developed Bayesian Optimization Structure Search (BOSS) method as an efficient solution for identifying the structure of non-planar adsorbates. We apply BOSS with density-functional theory simulations to detect the stable adsorbate structures of (1S)-camphor on the Cu(111) surface. We identify the optimal structure among 8 unique types of stable adsorbates, in which camphor chemisorbs via oxygen (global minimum) or physisorbs via hydrocarbons to the Cu(111) surface. This study demonstrates that new cross-disciplinary tools, like BOSS, facilitate the description of complex surface structures and their properties, and ultimately allow us to tune the functionality of advanced materials.


title: Engineering Faster Sorters for Small Sets of Items

abstract: Sorting a set of items is a task that can be useful by itself or as a building block for more complex operations. That is why a lot of effort has been put into finding sorting algorithms that sort large sets as fast as possible. But the more sophisticated and complex the algorithms become, the less efficient they are for small sets of items due to large constant factors. We aim to determine if there is a faster way than insertion sort to sort small sets of items to provide a more efficient base case sorter. We looked at sorting networks, at how they can improve the speed of sorting few elements, and how to implement them in an efficient manner by using conditional moves. Since sorting networks need to be implemented explicitly for each set size, providing networks for larger sizes becomes less efficient due to increased code sizes. To also enable the sorting of slightly larger base cases, we adapted sample sort to Register Sample Sort, to break down those larger sets into sizes that can in turn be sorted by sorting networks. From our experiments we found that when sorting only small sets, the sorting networks outperform insertion sort by a factor of at least 1.76 for any array size between six and sixteen, and by a factor of 2.72 on average across all machines and array sizes. When integrating sorting networks as a base case sorter into Quicksort, we achieved far less performance improvements, which is probably due to the networks having a larger code size and cluttering the L1 instruction cache. But for x86 machines with a larger L1 instruction cache of 64 KiB or more, we obtained speedups of 12.7% when using sorting networks as a base case sorter in std::sort. In conclusion, the desired improvement in speed could only be achieved under special circumstances, but the results clearly show the potential of using conditional moves in the field of sorting algorithms.


title: On Two Measures of Distance between Fully-Labelled Trees

abstract: The last decade brought a significant increase in the amount of data and a variety of new inference methods for reconstructing the detailed evolutionary history of various cancers. This brings the need of designing efficient procedures for comparing rooted trees representing the evolution of mutations in tumor phylogenies. Bernardini et al. [CPM 2019] recently introduced a notion of the rearrangement distance for fully-labelled trees motivated by this necessity. This notion originates from two operations: one that permutes the labels of the nodes, the other that affects the topology of the tree. Each operation alone defines a distance that can be computed in polynomial time, while the actual rearrangement distance, that combines the two, was proven to be NP-hard. We answer two open question left unanswered by the previous work. First, what is the complexity of computing the permutation distance? Second, is there a constant-factor approximation algorithm for estimating the rearrangement distance between two arbitrary trees? We answer the first one by showing, via a two-way reduction, that calculating the permutation distance between two trees on $n$ nodes is equivalent, up to polylogarithmic factors, to finding the largest cardinality matching in a sparse bipartite graph. In particular, by plugging in the algorithm of Liu and Sidford [ArXiv 2020], we obtain an $O(n^{4/3+o(1)})$ time algorithm for computing the permutation distance between two trees on $n$ nodes. Then we answer the second question positively, and design a linear-time constant-factor approximation algorithm that does not need any assumption on the trees.


title: Collective Dissipative Molecule Formation in a Cavity

abstract: We propose a mechanism to realize high-yield molecular formation from ultracold atoms. Atom pairs are continuously excited by a laser, and a collective decay into the molecular ground state is induced by a coupling to a lossy cavity mode. Using a combination of analytical and numerical techniques, we demonstrate that the molecular yield can be improved by simply increasing the number of atoms, and can overcome efficiencies of state-of-the-art association schemes. We discuss realistic experimental setups for diatomic polar and nonpolar molecules, opening up collective light matter interactions as a tool for quantum state engineering, enhanced molecule formation, collective dynamics, and cavity mediated chemistry.


title: Phenomenological model explaining Hubble Tension origin

abstract: One of the problem revealed recently in cosmology is a so-called Hubble tension (HT), which is the difference between values of the present Hubble constant, measured by observation of the universe at redshift $z \lesssim 1$, and by observations of a distant universe with CMB fluctuations originated at $z \sim 1100$. In this paper we suggest, that this discrepancy may be explained by deviation of the cosmological expansion from a standard Lambda-CDM %simple Friedman model of a flat universe, during the period after recombination at $z \lesssim 1100$, due to action of additional variable component of a dark energy of different origin.. We suppose, that a dark matter (DM) has a common origin with a variable component of a dark energy (DEV). DE presently may have two components, one of which is the Einstein constant $\Lambda$, and another, smaller component DEV ($\Lambda_V$) comes from the remnants of a scalar fields responsible for inflation. Due to common origin and interconnections the densities of DEV and DM are supposed to be connected, and remain almost constant during, at least, the time after recombination, when we may approximate $\rho_{DM}=\alpha \rho_{DEV}$. This part of the dark energy in not connected with the cosmological constant $\Lambda$, but is defined by existence of scalar fields with a variable density. Taking into account the influence of DEV on the universe expansion we find the value of $\alpha$ which could remove the HT problem. In order to maintain the almost constant DEV/DM energy density ratio during the time interval at $z<1100$, we suggest an existence of a wide mass DM particle distribution.


title: Performance Analysis of Intelligent Reflective Surfaces for Wireless Communication

abstract: A statistical characterization of the fundamental performance bounds of an intelligent reflective surface (IRS) intended for aiding wireless communications is presented. To this end, the outage probability, average symbol error probability, and achievable rate bounds are derived in closed-form. By virtue of asymptotic analysis in the high signal-to-noise ratio (SNR) regime, the achievable diversity order is derived. Thereby, we show that a diversity gain in the order of the number of passive reflective elements embedded within the IRS can be achieved with only controllable phase adjustments. Thus, IRS has a great potential of boosting the wireless performance by intelligently controlling the propagation channels without employing additional active radio frequency chains.


title: Efficient And Scalable Neural Residual Waveform Coding With Collaborative Quantization

abstract: Scalability and efficiency are desired in neural speech codecs, which supports a wide range of bitrates for applications on various devices. We propose a collaborative quantization (CQ) scheme to jointly learn the codebook of LPC coefficients and the corresponding residuals. CQ does not simply shoehorn LPC to a neural network, but bridges the computational capacity of advanced neural network models and traditional, yet efficient and domain-specific digital signal processing methods in an integrated manner. We demonstrate that CQ achieves much higher quality than its predecessor at 9 kbps with even lower model complexity. We also show that CQ can scale up to 24 kbps where it outperforms AMR-WB and Opus. As a neural waveform codec, CQ models are with less than 1 million parameters, significantly less than many other generative models.


title: Dynamics Landscape for Acoustic Superradiance

abstract: We analyze the behaviour of acoustic vortex beams interacting with rotating, fluid-saturated porous materials. Regions of the parameter space that exhibit distinct dynamical features are identified, with a focus on features that are relevant to the characterization of rotational superradiance. We discuss the similarities and differences between two recent proposals to observe acoustic superradiance with rotating, air-saturated sound absorbers. Finally, theoretical predictions for macroscopic acoustic scattering, obtained by averaging over interactions between the fluid and the porous material at the microscopic level, are compared with predictions of the first-Born approximation.


title: Sentiment Analysis Using Averaged Weighted Word Vector Features

abstract: People use the world wide web heavily to share their experience with entities such as products, services, or travel destinations. Texts that provide online feedback in the form of reviews and comments are essential to make consumer decisions. These comments create a valuable source that may be used to measure satisfaction related to products or services. Sentiment analysis is the task of identifying opinions expressed in such text fragments. In this work, we develop two methods that combine different types of word vectors to learn and estimate polarity of reviews. We develop average review vectors from word vectors and add weights to this review vectors using word frequencies in positive and negative sensitivity-tagged reviews. We applied the methods to several datasets from different domains that are used as standard benchmarks for sentiment analysis. We ensemble the techniques with each other and existing methods, and we make a comparison with the approaches in the literature. The results show that the performances of our approaches outperform the state-of-the-art success rates.


title: Pre-Training for Query Rewriting in A Spoken Language Understanding System

abstract: Query rewriting (QR) is an increasingly important technique to reduce customer friction caused by errors in a spoken language understanding pipeline, where the errors originate from various sources such as speech recognition errors, language understanding errors or entity resolution errors. In this work, we first propose a neural-retrieval based approach for query rewriting. Then, inspired by the wide success of pre-trained contextual language embeddings, and also as a way to compensate for insufficient QR training data, we propose a language-modeling (LM) based approach to pre-train query embeddings on historical user conversation data with a voice assistant. In addition, we propose to use the NLU hypotheses generated by the language understanding system to augment the pre-training. Our experiments show pre-training provides rich prior information and help the QR task achieve strong performance. We also show joint pre-training with NLU hypotheses has further benefit. Finally, after pre-training, we find a small set of rewrite pairs is enough to fine-tune the QR model to outperform a strong baseline by full training on all QR training data.


title: Ground state phase diagram of dipolar-octupolar pyrochlores

abstract: The dipolar-octupolar pyrochlore oxides R$_2$M$_2$O$_7$ (R=Ce, Sm, Nd) represent an important opportunity in the search for three dimensional Quantum Spin Liquid (QSL) ground states. Their low energy physics is governed by an alluringly simple XYZ Hamiltonian, enabling theoretical description with only a small number of free parameters. Meanwhile, recent experiments on Ce pyrochlores strongly suggest QSL physics. Motivated by this, we present here a complete analysis of the ground state phase diagram of dipolar-octupolar pyrochlores. Combining cluster mean field theory, variational arguments and exact diagonalization we find multiple U(1) QSL phases which together occupy a large fraction of the parameter space. These results give a comprehensive picture of the ground state physics of an important class of QSL candidates and support the possibility of a $U(1)$ QSL ground state in Ce$_2$Zr$_2$O$_7$ and Ce$_2$Sn$_2$O$_7$.


title: A possible shortcut for neutron-antineutron oscillation through mirror world

abstract: Existing bounds on the neutron-antineutron mass mixing, $\epsilon_{n\bar n} < {\rm few} \times 10^{-24}$ eV, impose a severe upper limit on $n - \bar n$ transition probability, $P_{n\bar n}(t) < (t/0.1 ~{\rm s})^2 \times 10^{-18}$ or so, where $t$ is the neutron flight time. Here we propose a new mechanism of $n- \bar n$ transition which is not induced by direct mass mixing $\epsilon_{n\bar n}$ but is mediated instead by the neutron mixings with the hypothetical states of mirror neutron $n'$ and mirror antineutron $\bar{n}'$. The latter can be as large as $\epsilon_{nn'}, \epsilon_{n\bar{n}'} \sim 10^{-15}$ eV or so, without contradicting present experimental limits and nuclear stability bounds. The probabilities of $n-n'$ and $n-\bar{n}'$ transitions, $P_{nn'}$ and $P_{n\bar{n}'}$, depend on environmental conditions in mirror sector, and they can be resonantly amplified by applying the magnetic field of the proper value. This opens up a possibility of $n-\bar n$ transition with the probability $P_{n\bar n} \simeq P_{nn'} P_{n\bar{n}'}$ which can reach the values $\sim 10^{-8} $ or even larger. For finding this effect in real experiments, the magnetic field should not be suppressed but properly varied. These mixings can be induced by new physics at the scale of few TeV which may also originate a new low scale co-baryogenesis mechanism between ordinary and mirror sectors.


title: Emerging organic contaminants in wastewater: Understanding electrochemical reactors for triclosan and its by-products degradation

abstract: Degradation technologies applied to emerging organic contaminants from human activities are one of the major water challenges in the contamination legacy. Triclosan is an emerging contaminant, commonly used as antibacterial agent in personal care products. Triclosan is stable, lipophilic and it is proved to have ecotoxicologic effects in organics. This induces great concern since its elimination in wastewater treatment plants is not efficient and its by-products (e.g. methyl-triclosan, 2,4-dichlorophenol or 2,4,6-trichlorophenol) are even more hazardous to several environmental compartments. This work provides understanding of two different electrochemical reactors for the degradation of triclosan and its derivative by-products in effluent. A batch reactor and a flow reactor (mimicking a secondary settling tank in a wastewater treatment plant) were tested with two different working anodes: Ti/MMO and Nb/BDD. The degradation efficiency and kinetics were evaluated to find the best combination of current density, electrodes and set-up design. For both reactors the best electrode combination was achieved with Ti/MMO as anode. The batch reactor at 7 mA/cm2 during 4 h attained degradation rates below the detection limit for triclosan and 2,4,6-trichlorophenol and, 94% and 43% for 2,4-dichlorophenol and methyl triclosan, respectively. The flow reactor obtained, in approximately 1 h, degradation efficiencies between 41% and 87% for the four contaminants. This study suggests an alternative technology for emerging organic contaminants degradation, since the combination of a low current density with the flow and matrix induced disturbance increases and speeds up the compounds elimination in a real environmental matrix.


title: Hydrogen ionization equilibrium in magnetic fields

abstract: We assess the partition function and ionization degree of magnetized hydrogen atoms at thermodynamic equilibrium for a wide range of field intensities, $B\approx 10^5$-$10^{12}$~G. Evaluations include fitting formulae for an arbitrary number of binding energies, the coupling between the internal atomic structure and the center-of-mass motion across the magnetic field, and the formation of the so-called decentered states (bound states with the electron shifted from the Coulomb well). Non-ideal gas effects are treated within the occupational probability method. We also present general mathematical expressions for the bound state correspondence between the limits of zero-field and high-field. This let us evaluate the atomic partition function in a continuous way from the Zeeman perturbative regime to very strong fields. Results are shown for conditions found in atmospheres of magnetic white dwarf stars (MWDs), with temperatures $T\approx 5000$-$80000$~K and densities $\rho\approx 10^{-12}$-$10^{-3}$~g~cm$^3$. Our evaluations show a marked reduction of the gas ionization due to the magnetic field in the atmospheres of strong MWDs. We also found that decentered states could be present in the atmospheres of currently known hot MWDs, giving a significant contribution to the partition function in the strongest magnetized atmospheres.


title: Stability, Isolated Chaos, and Superdiffusion in Nonequilibrium Many-Body Interacting Systems

abstract: We demonstrate that stability and chaotic-transport features of paradigmatic nonequilibrium many-body systems, i.e., periodically kicked and interacting particles, can deviate significantly from the expected ones of full instability and normal chaotic diffusion for arbitrarily strong chaos, arbitrary number of particles, and different interaction cases. We rigorously show that under the latter general conditions there exist {\em fully stable} orbits, accelerator-mode (AM) fixed points, performing ballistic motion in momentum. It is numerically shown that an {\em "isolated chaotic zone"} (ICZ), separated from the rest of the chaotic phase space, remains localized around an AM fixed point for long times even when this point is partially stable in only a few phase-space directions and despite the fact that Kolmogorov-Arnol'd-Moser tori are not isolating. The time evolution of the mean kinetic energy of an initial ensemble containing an ICZ exhibits {\em superdiffusion} instead of normal chaotic diffusion.


title: Symmetries, a systematic construction of invariant fields and AdS backgrounds

abstract: We give a systematic local description of invariant metrics and other invariant fields on a spacetime under the action of a (non-abelian) group. This includes the invariant fields in a neighbourhood of a principal and a special orbit. The construction is illustrated with examples. We also apply the formalism to give the R-symmetry invariant metrics of some AdS backgrounds and comment on applications to Kaluza-Klein theory.


title: Dualization and Automatic Distributed Parameter Selection of Total Generalized Variation via Bilevel Optimization

abstract: Total Generalized Variation (TGV) regularization in image reconstruction relies on an infimal convolution type combination of generalized first- and second-order derivatives. This helps to avoid the staircasing effect of Total Variation (TV) regularization, while still preserving sharp contrasts in images. The associated regularization effect crucially hinges on two parameters whose proper adjustment represents a challenging task. In this work, a bilevel optimization framework with a suitable statistics-based upper level objective is proposed in order to automatically select these parameters. The framework allows for spatially varying parameters, thus enabling better recovery in high-detail image areas. A rigorous dualization framework is established, and for the numerical solution, two Newton type methods for the solution of the lower level problem, i.e. the image reconstruction problem, and two bilevel TGV algorithms are introduced, respectively. Denoising tests confirm that automatically selected distributed regularization parameters lead in general to improved reconstructions when compared to results for scalar parameters.


title: Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

abstract: Recurrent neural networks (RNNs) have emerged as an effective representation of control policies in sequential decision-making problems. However, a major drawback in the application of RNN-based policies is the difficulty in providing formal guarantees on the satisfaction of behavioral specifications, e.g. safety and/or reachability. By integrating techniques from formal methods and machine learning, we propose an approach to automatically extract a finite-state controller (FSC) from an RNN, which, when composed with a finite-state system model, is amenable to existing formal verification tools. Specifically, we introduce an iterative modification to the so-called quantized bottleneck insertion technique to create an FSC as a randomized policy with memory. For the cases in which the resulting FSC fails to satisfy the specification, verification generates diagnostic information. We utilize this information to either adjust the amount of memory in the extracted FSC or perform focused retraining of the RNN. While generally applicable, we detail the resulting iterative procedure in the context of policy synthesis for partially observable Markov decision processes (POMDPs), which is known to be notoriously hard. The numerical experiments show that the proposed approach outperforms traditional POMDP synthesis methods by 3 orders of magnitude within 2% of optimal benchmark values.


title: Learning the Stein Discrepancy for Training and Evaluating Energy-Based Models without Sampling

abstract: We present a new method for evaluating and training unnormalized density models. Our approach only requires access to the gradient of the unnormalized model's log-density. We estimate the Stein discrepancy between the data density $p(x)$ and the model density $q(x)$ defined by a vector function of the data. We parameterize this function with a neural network and fit its parameters to maximize the discrepancy. This yields a novel goodness-of-fit test which outperforms existing methods on high dimensional data. Furthermore, optimizing $q(x)$ to minimize this discrepancy produces a novel method for training unnormalized models which scales more gracefully than existing methods. The ability to both learn and compare models is a unique feature of the proposed method.


title: Waring rank of binary forms, harmonic cross-ratio and golden ratio

abstract: We discuss the Waring rank of binary forms of degree 4 and 5, without multiple factors, and point out unexpected relations to the harmonic cross-ratio, j-invariants and the golden ratio. These computations of ranks for binary forms are used to show that the combinatorics of a line arrangement in the complex projective plane does not determine the Waring rank of the defining equation even in very simple situations.


title: Aperiodic order and spherical diffraction, III: The shadow transform and the diffraction formula

abstract: We define spherical diffraction measures for a wide class of weighted point sets in commutative spaces, i.e. proper homogeneous spaces associated with Gelfand pairs. In the case of the hyperbolic plane we can interpret the spherical diffraction measure as the Mellin transform of the auto-correlation distribution. We show that uniform regular model sets in commutative spaces have a pure point spherical diffraction measure. The atoms of this measure are located at the spherical automorphic spectrum of the underlying lattice, and the diffraction coefficients can be characterized abstractly in terms of the so-called shadow transform of the characteristic functions of the window. In the case of the Heisenberg group we can give explicit formulas for these diffraction coefficients in terms of Bessel and Laguerre functions.


title: Target spiking patterns enable efficient and biologically plausible learning for complex temporal tasks

abstract: Recurrent spiking neural networks (RSNN) in the human brain learn to perform a wide range of perceptual, cognitive and motor tasks very efficiently in terms of energy consumption and requires very few examples. This motivates the search for biologically inspired learning rules for RSNNs to improve our understanding of brain computation and the efficiency of artificial intelligence. Several spiking models and learning rules have been proposed, but it remains a challenge to design RSNNs whose learning relies on biologically plausible mechanisms and are capable of solving complex temporal tasks. In this paper, we derive a learning rule, local to the synapse, from a simple mathematical principle, the maximization of the likelihood for the network to solve a specific task. We propose a novel target-based learning scheme in which the learning rule derived from likelihood maximization is used to mimic a specific spiking pattern that encodes the solution to complex temporal tasks. This method makes the learning extremely rapid and precise, outperforming state of the art algorithms for RSNNs. We demonstrate the capacity of our model to tackle several problems like learning multidimensional trajectories and solving the classical temporal XOR benchmark. Finally, we show that an online approximation of the gradient ascent, in addition to guaranteeing complete locality in time and space, allows learning after very few presentations of the target output. Our model can be applied to different types of biological neurons. The analytically derived plasticity learning rule is specific to each neuron model and can produce a theoretical prediction for experimental validation.


title: Gushel--Mukai varieties: intermediate Jacobians

abstract: We describe intermediate Jacobians of Gushel-Mukai varieties $X$ of dimensions 3 or 5: if $A$ is the Lagrangian space associated with $X$, we prove that the intermediate Jacobian of $X$ is isomorphic to the Albanese variety of the canonical double covering of any of the two dual Eisenbud-Popescu-Walter surfaces associated with $A$. As an application, we describe the period maps for Gushel-Mukai threefolds and fivefolds.


title: Stabilized Interfacial Ferromagnetism and Enhanced Magnetoelectric Properties of Ultrathin FeRh Films Capped with Heavy Transition Metal Ta

abstract: Thin FeRh film was extensively studied recently, and an emergent substrate- and capping-dependent interfacial ferromagnetism (FM) was widely observed in experiments. However, the voltage modulation of this interfacial ferromagnetism is barely studied, which would have profound applications in antiferromagnetic (AFM) FeRh-based magnetoelectric-random access memory (MeRAM). Using ab initio techniques, we comparatively study the interfacial ferromagnetic properties and magnetoelectric responses of ultrathin FeRh films capped by heavy transition metal Ta. We find that Ta capping reverses the phase stability of ultrathin FeRh film below 1.5 nm and gigantically stabilizes the ferromagnetic phase and interfacial ferromagnetism. Besides, small magnetic moment of 2.2 $\mu_B$ for neighboring Fe atoms, regardless of magnetic configurations and film thickness, is induced by Ta capping. Compared with FeRh/MgO bilayers, magnetic anisotropies (in-plane for AFM, perpendicular for FM and interfacial-FM reconstructed trilayers) and magnetoelectric responses of these trilayers are enhanced. Furthermore, the VCMA behavior in FM phase is changed from $\vee$-shaped to linear. These findings demonstrate the manipulation of magnetic ordering of FeRh films with heavy metal capping and electric field and can promote the application of FeRh alloy in magnetic memory and antiferromagnetic spintronics.


title: Minimizing the polarization leakage of geometric-phase coronagraphs with multiple grating pattern combinations

abstract: The design of liquid-crystal diffractive phase plate coronagraphs for ground-based and space-based high-contrast imaging systems is limited by the trade-off between spectral bandwidth and polarization leakage. We demonstrate that by combining phase patterns with a polarization grating (PG) pattern directly followed by one or several separate PGs, we can suppress the polarization leakage terms by additional orders of magnitude by diffracting them out of the beam. \textcolor{black}{Using two PGs composed of a single-layer liquid crystal structure in the lab, we demonstrate a leakage suppression of more than an order of magnitude over a bandwidth of 133 nm centered around 532 nm. At this center wavelength we measure a leakage suppression of three orders of magnitude.} Furthermore, simulations indicate that a combination of two multi-layered liquid-crystal PGs can suppress leakage to $<10^{-5}$ for 1-2.5 $\mu$m and $<10^{-10}$ for 650-800 nm. We introduce multi-grating solutions with three or more gratings that can be designed to have no separation of the two circular polarization states, and offer even deeper suppression of polarization leakage. We present simulations of a triple-grating solution that has $<10^{-10}$ leakage on the first Airy ring from 450 nm to 800 nm. We apply the double-grating concept to the Vector-Vortex coronagraph of charge 4, and demonstrate in the lab that polarization leakage no longer limits the on-axis suppression for ground-based contrast levels. Lastly, we report on the successful installation and first-light results of a double-grating vector Apodizing Phase Plate pupil-plane coronagraph installed at the Large Binocular Telescope. We discuss the implications of these new coronagraph architectures for high-contrast imaging systems on the ground and in space.


title: Speckle from branching vasculature: dependence on number density

abstract: Recent theories examine the role of the fractal branching vasculature as a primary site of Born scattering from soft normal tissues. These derivations postulate that the first order statistics of speckle from tissue such as the liver, thyroid, and prostate will follow a Burr distribution with a power law parameter that can be related back to the underlying power law which governs the branching network. However, the issue of scatterer spacing, or the number of cylindrical vessels per sample volume of the interrogating pulse, has not been directly addressed. This is now examined with a 3D simulation that varies the number density and the governing power law parameter of an ensemble of different sized cylinders. The Burr distribution is found to be an appropriate model for the histogram of amplitudes from speckle regions, and the parameters track the underlying conditions. These results are also tested in a more general model of rat liver scans in normal vs. abnormal conditions, and the resulting Burr distributions are also found to be appropriate and sensitive to underlying scatterer distributions. These preliminary results suggest that the classical Burr distribution may be useful in the quantification of scattering of ultrasound from soft vascularized tissues.


title: BiSample: Bidirectional Sampling for Handling Missing Data with Local Differential Privacy

abstract: Local differential privacy (LDP) has received much interest recently. In existing protocols with LDP guarantees, a user encodes and perturbs his data locally before sharing it to the aggregator. In common practice, however, users would prefer not to answer all the questions due to different privacy-preserving preferences for different questions, which leads to data missing or the loss of data quality. In this paper, we demonstrate a new approach for addressing the challenges of data perturbation with consideration of users' privacy preferences. Specifically, we first propose BiSample: a bidirectional sampling technique value perturbation in the framework of LDP. Then we combine the BiSample mechanism with users' privacy preferences for missing data perturbation. Theoretical analysis and experiments on a set of datasets confirm the effectiveness of the proposed mechanisms.


title: Integrability of boundary Liouville conformal field theory

abstract: Liouville conformal field theory (LCFT) is considered on a simply connected domain with boundary, specializing to the case where the Liouville potential is integrated only over the boundary of the domain. We work in the probabilistic framework of boundary LCFT introduced by Huang-Rhodes-Vargas (2015). Building upon the known proof of the bulk one-point function by the first author, exact formulas are rigorously derived for the remaining basic correlation functions of the theory, i.e., the bulk-boundary correlator, the boundary two-point and the boundary three-point functions. These four correlations should be seen as the fundamental building blocks of boundary Liouville theory, playing the analogue role of the DOZZ formula in the case of the Riemann sphere. Our study of boundary LCFT also provides the general framework to understand the integrability of one-dimensional Gaussian multiplicative chaos measures as well as their tail expansions. Finally these results have applications to studying the conformal blocks of CFT and set the stage for the more general case of boundary LCFT with both bulk and boundary Liouville potentials.


title: Multipole expansion for HI intensity mapping experiments: simulations and modelling

abstract: We present a framework and an open-source python toolkit to analyse the 2-point statistics of 3D fluctuations in the context of HI intensity maps using the multipole expansion formalism. We include simulations of the cosmological HI signal using N-body and log-normal methods, foregrounds and their removal, as well as instrumental effects. Using these simulations and analytical modelling, we investigate the impact of foreground cleaning and the instrumental beam on the power spectrum multipoles as well as on the Fourier space clustering wedges. We find that both the instrumental beam and the foreground removal can produce a quadrupole (and a hexadecapole) signal, and demonstrate the importance of controlling and accurately modelling these effects for precision radio cosmology. We conclude that these effects can be modelled with reasonable accuracy using our multipole expansion technique. We also perform an MCMC analysis to showcase the effect of foreground cleaning on the estimation of the HI abundance and bias parameters. The accompanying python toolkit is available at https://github.com/IntensityTools/MultipoleExpansion, and includes an interactive suite of examples to aid new users.


title: Fine-tuning the H-scan for visualizing types of tissue scatterers

abstract: The H-scan approach is a matched filter methodology that aims to add information to the traditional ultrasound B-scan. The theory is based on the differences in the echoes produced by different classes of reflectors or scatterers. Matched filters can be created for different types of scatterers, whereby the maximum output indicates a match and color schemes can be used to indicate the class of scatterer responsible for echoes, providing a visual interpretation of the results. However, within the theory of weak scattering from a variety of shapes, small changes in the size of the inhomogeneous objects will create shifts in the scattering transfer function. In this paper, we determine the shift in center frequency, along with time and frequency domain characteristics of echoes and argue for a general power law transfer function to capture the major characteristics of scattering types. With this general approach, the H-scan matched filters can be set to elicit more fine grain shifts in scattering types, commensurate with more subtle changes in tissue morphology. Compensation for frequency dependent attenuation is helpful for avoiding beam softening effects with increasing depths. Examples from phantoms and normal and pathological tissues are provided to demonstrate that the H-scan analysis and displays are sensitive to scatterer size and morphology, and can be adapted to conventional imaging systems.


title: XCS Classifier System with Experience Replay

abstract: XCS constitutes the most deeply investigated classifier system today. It bears strong potentials and comes with inherent capabilities for mastering a variety of different learning tasks. Besides outstanding successes in various classification and regression tasks, XCS also proved very effective in certain multi-step environments from the domain of reinforcement learning. Especially in the latter domain, recent advances have been mainly driven by algorithms which model their policies based on deep neural networks -- among which the Deep-Q-Network (DQN) is a prominent representative. Experience Replay (ER) constitutes one of the crucial factors for the DQN's successes, since it facilitates stabilized training of the neural network-based Q-function approximators. Surprisingly, XCS barely takes advantage of similar mechanisms that leverage stored raw experiences encountered so far. To bridge this gap, this paper investigates the benefits of extending XCS with ER. On the one hand, we demonstrate that for single-step tasks ER bears massive potential for improvements in terms of sample efficiency. On the shady side, however, we reveal that the use of ER might further aggravate well-studied issues not yet solved for XCS when applied to sequential decision problems demanding for long-action-chains.


title: Spatio-temporal spread of perturbations in a driven dissipative Duffing chain: an OTOC approach

abstract: Out-of-time-ordered correlators (OTOC) have been extensively used as a major tool for exploring quantum chaos and also recently, there has been a classical analogue. Studies have been limited to closed systems. In this work, we probe an open classical many-body system, more specifically, a spatially extended driven dissipative chain of coupled Duffing oscillators using the classical OTOC to investigate the spread and growth (decay) of an initially localized perturbation in the chain. Correspondingly, we find three distinct types of dynamical behavior, namely the sustained chaos, transient chaos and non-chaotic region, as clearly exhibited by different geometrical shapes in the heat map of OTOC. To quantify such differences, we look at instantaneous speed (IS), finite time Lyapunov exponents (FTLE) and velocity dependent Lyapunov exponents (VDLE) extracted from OTOC. Introduction of these quantities turn out to be instrumental in diagnosing and demarcating different regimes of dynamical behavior. To gain control over open nonlinear systems, it is important to look at the variation of these quantities with respect to parameters. As we tune drive, dissipation and coupling, FTLE and IS exhibit transition between sustained chaos and non-chaotic regimeswith intermediate transient chaos regimes and highly intermittent sustained chaos points. In the limit of zero nonlinearity, we present exact analytical results for the driven dissipative harmonic system and we find that our analytical results can very well describe the non-chaotic regime as well as the late time behavior in the transient regime of the Duffing chain. We believe, this analysis is an important step forward towards understanding nonlinear dynamics, chaos and spatio-temporal spread of perturbations in many-particle open systems.


title: On the Sensory Commutativity of Action Sequences for Embodied Agents

abstract: Perception of artificial agents is one the grand challenges of AI research. Deep Learning and data-driven approaches are successful on constrained problems where perception can be learned using supervision, but do not scale to open-worlds. In such case, for autonomous embodied agents with first-person sensors, perception can be learned end-to-end to solve particular tasks. However, literature shows that perception is not a purely passive compression mechanism, and that actions play an important role in the formulation of abstract representations. We propose to study perception for these embodied agents, under the mathematical formalism of group theory in order to make the link between perception and action. In particular, we consider the commutative properties of continuous action sequences with respect to sensory information perceived by such an embodied agent. We introduce the Sensory Commutativity Probability (SCP) criterion which measures how much an agent's degree of freedom affects the environment in embodied scenarios. We show how to compute this criterion in different environments, including realistic robotic setups. We empirically illustrate how SCP and the commutative properties of action sequences can be used to learn about objects in the environment and improve sample-efficiency in Reinforcement Learning.


title: eT 1.0: an open source electronic structure program with emphasis on coupled cluster and multilevel methods

abstract: The eT program is an open source electronic structure package with emphasis on coupled cluster and multilevel methods. It includes efficient spin adapted implementations of ground and excited singlet states, as well as equation of motion oscillator strengths, for CCS, CC2, CCSD, and CC3. Furthermore, eT provides unique capabilities such as multilevel Hartree-Fock and multilevel CC2, real-time propagation for CCS and CCSD, and efficient CC3 oscillator strengths. With a coupled cluster code based on an efficient Cholesky decomposition algorithm for the electronic repulsion integrals, eT has similar advantages as codes using density fitting, but with strict error control. Here we present the main features of the program and demonstrate its performance through example calculations. Because of its availability, performance, and unique capabilities, we expect eT to become a valuable resource to the electronic structure community.


title: Learning Halfspaces with Massart Noise Under Structured Distributions

abstract: We study the problem of learning halfspaces with Massart noise in the distribution-specific PAC model. We give the first computationally efficient algorithm for this problem with respect to a broad family of distributions, including log-concave distributions. This resolves an open question posed in a number of prior works. Our approach is extremely simple: We identify a smooth {\em non-convex} surrogate loss with the property that any approximate stationary point of this loss defines a halfspace that is close to the target halfspace. Given this structural result, we can use SGD to solve the underlying learning problem.


title: Generalized LDPC Codes with Convolutional Code Constraints

abstract: Braided convolutional codes (BCCs) are a class of spatially coupled turbo-like codes that can be described by a $(2,3)$-regular compact graph. In this paper, we introduce a family of $(d_v,d_c)$-regular GLDPC codes with convolutional code constraints (CC-GLDPC codes), which form an extension of classical BCCs to arbitrary regular graphs. In order to characterize the performance in the waterfall and error floor regions, we perform an analysis of the density evolution thresholds as well as the finite-length ensemble weight enumerators and minimum distances of the ensembles. In particular, we consider various ensembles of overall rate $R=1/3$ and $R=1/2$ and study the trade-off between variable node degree and strength of the component codes. We also compare the results to corresponding classical LDPC codes with equal degrees and rates. It is observed that for the considered LDPC codes with variable node degree $d_v>2$, we can find a CC-GLDPC code with smaller $d_v$ that offers similar or better performance in terms of BP and MAP thresholds at the expense of a negligible loss in the minimum distance.


title: Indentation of two-dimensional solids: The signatures of geometrical and material nonlinearity

abstract: The material characterization of ultra-thin solid sheets, including two-dimensional materials like graphene, is often performed through indentation tests on a flake suspended over a hole in a substrate. While this `suspended indentation' is a convenient means of measuring properties such as the stretching (two-dimensional) modulus of such materials, experiments on ostensibly similar systems have reported very different material properties. In this paper, we present a modelling study of this indentation process assuming elastic behaviour. In particular, we investigate the possibility that the reported differences may arise from different geometrical parameters and/or non-Hookean deformations, which lead to the system exploring nonlinearities with geometrical or material origins.


title: AGATHA: Automatic Graph-mining And Transformer based Hypothesis generation Approach

abstract: Medical research is risky and expensive. Drug discovery, as an example, requires that researchers efficiently winnow thousands of potential targets to a small candidate set for more thorough evaluation. However, research groups spend significant time and money to perform the experiments necessary to determine this candidate set long before seeing intermediate results. Hypothesis generation systems address this challenge by mining the wealth of publicly available scientific information to predict plausible research directions. We present AGATHA, a deep-learning hypothesis generation system that can introduce data-driven insights earlier in the discovery process. Through a learned ranking criteria, this system quickly prioritizes plausible term-pairs among entity sets, allowing us to recommend new research directions. We massively validate our system with a temporal holdout wherein we predict connections first introduced after 2015 using data published beforehand. We additionally explore biomedical sub-domains, and demonstrate AGATHA's predictive capacity across the twenty most popular relationship types. This system achieves best-in-class performance on an established benchmark, and demonstrates high recommendation scores across subdomains. Reproducibility: All code, experimental data, and pre-trained models are available online: sybrandt.com/2020/agatha


title: A Set of Distinct Facial Traits Learned by Machines Is Not Predictive of Appearance Bias in the Wild

abstract: Research in social psychology has shown that people's biased, subjective judgments about another's personality based solely on their appearance are not predictive of their actual personality traits. But researchers and companies often utilize computer vision models to predict similarly subjective personality attributes such as "employability." We seek to determine whether state-of-the-art, black box face processing technology can learn human-like appearance biases. With features extracted with FaceNet, a widely used face recognition framework, we train a transfer learning model on human subjects' first impressions of personality traits in other faces as measured by social psychologists. We find that features extracted with FaceNet can be used to predict human appearance bias scores for deliberately manipulated faces but not for randomly generated faces scored by humans. Additionally, in contrast to work with human biases in social psychology, the model does not find a significant signal correlating politicians' vote shares with perceived competence bias. With Local Interpretable Model-Agnostic Explanations (LIME), we provide several explanations for this discrepancy. Our results suggest that some signals of appearance bias documented in social psychology are not embedded by the machine learning techniques we investigate. We shed light on the ways in which appearance bias could be embedded in face processing technology and cast further doubt on the practice of predicting subjective traits based on appearances.


title: CBAG: Conditional Biomedical Abstract Generation

abstract: Biomedical research papers use significantly different language and jargon when compared to typical English text, which reduces the utility of pre-trained NLP models in this domain. Meanwhile Medline, a database of biomedical abstracts, introduces nearly a million new documents per-year. Applications that could benefit from understanding this wealth of publicly available information, such as scientific writing assistants, chat-bots, or descriptive hypothesis generation systems, require new domain-centered approaches. A conditional language model, one that learns the probability of words given some a priori criteria, is a fundamental building block in many such applications. We propose a transformer-based conditional language model with a shallow encoder "condition" stack, and a deep "language model" stack of multi-headed attention blocks. The condition stack encodes metadata used to alter the output probability distribution of the language model stack. We sample this distribution in order to generate biomedical abstracts given only a proposed title, an intended publication year, and a set of keywords. Using typical natural language generation metrics, we demonstrate that this proposed approach is more capable of producing non-trivial relevant entities within the abstract body than the 1.5B parameter GPT-2 language model.


title: GANILLA: Generative Adversarial Networks for Image to Illustration Translation

abstract: In this paper, we explore illustrations in children's books as a new domain in unpaired image-to-image translation. We show that although the current state-of-the-art image-to-image translation models successfully transfer either the style or the content, they fail to transfer both at the same time. We propose a new generator network to address this issue and show that the resulting network strikes a better balance between style and content. There are no well-defined or agreed-upon evaluation metrics for unpaired image-to-image translation. So far, the success of image translation models has been based on subjective, qualitative visual comparison on a limited number of images. To address this problem, we propose a new framework for the quantitative evaluation of image-to-illustration models, where both content and style are taken into account using separate classifiers. In this new evaluation framework, our proposed model performs better than the current state-of-the-art models on the illustrations dataset. Our code and pretrained models can be found at https://github.com/giddyyupp/ganilla.


title: Looking Enhances Listening: Recovering Missing Speech Using Images

abstract: Speech is understood better by using visual context; for this reason, there have been many attempts to use images to adapt automatic speech recognition (ASR) systems. Current work, however, has shown that visually adapted ASR models only use images as a regularization signal, while completely ignoring their semantic content. In this paper, we present a set of experiments where we show the utility of the visual modality under noisy conditions. Our results show that multimodal ASR models can recover words which are masked in the input acoustic signal, by grounding its transcriptions using the visual representations. We observe that integrating visual context can result in up to 35% relative improvement in masked word recovery. These results demonstrate that end-to-end multimodal ASR systems can become more robust to noise by leveraging the visual context.


title: Adapting to Unseen Environments through Explicit Representation of Context

abstract: In order to deploy autonomous agents to domains such as autonomous driving, infrastructure management, health care, and finance, they must be able to adapt safely to unseen situations. The current approach in constructing such agents is to try to include as much variation into training as possible, and then generalize within the possible variations. This paper proposes a principled approach where a context module is coevolved with a skill module. The context module recognizes the variation and modulates the skill module so that the entire system performs well in unseen situations. The approach is evaluated in a challenging version of the Flappy Bird game where the effects of the actions vary over time. The Context+Skill approach leads to significantly more robust behavior in environments with previously unseen effects. Such a principled generalization ability is essential in deploying autonomous agents in real world tasks, and can serve as a foundation for continual learning as well.


title: On leptonic width of $X(4260)$

abstract: New measurements on cross sections in $e^+e^-\to J/\psi\pi^+\pi^-$, $h_c\pi^+\pi^-$, $D^0D^{*-}\pi^++c.c.$, $\psi(2S)\pi^+\pi^-$, $\omega\chi_{c0}$ and $J/\psi\eta$ channels have been carried out by BESIII, Belle and BABAR collaborations, and also in the $D_s^*\bar D_s^*$ channel. We perform extensive numerical analyses by combining all these data available, together with those in $D\bar D^*$ and $D^*\bar D^*$ channels. Though the latter show no evident peak around $\sqrt{s}=4.230$ GeV, the missing $X(4260)$ is explained as that it is concealed by the interference effects of the well established charmonia $\psi(4040)$, $\psi(4160)$ and $\psi(4415)$. Our analyses reveal that the leptonic decay width of $X(4260)$ ranges from $O(10^2)$ eV to $O(1)$ keV, and hence may be explained in the conventional quark model picture. That is, the $X(4260)$ may well be interpreted as a mixture of $4^3S_1$ and $3^3D_1$ states.


title: Understanding Radiative Transitions and Relaxation Pathways in Plexcitons

abstract: Molecular aggregates on plasmonic nanoparticles have emerged as attractive systems for the studies of cavity quantum electrodynamics. They are highly tunable, scalable, easy to synthesize and offer sub-wavelength confinement, all while giving access to the ultrastrong light-matter coupling regime at room temperature and promising a plethora of applications. However, the complexity of both the molecular aggregate and plasmonic nanoparticle introduces many more processes affecting the excitation and its relaxation, than are present in atom-cavity systems. Here, we follow the complex relaxation pathways of the photoexcitation of such hybrid systems and conclude that while the metal is responsible for destroying the coherence of the excitation, the molecular aggregate significantly participates in dissipating the energy. We rely on two-dimensional electronic spectroscopy in a combined theory-experiment approach, which allows us to ascribe the different timescales of relaxation to processes inside the molecules or the metal nanoparticle. We show that the dynamics beyond a few femtoseconds has to be cast in the language of hot electron distributions and excitons instead of the accepted lower and upper polariton branches, and furthermore set the framework for delving deeper into the photophysics of excitations that could be used in hot electron transfer, for example to drive photocatalytic reactions.


title: DeepSurf: A surface-based deep learning approach for the prediction of ligand binding sites on proteins

abstract: The knowledge of potentially druggable binding sites on proteins is an important preliminary step towards the discovery of novel drugs. The computational prediction of such areas can be boosted by following the recent major advances in the deep learning field and by exploiting the increasing availability of proper data. In this paper, a novel computational method for the prediction of potential binding sites is proposed, called DeepSurf. DeepSurf combines a surface-based representation, where a number of 3D voxelized grids are placed on the protein's surface, with state-of-the-art deep learning architectures. After being trained on the large database of scPDB, DeepSurf demonstrates superior results on three diverse testing datasets, by surpassing all its main deep learning-based competitors, while attaining competitive performance to a set of traditional non-data-driven approaches.


title: A New Heuristic for Physical Design

abstract: In a physical design problem, the designer chooses values of some physical parameters, within limits, to optimize the resulting field. We focus on the specific case in which each physical design parameter is the ratio of two field variables. This form occurs for photonic design with real scalar fields, diffusion-type systems, and others. We show that such problems can be reduced to a convex optimization problem, and therefore efficiently solved globally, given the sign of an optimal field at every point. This observation suggests a heuristic, in which the signs of the field are iteratively updated. This heuristic appears to have good practical performance on diffusion-type problems (including thermal design and resistive circuit design) and some control problems, while exhibiting moderate performance on photonic design problems. We also show in many practical cases there exist globally optimal designs whose design parameters are maximized or minimized at each point in the domain, i.e., that there is a discrete globally optimal structure.


title: Training Large Neural Networks with Constant Memory using a New Execution Algorithm

abstract: Widely popular transformer-based NLP models such as BERT and Turing-NLG have enormous capacity trending to billions of parameters. Current execution methods demand brute-force resources such as HBM devices and high speed interconnectivity for data parallelism. In this paper, we introduce a new relay-style execution technique called L2L (layer-to-layer) where at any given moment, the device memory is primarily populated only with the executing layer(s)'s footprint. The model resides in the DRAM memory attached to either a CPU or an FPGA as an entity we call eager param-server (EPS). To overcome the bandwidth issues of shuttling parameters to and from EPS, the model is executed a layer at a time across many micro-batches instead of the conventional method of minibatches over whole model. L2L is implemented using 16GB V100 devices for BERT-Large running it with a device batch size of up to 256. Our results show 45% reduction in memory and 40% increase in the throughput compared to the state-of-the-art baseline. L2L is also able to fit models up to 50 Billion parameters on a machine with a single 16GB V100 and 512GB CPU memory and without requiring any model partitioning. L2L scales to arbitrary depth allowing researchers to develop on affordable devices which is a big step toward democratizing AI. By running the optimizer in the host EPS, we show a new form of mixed precision for faster throughput and convergence. In addition, the EPS enables dynamic neural architecture approaches by varying layers across iterations. Finally, we also propose and demonstrate a constant memory variation of L2L and we propose future enhancements. This work has been performed on GPUs first, but also targeted towards all high TFLOPS/Watt accelerators.


title: Adversarial Machine Learning -- Industry Perspectives

abstract: Based on interviews with 28 organizations, we found that industry practitioners are not equipped with tactical and strategic tools to protect, detect and respond to attacks on their Machine Learning (ML) systems. We leverage the insights from the interviews and we enumerate the gaps in perspective in securing machine learning systems when viewed in the context of traditional software security development. We write this paper from the perspective of two personas: developers/ML engineers and security incident responders who are tasked with securing ML systems as they are designed, developed and deployed ML systems. The goal of this paper is to engage researchers to revise and amend the Security Development Lifecycle for industrial-grade software in the adversarial ML era.


title: The Main Conjecture for Imaginary quadratic fields for the split prime $p=2$

abstract: Let $\mathbb{K}$ be an imaginary quadratic field such that $2$ splits into two primes $\mathfrak{p}$ and $\bar{\mathfrak{p}}$. Let $\mathbb{K}_{\infty}$ be the unique $\mathbb{Z}_2$-extension of $\mathbb{K}$ unramified outside $\mathfrak{p}$. Let $\mathfrak{f}$ be an ideal coprime to $\mathfrak{p}$ and $\mathbb{L}$ be an arbitrary extension of $\mathbb{K}$ contained in the ray class field $\mathbb{K}(\mathfrak{p}^2\mathfrak{f})$. Let $\mathbb{L}_{\infty}=\mathbb{K}_{\infty}\mathbb{L}$ and let $\mathbb{M}$ be the maximal $p$-abelian, $\mathfrak{p}$-ramified extension of $\mathbb{L}_{\infty}$. We set $X=Gal(\mathbb{M}/\mathbb{L}_{\infty})$. In this paper we prove the Iwasawa main conjecture for the module $X$.


title: Politics of Adversarial Machine Learning

abstract: In addition to their security properties, adversarial machine-learning attacks and defenses have political dimensions. They enable or foreclose certain options for both the subjects of the machine learning systems and for those who deploy them, creating risks for civil liberties and human rights. In this paper, we draw on insights from science and technology studies, anthropology, and human rights literature, to inform how defenses against adversarial attacks can be used to suppress dissent and limit attempts to investigate machine learning systems. To make this concrete, we use real-world examples of how attacks such as perturbation, model inversion, or membership inference can be used for socially desirable ends. Although the predictions of this analysis may seem dire, there is hope. Efforts to address human rights concerns in the commercial spyware industry provide guidance for similar measures to ensure ML systems serve democratic, not authoritarian ends


title: The Abstract Machinery of Interaction (Long Version)

abstract: This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of Interaction, introduced by Mackie and Danos & Regnier. It is an unusual machine, not relying on environments, presented on linear logic proof nets, and whose soundness proof is convoluted and passes through various other formalisms. Here we provide a new direct proof of its correctness, based on a variant of Sands's improvements, a natural notion of bisimulation. Moreover, our proof is carried out on a new presentation of the IAM, defined as a machine acting directly on $\lambda$-terms, rather than on linear logic proof nets.


title: A Review of Blockchain-based Smart Grid: Applications,Opportunities, and Future Directions

abstract: The Smart Grid (SG) concept presented an unprecedented opportunity to move the energy sector to more availability, reliability, and efficiency to improve our economic and environmental conditions. Renewable energy sources (Solar & Wind) are such technologies that are used in the smart grid to figure out the environmental and economic issues and challenges. Smart grids provide energy in different crowded sectors with the efficient and timely transmission of electricity. But the traditional power grids follow a centralized approach for energy transactions with a large number of growing connections and become more challenging to handle power disturbance in the grid. Blockchain as a decentralized and distributed technology provides promising applications in the smart grid infrastructure with its excellent and salient features. In this paper, we provide a concise review of blockchain architecture, concepts, and applications in smart grids. Different potential opportunities for blockchain technology with smart grids are also discussed. Some future directions concluded the paper.


title: Towards the Systematic Reporting of the Energy and Carbon Footprints of Machine Learning

abstract: Accurate reporting of energy and carbon usage is essential for understanding the potential climate impacts of machine learning research. We introduce a framework that makes this easier by providing a simple interface for tracking realtime energy consumption and carbon emissions, as well as generating standardized online appendices. Utilizing this framework, we create a leaderboard for energy efficient reinforcement learning algorithms to incentivize responsible research in this area as an example for other areas of machine learning. Finally, based on case studies using our framework, we propose strategies for mitigation of carbon emissions and reduction of energy consumption. By making accounting easier, we hope to further the sustainable development of machine learning experiments and spur more research into energy efficient algorithms.


title: Functionally Effective Conscious AI Without Suffering

abstract: Insofar as consciousness has a functional role in facilitating learning and behavioral control, the builders of autonomous AI systems are likely to attempt to incorporate it into their designs. The extensive literature on the ethics of AI is concerned with ensuring that AI systems, and especially autonomous conscious ones, behave ethically. In contrast, our focus here is on the rarely discussed complementary aspect of engineering conscious AI: how to avoid condemning such systems, for whose creation we would be solely responsible, to unavoidable suffering brought about by phenomenal self-consciousness. We outline two complementary approaches to this problem, one motivated by a philosophical analysis of the phenomenal self, and the other by certain computational concepts in reinforcement learning.


title: An Ontology-driven Treatment Article Retrieval System for Precision Oncology

abstract: This paper presents an ontology-driven treatment article retrieval system developed and experimented using the data and ground truths provided by the TREC 2017 precision medicine track. The key aspects of our system include: meaningful integration of various disease, gene, and drug name ontologies, training of a novel perceptron model for article relevance labeling, a ranking module that considers additional factors such as journal impact and article publication year, and comprehensive query matching rules. Experimental results demonstrate that our proposed system considerably outperforms the results of the best participating system of the TREC 2017 precision medicine challenge.


title: Summarizing the performances of a background subtraction algorithm measured on several videos

abstract: There exist many background subtraction algorithms to detect motion in videos. To help comparing them, datasets with ground-truth data such as CDNET or LASIESTA have been proposed. These datasets organize videos in categories that represent typical challenges for background subtraction. The evaluation procedure promoted by their authors consists in measuring performance indicators for each video separately and to average them hierarchically, within a category first, then between categories, a procedure which we name "summarization". While the summarization by averaging performance indicators is a valuable effort to standardize the evaluation procedure, it has no theoretical justification and it breaks the intrinsic relationships between summarized indicators. This leads to interpretation inconsistencies. In this paper, we present a theoretical approach to summarize the performances for multiple videos that preserves the relationships between performance indicators. In addition, we give formulas and an algorithm to calculate summarized performances. Finally, we showcase our observations on CDNET 2014.


title: Learning Occupational Task-Shares Dynamics for the Future of Work

abstract: The recent wave of AI and automation has been argued to differ from previous General Purpose Technologies (GPTs), in that it may lead to rapid change in occupations' underlying task requirements and persistent technological unemployment. In this paper, we apply a novel methodology of dynamic task shares to a large dataset of online job postings to explore how exactly occupational task demands have changed over the past decade of AI innovation, especially across high, mid and low wage occupations. Notably, big data and AI have risen significantly among high wage occupations since 2012 and 2016, respectively. We built an ARIMA model to predict future occupational task demands and showcase several relevant examples in Healthcare, Administration, and IT. Such task demands predictions across occupations will play a pivotal role in retraining the workforce of the future.


title: Dynamics of Planetary Systems Within Star Clusters: Aspects of the Solar System's Early Evolution

abstract: Most planetary systems -- including our own -- are born within stellar clusters, where interactions with neighboring stars can help shape the system architecture. This paper develops an orbit-averaged formalism to characterize the cluster's mean-field effects as well as the physics of long-period stellar encounters. Our secular approach allows for an analytic description of the dynamical consequences of the cluster environment on its constituent planetary systems. We analyze special cases of the resulting Hamiltonian, corresponding to eccentricity evolution driven by planar encounters, as well as hyperbolic perturbations upon dissipative disks. We subsequently apply our results to the early evolution of our solar system, where the cluster's collective potential perturbs the solar system's plane, and stellar encounters act to increase the velocity dispersion of the Kuiper belt. Our results are two-fold: first, we find that cluster effects can alter the mean plane of the solar system by $\lesssim1\deg$, and are thus insufficient to explain the $\psi\approx6\deg$ obliquity of the sun. Second, we delineate the extent to which stellar flybys excite the orbital dispersion of the cold classical Kuiper belt, and show that while stellar flybys may grow the cold belt's inclination by the observed amount, the resulting distribution is incompatible with the data. Correspondingly, our calculations place an upper limit on the product of the stellar number density and residence time of the sun in its birth cluster, $\eta\,\tau\lesssim2\times10^4\,$Myr/pc$^3$.


title: Trustworthy AI in the Age of Pervasive Computing and Big Data

abstract: The era of pervasive computing has resulted in countless devices that continuously monitor users and their environment, generating an abundance of user behavioural data. Such data may support improving the quality of service, but may also lead to adverse usages such as surveillance and advertisement. In parallel, Artificial Intelligence (AI) systems are being applied to sensitive fields such as healthcare, justice, or human resources, raising multiple concerns on the trustworthiness of such systems. Trust in AI systems is thus intrinsically linked to ethics, including the ethics of algorithms, the ethics of data, or the ethics of practice. In this paper, we formalise the requirements of trustworthy AI systems through an ethics perspective. We specifically focus on the aspects that can be integrated into the design and development of AI systems. After discussing the state of research and the remaining challenges, we show how a concrete use-case in smart cities can benefit from these methods.


title: Ten Research Challenge Areas in Data Science

abstract: Although data science builds on knowledge from computer science, mathematics, statistics, and other disciplines, data science is a unique field with many mysteries to unlock: challenging scientific questions and pressing questions of societal importance. This article starts with meta-questions about data science as a discipline and then elaborates on ten ideas for the basis of a research agenda for data science.


title: Analysis of Users' Behaviour and Adoption Trends of Social Media Payment Platforms

abstract: The recent proliferation of Electronic Commerce (E-commerce) has been further escalated by multifaceted emerging payment solutions such as cryptocurrencies, mobile, peer-to-peer (P2P) and social media payment platforms. While these technological advancements are gaining tremendous popularity, mostly for their ease of use, various impediments such as security and privacy concerns, societal and cultural norms etc. forbear the users' adoption trends to some extents. This article examines the current status of the social media payment platforms as well as the projection of future adoption trends. Our research underlines the motivations and obstacles to the adoption of social media platforms.


title: Learn to Expect the Unexpected: Probably Approximately Correct Domain Generalization

abstract: Domain generalization is the problem of machine learning when the training data and the test data come from different data domains. We present a simple theoretical model of learning to generalize across domains in which there is a meta-distribution over data distributions, and those data distributions may even have different supports. In our model, the training data given to a learning algorithm consists of multiple datasets each from a single domain drawn in turn from the meta-distribution. We study this model in three different problem settings---a multi-domain Massart noise setting, a decision tree multi-dataset setting, and a feature selection setting, and find that computationally efficient, polynomial-sample domain generalization is possible in each. Experiments demonstrate that our feature selection algorithm indeed ignores spurious correlations and improves generalization.


title: Limit Behaviour of Upper and Lower Expected Time Averages in Discrete-Time Imprecise Markov Chains

abstract: We study the limit behaviour of upper and lower bounds on expected time averages in imprecise Markov chains; a generalised type of Markov chain where the local dynamics, traditionally characterised by transition probabilities, are now represented by sets of 'plausible' transition probabilities. Our main result is a set of necessary and sufficient conditions under which these upper and lower bounds, called upper and lower expected time averages, will converge as time progresses towards infinity to limit values that do not depend on the process' initial state. Remarkably, our conditions are considerably weaker than those needed to establish similar results for so-called limit -- or steady state -- upper and lower expectations, which are often used to provide approximate information about the limit behaviour of time averages as well. We show that such an approximation is sub-optimal and that it can be significantly improved by directly using upper and lower expected time averages.


title: Spots, flares, accretion, and obscuration in the pre-main sequence binary DQ Tau

abstract: DQ Tau is a young low-mass spectroscopic binary, consisting of two almost equal-mass stars on a 15.8 day period surrounded by a circumbinary disk. We analyzed DQ Tau's light curves obtained by Kepler K2, the Spitzer Space Telescope, and ground-based facilities. We observed variability phenomena, including rotational modulation by stellar spots, energetic stellar flares, brightening events around periastron due to increased accretion, and short dips due to temporary circumstellar obscuration. The study on DQ Tau will help in discovering and understanding the formation and evolution of other real-world examples of "Tatooine-like" systems. This is especially important because more and more evidence points to the possibility that all Sun-like stars were born in binary or multiple systems that broke up later due to dynamical interactions.